Traceability Mappings as a Fundamental Instrument in Model Transformations

Conference paper

DOI: 10.1007/978-3-662-54494-5_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10202)
Cite this paper as:
Diskin Z., Gómez A., Cabot J. (2017) Traceability Mappings as a Fundamental Instrument in Model Transformations. In: Huisman M., Rubin J. (eds) Fundamental Approaches to Software Engineering. FASE 2017. Lecture Notes in Computer Science, vol 10202. Springer, Berlin, Heidelberg


Technological importance of traceability mappings for model transformations is well-known, but they have often been considered as an auxiliary element generated during the transformation execution and providing accessory information. This paper argues that traceability mappings should instead be regarded as a core aspect of the transformation definition, and a key instrument in the transformation management.

We will show how a transformation can be represented as the result of execution of a metamodel mapping, which acts as a special encoding of the transformation definition. Since mappings enjoy Boolean operations (as sets of links) and sequential composition (as sets of directed links), encoding transformations by mappings makes it possible to define these operations for transformations as well, which can be useful for model transformation reuse, compositional design, and chaining.

Copyright information

© Springer-Verlag GmbH Germany 2017

Authors and Affiliations

  1. 1.McMaster UniversityHamiltonCanada
  2. 2.IN3Universitat Oberta de CatalunyaBarcelonaSpain
  3. 3.ICREABarcelonaSpain

Personalised recommendations