Kombinierung von Programmiermodellen in Bauhaus IML

Abstract

In dieser Diplomarbeit wird eine Technik vorgestellt, die Spezifikation von IML dynamisch durch neue Konstrukte zu erweitern. Dabei wird eine Transformationssprache entwickelt, die es erlaubt Regeln zu formulieren anhand derer IML-Graphen in andere IML-Graphen überführt werden. Ein Beispiel-Sprachpaket für die Abbildung von Zustandsautomaten in IML wird erstellt. Diese werden mit dem UML-Werkzeug Papyrus für die Entwicklungsumgebung Eclipse entworfen und durch ein Frontend nach IML überführt. Abschließend wird ein Generator implementiert, welcher anhand der transformierten Zustandsautomaten Java-Code erzeugt. Der Ausbau zu einer "Language Workbench" erlaubt es, Bauhaus und IML mit geringem Aufwand durch neue Konstrukte und Funktionalitäten zu erweitern.