transML: A Family of Languages to Model Model Transformations

  • Esther Guerra
  • Juan de Lara
  • Dimitrios S. Kolovos
  • Richard F. Paige
  • Osmar Marchi dos Santos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6394)


Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. However, there is a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing.

In this paper, we propose a unified family of languages to cover the life-cycle of transformation development. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for specific transformation implementation languages.


Model Transformation Graph Transformation Transformation Language Transformation Code Transformation Development 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Bézivin, J., Jouault, F., Paliès, J.: Towards model transformation design patterns. In: EWMT 2005 (2005)Google Scholar
  3. 3.
    Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–646 (2006)CrossRefGoogle Scholar
  4. 4.
    Etien, A., Dumoulin, C., Renaux, E.: Towards a unified notation to represent model transformation. Technical Report RR-6187, INRIA (2007)Google Scholar
  5. 5.
    Favre, J.-M., Nguyen, T.: Towards a megamodel to model software evolution through transformations. Electr. Notes Theor. Comput. Sci. 127(3), 59–74 (2005)CrossRefGoogle Scholar
  6. 6.
    Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Foundations of Component-Based Systems, pp. 47–68. Cambridge University Press, Cambridge (2000)Google Scholar
  7. 7.
    Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F.: A visual specification language for model-to-model transformations. In: VLHCC 2010. IEEE CS, Los Alamitos (2010)Google Scholar
  8. 8.
    Iacob, M., Steen, M., Heerink, L.: Reusable model transformation patterns. In: 3M4EC 2008, pp. 1–10 (2008)Google Scholar
  9. 9.
    Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128–142. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    Kusel, A.: TROPIC - a framework for building reusable transformation components. In: Doctoral Symposium at MODELS (2009)Google Scholar
  12. 12.
  13. 13.
    Rahim, L.A., Mansoor, S.B.R.S.: Proposed design notation for model transformation. In: ASWEC 2008, pp. 589–598. IEEE CS, Los Alamitos (2008)Google Scholar
  14. 14.
    Rivera, J.E., Ruiz-Gonzalez, D., Lopez-Romero, F., Bautista, J., Vallecillo, A.: Orchestrating ATL model transformations. In: MtATL 2009, pp. 34–46 (2009)Google Scholar
  15. 15.
    Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1994)Google Scholar
  16. 16.
    Siikarla, M., Laitkorpi, M., Selonen, P., Systä, T.: Transformations have to be developed ReST assured. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 1–15. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  17. 17.
    Spivey, J.M.: An introduction to Z and formal specifications. Softw. Eng. J. 4(1), 40–50 (1989)CrossRefGoogle Scholar
  18. 18.
    Vanhooff, B., Ayed, D., Baelen, S.V., Joosen, W., Berbers, Y.: Uniti: A unified transformation infrastructure. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 31–45. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  19. 19.
    Varró, D.: Model transformation by example. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 410–424. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Esther Guerra
    • 1
  • Juan de Lara
    • 2
  • Dimitrios S. Kolovos
    • 3
  • Richard F. Paige
    • 3
  • Osmar Marchi dos Santos
    • 3
  1. 1.Universidad Carlos III de MadridSpain
  2. 2.Universidad Autónoma de MadridSpain
  3. 3.University of YorkUK

Personalised recommendations