Modelltransformation ist ein wesentlicher Bestandteil von modellbasierten Softwareentwicklungstechniken, die sich zunehmend als eine Schlüsseltechnologie für die Erstellung komplexer Software erweisen. Es sind mehrere Modelltransformationssprachen, wie z.B. QVT oder ATL, definiert und standardisiert worden, mit denen die Transformationsregeln spezifiziert werden können. Diese Sprachen werden jedoch nicht ausreichend durch Werkzeuge unterstützt, so dass Transformationen schwer automatisiert werden können.

Graphersetzungssysteme sind Systeme, in denen Änderungen von Graphen präzise definiert und automatisiert durchgeführt werden können. Da die Standard-Modellierungssprache UML graph-basiert ist, liegt es nahe, Transformationen von UML-Modellen mit Hilfe von Graphersetzungssystemen zu definieren und deren Werkzeuge für die Automatisierung zu verwenden. In dieser Diplomarbeit soll eine Übersetzung der Sprache QVT in Graphersetzungssysteme definiert und im Graphersetzungstool AGG implementiert werden.

Voraussetzungen:

• Vordiplom
• Interesse am Umgang mit formalen Systemen

Aufgabensteller:

Information/Betreuer: