Traceability Mappings as a Fundamental Instrument in Model Transformations

  • Zinovy DiskinEmail author
  • Abel Gómez
  • Jordi Cabot
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10202)


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.


Disjoint Union Model Transformation Sequential Composition Traceability Mapping Traceability Link 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model traceability. IBM Syst. J. 45(3), 515–526 (2006)CrossRefGoogle Scholar
  2. 2.
    Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of model transformations via alloy. In: Proceedings of the 4th MoDeVVa workshop Model-Driven Engineering, Verification and Validation, pp. 47–56 (2007)Google Scholar
  3. 3.
    Benelallam, A., Gómez, A., Tisi, M., Cabot, J.: Distributed model-to-model transformation with ATL on mapreduce. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2015, pp. 37–48. ACM, New York (2015)Google Scholar
  4. 4.
    Didonet Del Fabro, M., Valduriez, P.: Towards the efficient development of model transformations using model weaving and matching transformations. Softw. Syst. Model. 8(3), 305–324 (2009)CrossRefGoogle Scholar
  5. 5.
    Diskin, Z.: Model synchronization: mappings, tiles, and categories. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 92–165. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-18023-1_3 CrossRefGoogle Scholar
  6. 6.
    Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 163–177. Springer, Heidelberg (2012). doi: 10.1007/978-3-642-28872-2_12 CrossRefGoogle Scholar
  7. 7.
    Freund, M., Braune, A.: A generic transformation algorithm to simplify the development of mapping models. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, pp. 284–294. ACM, New York (2016)Google Scholar
  8. 8.
    Gammaitoni, L., Kelsen, P.: F-alloy: an alloy based model transformation language. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 166–180. Springer, Cham (2015). doi: 10.1007/978-3-319-21155-8_13 CrossRefGoogle Scholar
  9. 9.
    Gholizadeh, H., Diskin, Z., Kokaly, S., Maibaum, T.: Analysis of source-to-target model transformations in quest. In: Dingel, J., Kokaly, S., Lucio, L., Salay, R., Vangheluwe, H. (eds.) Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, 28 September 2015, vol. 1500, CEUR Workshop Proceedings, pp. 46–55 (2015).
  10. 10.
    Gholizadeh, H., Diskin, Z., Maibaum, T.: A query structured approach for model transformation. In: Dingel, J., de Lara, J., Lucio, L., Vangheluwe, H. (eds.) Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), CEUR Workshop Proceedings Valencia, Spain, September 29, 2014, vol. 1277, pp. 54–63. (2014)Google Scholar
  11. 11.
    Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1–2), 31–39 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008). doi: 10.1007/978-3-540-69927-9_4 CrossRefGoogle Scholar
  13. 13.
    Lopes, D., Hammoudi, S., Bézivin, J., Jouault, F.: Mapping specification in MDA: from theory to practice. In: Konstantas, D., Bourriéres, J.-P., Léonard, M., Boudjlida, N. (eds.) Interoperability of Enterprise Software and Applications, pp. 253–264. Springer, London (2006)CrossRefGoogle Scholar
  14. 14.
    Marschall, F., Braun, P.: Model transformations for the MDA with BOTL. In: Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications, pp. 25–36 (2003)Google Scholar
  15. 15.
    Paige, R.F., Drivalos, N., Kolovos, D.S., Fernandes, K.J., Power, C., Olsen, G.K., Zschaler, S.: Rigorous identification and encoding of trace-links in model-driven engineering. Softw. Syst. Model. 10(4), 469–487 (2011)CrossRefGoogle Scholar
  16. 16.
    The Eclipse Foundation: ATL, October 2016. url:
  17. 17.
    The Eclipse Foundation: Epsilon October 2016. url:
  18. 18.
    Willink, E., Matragkas, N.: QVT traceability: what does it really mean? In: Analysis of Model Transformations, AMT 2015, 4th Workshop Models 2015 (2015)Google Scholar
  19. 19.
    Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schoenboeck, J., Schwinger, W.: Surviving the heterogeneity jungle with composite mapping operators. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 260–275. Springer, Heidelberg (2010). doi: 10.1007/978-3-642-13688-7_18 CrossRefGoogle Scholar

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