Towards Incremental Execution of ATL Transformations

  • Frédéric Jouault
  • Massimo Tisi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6142)


Up to now, the execution of ATL transformations has always followed a two-step algorithm: 1) matching all rules, 2) applying all matched rules. This algorithm does not support incremental execution. For instance, if a source model is updated, the whole transformation must be executed again to get the updated target model.

In this paper, we present an incremental execution algorithm for ATL, as well as a prototype. With it, changes in a source model are immediately propagated to the target model. Our approach leverages previous works of the community, notably on live transformations and incremental OCL. We achieve our goal on a subset of ATL, without requiring modifications to the language.


Source Model Model Transformation Target Model Graph Transformation Target Element 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Jouault, F., Kurtev, I.: Transforming models with atl. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: Atl: a model transformation tool. Science of Computer Programming, Special Issue on Second issue of experimental software and toolkits (EST) 72(3), 31–39 (2008)zbMATHGoogle Scholar
  3. 3.
    Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. Addison-Wesley Professional, Reading (2009)Google Scholar
  4. 4.
    Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: Proc. of ASE 2007, p. 164 (2007)Google Scholar
  5. 5.
    Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 321–335. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Bergmann, G., Ráth, I., Varró, D.: Parallelization of graph transformation based on incremental pattern matching. Electronic Communications of EASST 18 (2009)Google Scholar
  7. 7.
    Ráth, I., Bergmann, G., Okrös, A., Varró, D.: Live model transformations driven by incremental pattern matching. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 107–121. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software & Systems Modeling 8(1), 21–43 (2008)CrossRefGoogle Scholar
  9. 9.
    Cabot, J., Teniente, E.: Incremental evaluation of OCL constraints. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, p. 81. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Goldschmidt, T., Uhl, A.: Retainment Rules for Model Transformations. In: 1st International Workshop on Model Co-Evolution and Consistency Management at Models (2008)Google Scholar
  11. 11.
    OMG: 2.0 OCL specification. Adopted Specification, ptc/03-10-14 (2003)Google Scholar
  12. 12.
    Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, London (2003)Google Scholar
  13. 13.
    Valduriez, P., Didonet Del Fabro, M.: Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling 8(3), 305–324 (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Frédéric Jouault
    • 1
  • Massimo Tisi
    • 1
  1. 1.AtlanMod (INRIA & École des Mines de Nantes)France

Personalised recommendations