Towards Incremental Execution of ATL Transformations

Frédéric Jouault 1 Massimo Tisi 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 : 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.
Type de document :
Communication dans un congrès
Laurence Tratt and Martin Gogolla. ICMT2010 - Intl. Conference on Model Transformation, Jun 2010, Malaga, Spain. Springer, 6142, pp.123-137, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-13688-7_9〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00539063
Contributeur : Frédéric Jouault <>
Soumis le : mardi 23 novembre 2010 - 19:48:23
Dernière modification le : mercredi 11 avril 2018 - 01:56:37

Identifiants

Citation

Frédéric Jouault, Massimo Tisi. Towards Incremental Execution of ATL Transformations. Laurence Tratt and Martin Gogolla. ICMT2010 - Intl. Conference on Model Transformation, Jun 2010, Malaga, Spain. Springer, 6142, pp.123-137, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-13688-7_9〉. 〈inria-00539063〉

Partager

Métriques

Consultations de la notice

466