Skip to Main content Skip to Navigation
Conference papers

Lazy Execution of Model-to-Model Transformations

Massimo Tisi 1 Salvador Martínez 1, 2 Frédéric Jouault 1 Jordi Cabot 1 
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : The increasing adoption of Model-Driven Engineering in in- dustrial contexts highlights scalability as a critical limitation of several MDE tools. Most of the current model-to-model transformation engines have been designed for one-shot translation of input models to output models, and present efficiency issues when applied to very large models. In this paper, we study the application of a lazy-evaluation approach to model transformations. We present a lazy execution algorithm for ATL, and we empirically evaluate a prototype implementation. With it, the elements of the target model are generated only when (and if) they are accessed, enabling also transformations that generate infinite target models. We achieve our goal on a significant subset of ATL by extending the ATL compiler.
Document type :
Conference papers
Complete list of metadata
Contributor : Salvador Martínez Connect in order to contact the contributor
Submitted on : Tuesday, July 19, 2011 - 10:47:32 AM
Last modification on : Wednesday, April 27, 2022 - 4:44:31 AM


  • HAL Id : inria-00609458, version 1


Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot. Lazy Execution of Model-to-Model Transformations. Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand. ⟨inria-00609458⟩



Record views