Anwendungen für Modelltransformationen

Inhaltlich unveränderte Neuauflage. Beim Entwurf und der Verifikation von Systemen spielen graphbasierte Mo­dell­beschreibungen eine entscheidende Rolle. Diese Modellformalismen ver­fügen über unterschiedlich hohe Grade an Abstraktion und Formalität. Meta­mo­dellbasierte Modelltransformationen sollen die konsistente Überführung von Modellinstanzen eines Metamodells in die eines anderen Metamodells mög­lich machen. Inhalt dieser Diplomarbeit ist der softwaretechnische Ent­wurf einer Basis für die De­fi­nition von Metamodellen, die Realisierung von Modelltransformationen und die Verarbeitung der entstehenden Modelle. Das Ergebnis ist die Imple­men­tie­rung eines Java-basierten Frameworks, das die generischen Strukturen für auf beliebige Modelltypen anpassbare Modell­umgebungen bietet. Die Imple­men­tierung geschieht im Rahmen der Eclipse-Plattform unter Benutzung des Eclipse Modeling Framework und des IBM Model Transformation Framework. Diese Arbeit bietet Software­ent­wick­lern eine exemplarische Anwendung der mo­dell- und musterbasierten Soft­ware­entwicklungstechniken.