HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Chaining Model Transformations

Anne Etien 1 Vincent Aranega 2 Xavier Blanc 3 Richard Paige 4
1 RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02057427
Contributor : Lse Lse Connect in order to contact the contributor
Submitted on : Tuesday, March 5, 2019 - 12:04:43 PM
Last modification on : Thursday, March 24, 2022 - 3:12:59 AM
Long-term archiving on: : Thursday, June 6, 2019 - 4:27:29 PM

File

paper2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02057427, version 1

Citation

Anne Etien, Vincent Aranega, Xavier Blanc, Richard Paige. Chaining Model Transformations. Workshop on the Analysis of Model Transformations AMT, 2012, Innsbruck, Austria. ⟨hal-02057427⟩

Share

Metrics

Record views

55

Files downloads

71