ATLAS Transformationssprache - ATLAS Transformation Language

ATLAS Transformationssprache
Entwickler OBEO, INRIA
Freie Software-Community
Stabile Version
4.3.0 / 22. Februar 2021 ; Vor 2 Monaten  ( 2021-02-22 )
Betriebssystem Plattformübergreifend
Lizenz Eclipse Public License
Webseite www .eclipse .org / atl
ATL-Betriebskontext

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

ATL präsentation.png

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

Verweise

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
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

Externe Links