Improving Higher-Order Transformations Support in ATL

  • Massimo Tisi
  • Jordi Cabot
  • Frédéric Jouault
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6142)


In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a previous survey we classified them, and showed their usefulness in different MDE scenarios. However, writing HOTs is generally considered a time-consuming and error-prone task, and often results in verbose code.

In this paper we present several proposals to facilitate the definition of HOTs in ATL. Each proposal focuses on a specific kind of scenario. We validate our proposals by assessing their impact over the full list of HOTs described in the survey.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    EXSLT, (2006)
  2. 2.
    Balogh, Z., Varró, D.: Model transformation by example using inductive logic programming. Software and Systems Modeling 8(3), 347–364 (2009)CrossRefGoogle Scholar
  3. 3.
    Bézivin, J., Buttner, F., Gogolla, M., Jouault, F.: Model Transformations? Transformation Models! In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 440–453. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Chenouard, R., Jouault, F.: Automatically Discovering Hidden Transformation Chaining Constraints. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, p. 92. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Cuadrado, J.S., Molina, J.G., Tortosa, M.M.: RubyTL: A practical, extensible transformation language. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 158–172. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Garcés, K., Jouault, F., Cointe, P., Bézivin, J.: Managing model adaptation by precise detection of metamodel changes. Evolution 2, 2 (2009)Google Scholar
  7. 7.
    Apache Group. The Apache ANT Project (2010),
  8. 8.
    ATLAS INRIA Research Group. KM3 to ATL Copier (2005),
  9. 9.
    Iacob, M.E., Steen, M.W.A., Heerink, L.: Reusable Model Transformation Patterns. In: Workshop on Models and Model-driven Methods for Enterprise Computing (3M4EC 2008), p. 1 (2008)Google Scholar
  10. 10.
    Jouault, F., Bézivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In: Proceedings of the 5th international conference on Generative programming and component engineering, p. 254. ACM, New York (2006)Google Scholar
  11. 11.
    Kelly Garces, F.J., Kling, W.: Automatizing the Evaluation of Model Matching Systems. In: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies, in AISB 2010 Convention, Leicester, UK (submitted 2010)Google Scholar
  12. 12.
    Kurtev, I., Bézivin, J., Jouault, F., Valduriez, P.: Model-based DSL frameworks. In: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, Portland, Oregon, USA, p. 616. ACM, New York (2006)Google Scholar
  13. 13.
    Novatchev, D.: Higher-order functional programming with XSLT 2.0 and FXSL. In: Extreme Markup Languages, vol. 7, Citeseer (2006)Google Scholar
  14. 14.
    Strommer, M., Wimmer, M.: A framework for model transformation by-example: Concepts and tool support. In: Proceedings of the 46th International Conference on Technology of Object-Oriented Languages and Systems, Zurich, Switzerland, pp. 372–391. Springer, Heidelberg (2008)Google Scholar
  15. 15.
    Tisi, M., Jouault, F.: ATL HOT Library (2010),
  16. 16.
    Tisi, M., Jouault, F., Fraternali, P., Ceri, S., Bézivin, J.: On the Use of Higher-Order Model Transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 18–33. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  17. 17.
    Valduriez, P., Del Fabro, M.D.: Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling 8(3), 305–324 (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Massimo Tisi
    • 1
  • Jordi Cabot
    • 1
  • Frédéric Jouault
    • 1
  1. 1.AtlanModINRIA & École des Mines de NantesFrance

Personalised recommendations