Model transformation by-example : an eclipse based framework

Abstract

Viele der momentan existierenden Ansätze sowie Sprachen zur Modelltransformation sind metamodell-basiert. Sie setzen detaillierte Kenntnisse der Metamodellebene und deren Syntax voraus. Meist wird die Transformation durch ein vollständiges Regelwerk auf der Metaebene bewerkstelligt. Dazu müssen dem Benutzer entweder die Konzepte dieser Ebene bekannt sein, oder er vertraut auf eine eventuell vorhandene Lösung.<br />Einen neuen benutzerfreundlichen Ansatz dafür beschreibt Model Transformation By-Example (MTBE). Der Benutzer arbeitet mit der ihm vertrauten Syntax auf Instanzebene und kann dort Mappings zwischen Elementen zweier verschiednener Modelle definieren, aus denen automatisch Regeln generiert werden. Das Ergebnis der Analyse kann während der Erstellung der Korrespondenzen laufend überprüft werden, sodass es möglich ist, diese iterativ zu bearbeiten, um schlussendlich alle nötigen Regeln abzuleiten. Des Weiteren erlaubt ein solches Framework das Erweitern der Analyse und ermöglicht es somit, auf diesen Schritt direkt Ein uss zu nehmen.<br />In dieser Arbeit wird ein Framework für MTBE auf Basis des Graphical Modeling Framework (GMF) umgesetzt. Die Implementierung von MTBE wird in ein Eclipse Plug-in eingebettet. Mappings auf der Modellebene können mit Hilfe eines automatisch generierten GMF-Editors gezeichnet werden. Eine so genannte Analyzer Komponente soll dann diese Mappings auswerten und daraus ein Weaving Modell beziehungsweise den ATL Code generieren.<br />Für den in dieser Arbeit vorgestellten Prototyp wurden drei Analysealgorithmen entwickelt. Die Implementierung wurde so umgesetzt, dass sie über eine integrierte Schnittstelle noch beliebig erweiterbar ist. Zusätzlich zu diesem Prototyp wurden zwei GMF-Editoren für die beiden Modellierungssprachen UML und ER entwickelt, welche als Beispielanwendung herangezogen werden, um Funktion, sowie entwickelte Algorithmen anhand einer Transformation zwischen den Sprachen UML und ER zu testen und auch zu präsentieren.<br />

Many of the existing approaches for model transformation are metamodel-based and thus require detailed knowledge of the corresponding concepts and syntax. A solution often consists of a complete set of rules, which map meta elements between domains. These rules have to be provided by a third-party or the user herself. The latter case requires high levels of familiarity with both metamodels.<br />Model Transformation By-Example (MTBE) introduces a new concept. It enables the user to make use of her existing knowledge of the syntax and notation at the M1 level by deriving the rules automatically from mappings on the instance of a metamodel. The result of these generated rules and therefore the level of completeness can be applied continuously during the process and may lead to an iterative way of de ning the necessary mappings. To be able to generate a complete rule set, the suggested framework is able to provide an extension mechanism to alter the behaviour of the whole analysing component.<br />This work proposes the implementation of an MTBE-based framework on top of the Graphical Modeling Framework (GMF). The framework is realized by utilising the plug-in capabilities of Eclipse. The graphical components used to create the diagrams and mappings are realized through a GMF editor. An extensible analyser is applied to translate those mappings to the next abstraction level and to provide a weaving model as well as a set of ATL (Atlas Transformation Language) rules for later use in transforming models in both directions.<br />The core of the analyser consists of three algorithms, which provide the basic logic and can be extended to handle additional domains. The Eclipse mechanism through extension points is used to provide this capability. For testing and demonstration purposes two GMF Editors were developed, one for UML class diagrams and one for the ER domain.