Forschungsthemen
[] Konzeption und Implementierung eines Debuggers für textuelle Triple Graph Grammar Regeln
Das am Lehrstuhl Softwaretechnologie entwickelte Werkzeug Tornado dient zur Synchronisation von Modellen. Basierend auf dem Formalismus der Triple Graph Grammars (TGGs), können Spezifikationen, d. h. Regelsätze für die Synchronisation erstellt und abgearbeitet werden. Zur Erstellung der Regeln wird gegenwärtig das Eclipse Graphical Modeling Framework und darauf aufbauend ein generierter grafischer Editor verwendet.
Die Darstellung von TGG Regeln mit grafischer Syntax basiert auf der abstrakten Syntax der beteiligten Modelle. Da Entwickler aber meist mit der konkreten Syntax arbeiten, stellt diese Art der Spezifikation von TGG Regeln oft einen Bruch dar. Regeln sind schwierig zu lesen und zu warten. Zudem wird die grafische Notation selbst bei mittelgroßen Regeln schnell unübersichtlich. Dies ist u. a. beim Debugging von TGG Transformation hinderlich.
Ziel der Arbeit ist es, zu untersuchen, welche Vor- und Nachteile eine textuelle Syntax für TGG Regeln bietet. Insbesondere soll dabei der existierende Tornado Debugger so erweitert werden, dass die o. g. textuell spezifizierten Regeln damit auch in den Debug-Prozess einbezogen werden können.
Betreuer: Mirko Seifert