Rule-based Graph Transformation: Modelling of Autonomous Logistic Processes with Rule-based Graph Transformation (A04)

• Subject Area: Traffic and Transport Systems, Intelligent and Automated Traffic
• Term: from 2004 to 2012
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5485934

Ziel des Teilprojektes ist die Entwicklung einer graphtransformationsbasierten Modellierungssprachefür die Spezifikation logistischer Prozesse, wobei die übliche Fremd- oder Außensteuerung durchSelbststeuerung ersetzbar oder durch Selbststeuerungsanteile ergänzbar sein soll. Beabsichtigt ist, dassaus der graph- und regelbasierten Sprache GRACE stammende Konzept der Graphtransformationseinheit,die neben einer Regel- und Strukturierungskomponente eine Steuerungskomponente besitzen, zuautonomen Agenten und selbststeuernden Prozessen weiter zu entwickeln. Die formale Semantik vonTransformationseinheiten soll um die eingeführten Selbststeuerungskonzepte erweitert werden und alsGrundlage dienen, das Verhalten der spezifizierten Prozesse und insbesondere ihre Wechselwirkungund ihr Zusammenspiel zu analysieren und die prognostizierten Eigenschaften zu verifizieren.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 637: Autonomous Cooperating Logistic Processes - A Paradigm Shift and its Limitations
• Applicant Institution: Universität Bremen
• Project Head: Professor Dr. Hans-Jörg Kreowski