This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation definitions. The paper describes the language syntax and semantics by using examples. ATL is supported by a set of development tools such as an editor, a compiler, a virtual machine, and a debugger. A case study shows the applicability of the language constructs. Alternative ways for implementing the case study are outlined. In addition to the current features, the planned future ATL features are briefly discussed.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The Design of a Simple Language for Graph Transformations. Journal in Software and System Modeling, in review (2005)Google Scholar
  2. 2.
    Bézivin, J., Jouault, F., Touzet, D.: An Introduction to the ATLAS Model Management Architecture. Research Report LINA (05-01)Google Scholar
  3. 3.
    Bézivin, J., Jouault, F.: Using ATL for Checking Models. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676. Springer, Heidelberg (2005)Google Scholar
  4. 4.
    Budinsky, F., Steinberg, D., Raymond Ellersick, R., Ed Merks, E., Brodsky, S.A., Grose, T.J. (eds.): Eclipse Modeling Framework. Addison Wesley, Reading (2003)Google Scholar
  5. 5.
    Eclipse Foundation, Generative Model Transformer Project,
  6. 6.
    Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: Proceedings of ACM SAC 2006, Track on Model Transformations, Dijon, France (2006) (to appear)Google Scholar
  7. 7.
    Netbeans Meta Data Repository (MDR),
  8. 8.
    OMG. Meta Object Facility (MOF) Specification, version 1.4, OMG Document formal/2002-04-03Google Scholar
  9. 9.
    OMG. Object Constraint Language (OCL). OMG Document ptc/03-10-14Google Scholar
  10. 10.
    OMG. MOF 2.0 Query/Views/Transformations RFP. OMG document ad/2002-04-10 (2002)Google Scholar
  11. 11.
    Varró, D., Varró, G., Pataricza, A.: Designing the automatic transformation of visual languages. Journal of Science of Computer Programming 44, 205–227 (2002)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Frédéric Jouault
    • 1
  • Ivan Kurtev
    • 1
  1. 1.ATLAS Group(INRIA & LINA, University of Nantes) 

Personalised recommendations