Anwendungen fur Modelltransformationen

Inhaltlich unveranderte Neuauflage. Beim Entwurf und der Verifikation von Systemen spielen graphbasierte Mo-dell-beschreibungen eine entscheidende Rolle.

Diese Modellformalismen ver-fugen uber unterschiedlich hohe Grade an Abstraktion und Formalitat.

Meta-mo-dellbasierte Modelltransformationen sollen die konsistente Uberfuhrung von Modellinstanzen eines Metamodells in die eines anderen Metamodells mog-lich machen.

Inhalt dieser Diplomarbeit ist der softwaretechnische Ent-wurf einer Basis fur 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 fur 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.