Description

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.