ATLAS Transformationssprache - ATLAS Transformation Language
Entwickler | OBEO, INRIA Freie Software-Community |
---|---|
Stabile Version | 4.3.0 / 22. Februar 2021
|
Betriebssystem | Plattformübergreifend |
Lizenz | Eclipse Public License |
Webseite | www |
ATL ( ATLAS Transformation Language ) ist eine Modelltransformationssprache und ein Toolkit, das von OBEO und AtlanMod entwickelt und verwaltet wird. Es wurde vom AtlanMod-Team (zuvor ATLAS Group genannt) initiiert. Im Bereich Model-Driven Engineering (MDE) bietet ATL Möglichkeiten, eine Reihe von Zielmodellen aus einer Reihe von Quellmodellen zu erstellen.
ATL wurde unter den Bedingungen der Eclipse Public License veröffentlicht und ist eine M2M- Komponente (Eclipse) innerhalb des Eclipse Modeling Project (EMP).
Überblick
ATL ist eine Modelltransformationssprache (MTL), die von OBEO und INRIA entwickelt wurde , um die QVT- Angebotsanfrage zu beantworten . QVT ist ein Standard der Object Management Group zur Durchführung von Modelltransformationen . Es kann verwendet werden, um syntaktische oder semantische Übersetzungen durchzuführen . ATL basiert auf einer virtuellen Maschine zur Modelltransformation .
ATL ist die Antwort der Forschungsgruppe ATLAS INRIA & LINA auf das RFP OMG MOF / QVT. Es ist eine Modelltransformationssprache, die sowohl als Metamodell als auch als konkrete Textsyntax angegeben wird. Es ist eine Mischung aus deklarativ und imperativ. Der bevorzugte Stil des Transformationsschreibens ist deklarativ, was bedeutet, dass einfache Zuordnungen einfach ausgedrückt werden können. Es werden jedoch zwingende Konstrukte bereitgestellt, damit einige Zuordnungen, die zu komplex sind, um deklarativ behandelt zu werden, weiterhin angegeben werden können. Ein ATL-Transformationsprogramm besteht aus Regeln, die definieren, wie Quellmodellelemente abgeglichen und navigiert werden, um die Elemente der Zielmodelle zu erstellen und zu initialisieren.
Die Architektur
Eine modelltransformationsorientierte virtuelle Maschine wurde definiert und implementiert, um Ausführungsunterstützung für ATL bereitzustellen und gleichzeitig ein gewisses Maß an Flexibilität beizubehalten. Tatsächlich wird ATL einfach deshalb ausführbar, weil eine bestimmte Umwandlung von seinem Metamodell in den Bytecode der virtuellen Maschine vorhanden ist. Bei der Erweiterung von ATL geht es daher hauptsächlich darum, die Ausführungssemantik der neuen Sprachfunktionen anhand einfacher Anweisungen festzulegen: Grundaktionen für Modelle (Elementerstellung und Zuweisung von Eigenschaften).
Beispiel
Ein ATL-Programm ( hier T1.atl ) nimmt das Modell Ma.xmi als Eingabe und erzeugt das Modell Mb.xmi als Ausgabe. Beide Modelle können im OMG XMI- Standard ausgedrückt werden . Das Modell Ma entspricht dem Metamodell MMa.km3 . Modell Mb entspricht dem Metamodell MMb.km3 . Die KM3- Notation ist eine einfache und neutrale Metamodellspezifikationssprache.
Das ATL-Programm selbst ( hier T1.atl ) ist ebenfalls ein Modell, daher entspricht es einem Metamodell (dem ATL-Metamodell), das hier nicht vorgestellt wird.
Ein ATL - Programm besteht aus einem Kopf zusammengesetzt, aus einer Reihe von Nebenwirkungen freier Funktionen genannt Helfer und eine Reihe von Regeln .
Implementierungen
Es gibt ein zugehöriges ATL Development Toolkit- Plugin, das in Open Source vom ATL Eclipse Modeling Project (EMP) verfügbar ist und die ATL-Transformationssprache implementiert, die von der MOF- Abfrage- / Ansichts- / Transformationssprache QVT inspiriert ist . Eine große Bibliothek von Transformationen ist verfügbar. MOF QVT ist eine domänenspezifische Sprache für die Modelltransformation. Es unterstützt Modelle, die Ecore, EMOF, KM3 (eine bestimmte domänenspezifische Sprache für die Metamodellspezifikation) usw. entsprechen. ATL wird auch auf MDR / NetBeans ausgeführt .
Siehe auch
- Model Driven Engineering (MDE)
- Domänenspezifische Modellierung (DSM)
- Modelltransformationssprache (MTL)
- MOF-Abfragen / Ansichten / Transformationen (QVT)
Verweise
- Das MDA-Manifest ist im MDA Journal erhältlich
- Modellgetriebene Architektur: Anwendung von MDA auf Enterprise Computing , David S. Frankel , John Wiley & Sons, ISBN 0-471-31920-1 , Buch
- Zur architektonischen Ausrichtung von ATL und QVT. Frederic Jouault , Ivan Kurtev in: Vorträge des ACM-Symposiums für angewandtes Rechnen (SAC 06), Model Transformation Track, Dijon, Bourgogne, Frankreich, (April 2006), pdf-Papier .
Weiterführende Literatur
- Bohlen, M: QVT- und Multi-Metamodell-Transformation in MDA . Webpublished .pdf (en) , (ger)
- Wagelaar, D: MDE-Fallstudie: Verwenden von Modelltransformationen für UML und DSLs . Webpublished .pdf
- Czarnecki, K und Helsen, S: Klassifikation von Modelltransformationsansätzen. In: Vorträge des OOPSLA'03-Workshops zu generativen Techniken im Kontext modellgetriebener Architektur. Anaheim (CA, USA). Webpublished .pdf
- ModelBaset.net. MDA-Tools . Webseite
- SoftwareMag.com. MDA-Tools . Webveröffentlichte .html
- Artikel
- Modellgetriebene Architektur: Vision, Standards und neue Technologien bei OMG.org
- Eine Einführung in die modellgetriebene Architektur auf IBM.com
- Von der Objektzusammensetzung zur Modelltransformation mit dem MDA auf OMG.org
- ATL auf Eclipsepedia
- Jouault, F und Kurtev, I: Zur architektonischen Ausrichtung von ATL und QVT . In: Proceedings of ACM Symposium on Applied Computing (SAC 06), Modelltransformationsspur. Dijon (Bourgogne, FRA), April 2006. Webpublished .pdf
- ATL Atlas Modelltransformationssprache
- Eclipse / M2M-Newsgroup: ATL-Diskussionsgruppe .
- Jouault, F und Kurtev, I: Zur architektonischen Ausrichtung von ATL und QVT . In: Proceedings of ACM Symposium on Applied Computing (SAC 06), Modelltransformationsspur. Dijon (Bourgogne, FRA), April 2006. Webpublished .pdf
- Eclipse: M2M / ATL ist Teil des neuen Top Level Modeling Project [1]
- UMT UML-Modelltransformationstool
- Grønmo, R, und Oldevik, J: Eine empirische Studie des UML Model Transformation Tool (UMT) . In: INTEROP-ESA'05, Februar 2005. Webpublished .pdf
- Verwandte modellgetriebene Entwicklungsansätze
- Voelter, M: Modellgetriebene Softwareentwicklung . Webpublished .pdf
- Portal Site MDA und Model Transformation : Site-Zugriff