Anwendung von Graphtransformation auf visuelle Modellierungssprachen

• Antragsteller: Professor Dr. Hartmut Ehrig (†)
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1998 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5081982

Das Ziel dieser zweiten Projektphase ist die Entwicklung eines konzeptionellen Rahmens zur Syntax- und Semantikdefinition von allgemeinen visuellen Modellierungssprachen auf der Basis von Graphtransformation. Außerdem soll die Validation von visuellen Modellen unterstützt werden. Basierend auf diesen Konzepten soll ein Generator für visuelle Modellierungsumgebungen entwickelt werden. Diese generierten visuellen Modellierungsumgebungen sollen visuelle Editoren, Simulations-, Test- und Validationswerkzeuge enthalten. Dementsprechend soll der Generator, genannt GenGEd Two, weit über den bisher entwickelten Generator Gen-GEd hinausgehen, der sich auf die Generierung von visuellen Editoren beschränkt. Der neue Generator GenGEd Two soll dabei nicht nur auf GenGEd, sondern auch auf die bisher entwickelten Graphtransformationsmaschinen AGG für attributierte Graphtransformationen und DisAGG für verteilte attributierte Graphtransformationen aufbauen. Die Werkezeuge AGG, DisAGG und GenGEd werden in der zur Zeit laufenden ersten Projektphase weiterentwickelt bzw. neu konzipiert und implementiert. Die Konzeption und der neue Generator GenGEd Two sollen an verschiedenen Fallstudien getestet werden. Dazu gehören eine visuelle Designsprache für verteilte Systeme, die auf den Konzepten der ersten Projektphase aufbaut, eine visuelle Sprache zur Qualitätssicherung in Glashütten, die im Rahmen einer industriellen Fallstudie geplant ist, sowie Teilsprachen und Erweiterungen von UML sowie visuelle Petrinetz-Sprachen.

• DFG-Verfahren: Sachbeihilfen