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.
Type de document :
Communication dans un congrès
Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00609458
Contributeur : Salvador Martínez Pérez <>
Soumis le : mardi 19 juillet 2011 - 10:47:32
Dernière modification le : mercredi 5 décembre 2018 - 01:22:14

Identifiants

  • HAL Id : inria-00609458, version 1

Citation

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. 2011. 〈inria-00609458〉

Partager

Métriques

Consultations de la notice

344