Towards a General Composition Semantics for Rule-Based Model Transformation

Dennis Wagelaar 1 Massimo Tisi 2 Jordi Cabot 2 Frédéric Jouault 2
2 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 : As model transformations have become an integral part of the automated software engineering lifecycle, reuse, modularisation, and composition of model transformations becomes important. One way to compose model transformations is to compose modules of transformation rules, and execute the composition as one transformation (internal composition). This kind of composition can provide richer semantics, as it is part of the transformation language. This paper aims to generalise two internal composition mechanisms for rule-based transformation languages, module import and rule inheritance, by providing executable semantics for the composition mechanisms within a virtual machine. The generality of the virtual machine is demonstrated for different rule-based transformation languages by compiling those languages to, and executing them on this virtual machine. We will discuss how ATL and graph transformations can be mapped to modules and rules inside the virtual machine.
Type de document :
Communication dans un congrès
MoDELS, 2011, Wellington, New Zealand. pp.623-637, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00642066
Contributeur : Massimo Tisi <>
Soumis le : jeudi 17 novembre 2011 - 11:34:47
Dernière modification le : mardi 16 janvier 2018 - 14:37:15

Identifiants

  • HAL Id : hal-00642066, version 1

Collections

Citation

Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault. Towards a General Composition Semantics for Rule-Based Model Transformation. MoDELS, 2011, Wellington, New Zealand. pp.623-637, 2011. 〈hal-00642066〉

Partager

Métriques

Consultations de la notice

200