On the Use of Higher-Order Model Transformations

  • Massimo Tisi
  • Frédéric Jouault
  • Piero Fraternali
  • Stefano Ceri
  • Jean Bézivin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5562)

Abstract

The level of maturity that has been reached by model transformation technologies is proved by the growing literature on transformation libraries that address an increasingly wide spectrum of applications.

With the success of the modeling and transformation paradigm, the need arises to address more complex applications that require a direct manipulation of model transformations.

The uniformity and flexibility of the model-driven paradigm allows this class of applications to make use of the same transformation infrastructure. This is possible because transformations can be translated into transformation models and given as objects to a different class of model transformations, called Higher-Order Transformations (HOT).

This paper provides an introduction to HOTs and a survey of the several application cases where their use is relevant. A number of possible future applications of HOTs is also proposed.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
  2. 2.
  3. 3.
  4. 4.
  5. 5.
    DoDAF 2004 volume II: product description (4/2/2004), http://www.defenselink.mil/cio-nii/global_Info_grid.html
  6. 6.
  7. 7.
    Translating KM3 into SQL using AMW and ATL, http://www.eclipse.org/gmt/amw/examples/#AMW_KM32SQL
  8. 8.
  9. 9.
  10. 10.
    Bézivin, J., Hillairet, G., Jouault, F., Kurtev, I., Piers, W.: Bridging the MS/DSL Tools and the Eclipse Modeling Framework. In: Proceedings of the International Workshop on Software Factories at OOPSLA (2005)Google Scholar
  11. 11.
    Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model Transformations? Transformation Models! In: Model Driven Engineering Languages and Systems, pp. 440–453 (2006)Google Scholar
  12. 12.
    Botterweck, G., O’Brien, L., Thiel, S.: Model-driven derivation of product architectures. In: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pp. 469–472. ACM, New York (2007)CrossRefGoogle Scholar
  13. 13.
    Brambilla, M., Fraternali, P., Tisi, M.: A metamodel transformation framework for the migration of WebML models to MDA. In: MDWE at Models 2008 (2008)Google Scholar
  14. 14.
    Cicchetti, A., Di Ruscio, D., Pierantonio, A.: A metamodel independent approach to difference representation. Journal of Object Technology 6, 165–185 (2007)CrossRefGoogle Scholar
  15. 15.
    Del Fabro, M.D., Bezivin, J., Valduriez, P.: Model-Driven Tool Interoperability: An Application in Bug Tracking. LNCS, p. 863. Springer, Heidelberg (2006)Google Scholar
  16. 16.
    Didonet Del Fabro, M., Bézivin, J.: Generic model management: from theory to practice. In: First Intl. Workshop on Towers of Models (2007)Google Scholar
  17. 17.
    Garcés, K., Jouault, F., Cointe, P., Bézivin, J.: A domain specific language for expressing model matching. In: Proceedings of the 5ère Journée sur l’Ingénierie Dirigée par les Modèles (IDM 2009), Nancy, France (2009)Google Scholar
  18. 18.
    Graaf, B., van Deursen, A., Baudry, B., Faivrea, A., Ghosh, S., Pretschner, A.: Using MDE for generic comparison of views. In: Proceedings of the 4th International Workshop on Model Design, Verification and Validation (MoDeVVa 2007) (2007)Google Scholar
  19. 19.
    Hillairet, G., Bertrand, F., Lafaye, J.Y.: MDE for publishing data on the semantic web. In: Transf. and Weaving Ontologies in MDE (TWOMDE) at MODELS 2008 (2008)Google Scholar
  20. 20.
    Jossic, A., Del Fabro, M.D., Lerat, J.P., Bézivin, J., Jouault, F., Sodius, S.A.S.: Model integration with model weaving: a case study in system architecture. In: International Conference on Systems Engineering and Modeling ICSEM 2007 (2007)Google Scholar
  21. 21.
    Jouault, F.: Loosely coupled traceability for ATL. In: Workshop on Traceability at ECMDA 2005, Nuremberg, Germany (2005)Google Scholar
  22. 22.
    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 (2006)Google Scholar
  23. 23.
    Jouault, F., Bézivin, J.: KM3: A DSL for Metamodel Specification. In: Formal Methods for Open Object-Based Distributed Systems. LNCS. Springer, Heidelberg (2006)Google Scholar
  24. 24.
    Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Satellite Events at the MoDELS 2005 Conference, pp. 128–138 (2006)Google Scholar
  25. 25.
    Cointe, P., Garcés, K., Jouault, F., Bézivin, J.: Adaptation of models to evolving metamodels. Technical report (2008)Google Scholar
  26. 26.
    Kavimandan, A., Klemm, R., Gokhale, A.: Automated Context-Sensitive dialog synthesis for enterprise workflows using templatized model transformations. In: EDOC 2008, pp. 159–168 (2008)Google Scholar
  27. 27.
    Kurtev, I., Bézivin, J., Jouault, F., Valduriez, P.: Model-based DSL frameworks. In: 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, Portland, Oregon, USA, pp. 602–616. ACM, New York (2006)Google Scholar
  28. 28.
    Malavolta, H.M., Pelliccione, P., Tamburri, D.A.: Providing architectural languages and tools interoperability through model transformation technologies. Technical report, TR 004-2008, Available at the DUALLY site (2008)Google Scholar
  29. 29.
    Marcos, D.D.F., Jean, B., Frric, J., Erwan, B., Guillaume, G.: AMW: a generic model weaver. In: 1res Journes sur l’Ingnierie Dirige par les Modles (2005)Google Scholar
  30. 30.
    Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation Analysis Testing for Model Transformations, pp. 376–390 (2006)Google Scholar
  31. 31.
    Muliawan, O.: Extending a model transformation language using higher order transformations. In: 15th Working Conf. on Reverse Engineering, WCRE (2008)Google Scholar
  32. 32.
    Oldevik, J., Haugen, O.: Higher-Order transformations for product lines. In: Proceedings of the 11th International Software Product Line Conference (SPLC 2007), pp. 243–254. IEEE Computer Society, Washington (2007)CrossRefGoogle Scholar
  33. 33.
    Pantel, M.: ACADIE team, OLC team, and TOPCASED team: The TOPCASED project. In: Int. Conf. on Embedded Real Time Software (2006)Google Scholar
  34. 34.
    Sottet, J.S., Ganneau, V., Calvary, G., Coutaz, J., Favre, J.M., Demumieux, R.: Model-Driven adaptation for plastic user interfaces. In: Baranauskas, C., Palanque, P., Abascal, J., Barbosa, S.D.J. (eds.) INTERACT 2007. LNCS, vol. 4662, pp. 397–410. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  35. 35.
    Vépa, É., Bézivin, J., Brunelière, H., Jouault, F.: Measuring model repositories. In: Proceedings of the Model Size Metrics Workshop at the MoDELS/UML 2006 conference, Genova, Italy (2006)Google Scholar
  36. 36.
    Wagelaar, D.: Composition techniques for Rule-Based model transformation languages. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 152–167. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Massimo Tisi
    • 1
  • Frédéric Jouault
    • 2
  • Piero Fraternali
    • 1
  • Stefano Ceri
    • 1
  • Jean Bézivin
    • 2
  1. 1.Politecnico di Milano, Dipartimento di Elettronica e InformazioneMilanoItaly
  2. 2.INRIACentre Rennes - Bretagne AtlantiqueNantesFrance

Personalised recommendations