Anwendungen fur Modelltransformationen

Inhaltlich unvernderte Neuauflage. Beim Entwurf und der Verifikation von Systemen spielen graphbasierte Modellbeschreibungen eine entscheidende Rolle. Diese Modellformalismen verfgen ber unterschiedlich hohe Grade an Abstraktion und Formalitt. Metamodellbasierte Modelltransformationen sollen die konsistente berfhrung von Modellinstanzen eines Metamodells in die eines anderen Metamodells mglich machen. Inhalt dieser Diplomarbeit ist der softwaretechnische Entwurf einer Basis fr die Definition von Metamodellen, die Realisierung von Modelltransformationen und die Verarbeitung der entstehenden Modelle. Das Ergebnis ist die Implementierung eines Java-basierten Frameworks, das die generischen Strukturen fr auf beliebige Modelltypen anpassbare Modellumgebungen bietet. Die Implementierung geschieht im Rahmen der Eclipse-Plattform unter Benutzung des Eclipse Modeling Framework und des IBM Model Transformation Framework. Diese Arbeit bietet Softwareentwicklern eine exemplarische Anwendung der modell- und musterbasierten Softwareentwicklungstechniken.