Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Diplomarbeit

Übersetzung der Modelltransformationssprache QVT in Graphersetzungssysteme

Inhalt

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

Aufgabensteller

Prof. Dr. Alexander Knapp

Information/Betreuer

Gefei Zhang, Alexander Knapp 
Bei Problemen oder Vorschlägen schicken Sie bitte eine eMail an wwwmaster@pst.informatik.uni-muenchen.de
Gefei Zhang (2006-10-23)