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.