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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
AMW to ATL, http://www.eclipse.org/gmt/amw/examples/#AMW_2ATL_XSLT
AMW Traceability, http://www.eclipse.org/gmt/amw/usecases/traceability
ATL to BindingDebugger, http://www.eclipse.org/m2m/atl/atlTransformations/#ATL2BindingDebugger
ATL to problem, http://www.eclipse.org/m2m/atl/atlTransformations/#ATL2Problem
DoDAF 2004 volume II: product description (4/2/2004), http://www.defenselink.mil/cio-nii/global_Info_grid.html
KM3 to ATL copier, http://www.eclipse.org/m2m/atl/atlTransformations/#KM32ATLCopier
Translating KM3 into SQL using AMW and ATL, http://www.eclipse.org/gmt/amw/examples/#AMW_KM32SQL
WebRatio, http://www.webratio.com/
WebRatio MD Framework, http://home.dei.polimi.it/mbrambil/legacytomda
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)
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)
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)
Brambilla, M., Fraternali, P., Tisi, M.: A metamodel transformation framework for the migration of WebML models to MDA. In: MDWE at Models 2008 (2008)
Cicchetti, A., Di Ruscio, D., Pierantonio, A.: A metamodel independent approach to difference representation. Journal of Object Technology 6, 165–185 (2007)
Del Fabro, M.D., Bezivin, J., Valduriez, P.: Model-Driven Tool Interoperability: An Application in Bug Tracking. LNCS, p. 863. Springer, Heidelberg (2006)
Didonet Del Fabro, M., Bézivin, J.: Generic model management: from theory to practice. In: First Intl. Workshop on Towers of Models (2007)
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)
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)
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)
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)
Jouault, F.: Loosely coupled traceability for ATL. In: Workshop on Traceability at ECMDA 2005, Nuremberg, Germany (2005)
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)
Jouault, F., Bézivin, J.: KM3: A DSL for Metamodel Specification. In: Formal Methods for Open Object-Based Distributed Systems. LNCS. Springer, Heidelberg (2006)
Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Satellite Events at the MoDELS 2005 Conference, pp. 128–138 (2006)
Cointe, P., Garcés, K., Jouault, F., Bézivin, J.: Adaptation of models to evolving metamodels. Technical report (2008)
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)
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)
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)
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)
Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation Analysis Testing for Model Transformations, pp. 376–390 (2006)
Muliawan, O.: Extending a model transformation language using higher order transformations. In: 15th Working Conf. on Reverse Engineering, WCRE (2008)
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)
Pantel, M.: ACADIE team, OLC team, and TOPCASED team: The TOPCASED project. In: Int. Conf. on Embedded Real Time Software (2006)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tisi, M., Jouault, F., Fraternali, P., Ceri, S., Bézivin, J. (2009). On the Use of Higher-Order Model Transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds) Model Driven Architecture - Foundations and Applications. ECMDA-FA 2009. Lecture Notes in Computer Science, vol 5562. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02674-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-02674-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02673-7
Online ISBN: 978-3-642-02674-4
eBook Packages: Computer ScienceComputer Science (R0)