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.