Modelltransformation

Modelltransformationen (auch Modell-zu-Modell-Transformation oder M2M-Transformation) sind ein wichtiges Mittel bei der modellgetriebenen Softwareentwicklung (MDSD) bzw. modellgetriebenen Architektur (MDA).

Dabei treten Modelltransformationen in der Regel als zusätzlicher Schritt zwischen dem Validieren und der Codegenerierung auf. Sie bereiten die eingelesenen Modelle so auf, wie der Codegenerator sie erwartet. Transformationsregeln werden auf der Ebene der Metamodelle definiert. So müssen sowohl das Quell- als auch das Zielmodell Instanzen definierter Metamodelle sein.

Arten von Modelltransformationen

Modell-zu-Modell-Transformation (M2M)

Modellmodifikation (auch: Inplace-Transformation): Hierbei erzeugt die Transformation kein neues Modell, sondern modifiziert das Quellmodell. Diese Art der Transformation wird häufig verwendet, um Modelle um wenige, einfache Dinge zu erweitern. Beispielsweise könnte man für einen Zustandsautomaten einen 'NotAus' Zustand hinzufügen und diesen dann über neue Übergänge an alle modellierten Zustände anbinden. Hier gilt immer : Quellmodell == Zielmodell

Outplace-Transformation: In diesen etwas komplexeren Szenarien werden ein oder mehrere Quellmodelle in ein oder mehrere Zielmodelle transformiert. Dabei werden die Quellmodelle nicht verändert und die Metamodelle können (müssen aber nicht) unterschiedlich sein. Hier gilt immer : Quellmodell != Zielmodell

Modell-zu-Text Transformation (M2T)

Die Generierung von Textartefakten aus Modellen wird als Modell-zu-Text-Transformation bezeichnet. Auch die Generierung von Quelltext aus Modellen, d. h. die Codegenerierung, kann als Modelltransformation betrachtet werden.

Technologien

• QVT – Der Standard der OMG zur metamodellbasierten Modell-zu-Modelltransformation
• MOF2Text – Der Standard der OMG zur metamodellbasierten Modell zu Text Transformation
• Xpand – Bestandteil des Generatorframeworks OpenArchitectureWare, um sowohl Modell-zu-Modelltransformationen, Modellmodifkation als auch Codegeneratoren zu beschreiben.
• Atlas Transformation Language (ATL) – Ein Modell zu Modelltransformations-Toolkit auf Basis des Eclipse Modeling Framework
• Graphersetzung – Modelle sind für gewöhnlich Graphen, die sich mit Hilfe von Graphersetzungswerkzeugen und deklarativen Graphersetzungsregeln transformieren lassen.
  • Tripel-Graph-Grammatik – Eine auf Graphersetzungen basierende Modelltransformationstechnik
• EMorF – Ein Toolkit auf Basis des Eclipse Modeling Framework für In-place-Modelltransformationen und Modell-zu-Modell-Transformationen

Siehe auch

• Codegenerator
• Domänenspezifische Sprache
• Modellgetriebene Softwareentwicklung

Literatur

Überblicksarbeiten zu Modelltransformationen

• Krzysztof Czarnecki, Simon Helsen: Classification of Model Transformation Approaches. In: OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture. (PDF)
• K. Czarnecki, S. Helsen: Feature-based survey of model transformation approaches. In: IBM Syst. J. Band 45, Nr. 3, 2006, S. 621–645, ISSN 0018-8670, doi:10.1147/sj.453.0621 – Überarbeitete Version des Workshop-Papers von 2003

Zu modellgetriebener Softwareentwicklung im Allgemeinen

• Thomas Stahl, Markus Völter, Sven Efftinge: Modellgetriebene Softwareentwicklung. Techniken, Engineering, Management. 2., aktualisierte und erweiterte Auflage. Dpunkt-Verlag, Heidelberg 2007, ISBN 978-3-89864-448-8. 
• Georg Pietrek, Jens Trompeter (Hrsg.): Modellgetriebene Softwareentwicklung. MDA und MDSD in der Praxis. Entwickler-Press, Frankfurt am Main 2007, ISBN 978-3-939084-11-2.