Chaining Model Transformations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Chaining Model Transformations

Résumé

Model transformation is one of the key practices of Model-Driven Engineering. Building very large model transformations may benefit from the construction of small transformations , in order to manage complexity and enhance reusabil-ity, maintainability and modularity. The decomposition of transformations into smaller ones raises the issue of assuring the validity of a composition: if two or more transformations are chained together, are the results of executing the chain the expected ones? This paper addresses the challenge of determining if two transformations are conflicting. Transformations can conflict in numerous ways, e.g., in terms of preconditions, post-conditions, behaviour of individual rules. In this paper, we demonstrate a strong notion of conflict, via commutativity: two transformations do not conflict if they can be chained in either order, and in doing so produce identical results. We propose an approach to detecting such potential conflicts based on static analysis, exploiting an intermediate representation of transformations independent of any concrete language.
Fichier principal
Vignette du fichier
paper2.pdf (251.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02057427 , version 1 (05-03-2019)

Identifiants

  • HAL Id : hal-02057427 , version 1

Citer

Anne Etien, Vincent Aranega, Xavier Blanc, Richard Paige. Chaining Model Transformations. Workshop on the Analysis of Model Transformations AMT, 2012, Innsbruck, Austria. ⟨hal-02057427⟩
61 Consultations
92 Téléchargements

Partager

Gmail Facebook X LinkedIn More