Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jouault, F., Kurtev, I.: Transforming models with atl. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
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)
Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. Addison-Wesley Professional, Reading (2009)
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)
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)
Bergmann, G., Ráth, I., Varró, D.: Parallelization of graph transformation based on incremental pattern matching. Electronic Communications of EASST 18 (2009)
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)
Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software & Systems Modeling 8(1), 21–43 (2008)
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)
Goldschmidt, T., Uhl, A.: Retainment Rules for Model Transformations. In: 1st International Workshop on Model Co-Evolution and Consistency Management at Models (2008)
OMG: 2.0 OCL specification. Adopted Specification, ptc/03-10-14 (2003)
Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, London (2003)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jouault, F., Tisi, M. (2010). Towards Incremental Execution of ATL Transformations. In: Tratt, L., Gogolla, M. (eds) Theory and Practice of Model Transformations. ICMT 2010. Lecture Notes in Computer Science, vol 6142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13688-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-13688-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13687-0
Online ISBN: 978-3-642-13688-7
eBook Packages: Computer ScienceComputer Science (R0)