Anwendungen für Modelltransformationen

Beim Entwurf und der Verifikation von Systemen spielen graphbasierte Modellbeschreibungen eine entscheidende Rolle. Diese Modellformalismen verfügen über unterschiedlich hohe Grade an Abstraktion und Formalität. Metamodellbasierte Modelltransformationen sollen die konsistente Überführung von Modellinstanzen eines Metamodells in die eines anderen Metamodells möglich machen. Inhalt dieser Diplomarbeit ist der softwaretechnische Entwurf einer Basis für die Definition von Metamodellen, die Realisierung von Modelltransformationen und die Verarbeitung der entstehenden Modelle. Das Ergebnis ist die Implementierung eines Java-basierten Frameworks, das die generischen Strukturen für auf beliebige Modelltypen anpassbare Modellumgebungen bietet. Die Implementierung geschieht im Rahmen der Eclipse-Plattform unter Benutzung des Eclipse Modeling Framework und des IBM Model Transformation Framework. Diese Arbeit bietet Softwareentwicklern eine exemplarische Anwendung der modell- und musterbasierten Softwareentwicklungstechniken.