Galopp

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.