ATL: a QVT-like transformation language

ABSTRACT

In the context of Model Driven Engineering (MDE), models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed in order to specify model transformations. The OMG has, for instance, adopted the QVT specification. Apart from the software engineering properties of transformation languages, the availability of high quality tool support is also of major importance for the industrial adoption and ultimate success of MDE. In this paper, we present ATL: a QVT-like model transformation language and its execution environment based on the Eclipse framework.

REFERENCES

• 1: Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The Design of a Language for Model Transformations. Journal of Software and System Modeling (2005) in review.
• 2: OMG: MOF 2.0 Query / Views / Transformations RFP, OMG Document ad/2002-04-10. (2002)
• 3: Varró, D., Varró, G., Pataricza, A.: Designing the automatic transformation of visual languages (2002)
• 4: Bézivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the Large and Modeling in the Small. In Uwe Amann, Mehmet Aksit, A.R., ed.: Proceedings of the European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, LNCS 3599, Springer-Verlag GmbH (2005) 33--46
• 5: ATLAS team: ATLAS Transformation Language (ATL) Home page, http://www.eclipse.org/gmt/atl/. (2006)
• 6: Jouault, F., Bézivin, J.: KM3: a DSL for Metamodel Specification. In: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, Bologna, Italy (2006) 171--185
• 7: Frédéric Jouault , Ivan Kurtev, On the architectural alignment of ATL and QVT, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France [doi>10.1145/1141277.1141561]
• 8: OMG: Meta Object Facility (MOF) 2.0 Core Specification, OMG Document formal/2006-01-01. (2006)
• 9: OMG: UML OCL 2.0 Specification, OMG Document ptc/2003-10-14. (2003)
• 10: Jouault, F., Kurtev, I.: Transforming Models with ATL. In Bruel, J. M., ed.: Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, LNCS 3844, Springer Berlin / Heidelberg (2006) 128--138
• 11: Di Ruscio, D., Jouault, F., Kurtev, I., Bézivin, J., Pierantonio, A.: Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Technical Report 06.02, LINA (2006)
• 12: Frank Budinsky , Stephen A. Brodsky , Ed Merks, Eclipse Modeling Framework, Pearson Education, 2003

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Specialized application languages

General Terms:
Languages

Keywords:
ATL, QVT, model transformation, model-driven engineering