Towards a Family of Model Transformation Languages
Many model transformation languages of different nature have been proposed during the last years, each one of them suitable for a certain kind of transformation task. However, a complex transformation problem may not fall into a single transformation category, making the solution written in the chosen transformation language suboptimal, as some concerns cannot be handled naturally.
To tackle this issue, we propose to define a model transformation tool as a family of model transformation languages. Each member of the family is a simple language intended to deal with a particular kind of transformation task. In this paper we discuss the different issues involved, such as design decisions, interoperability among languages, and composability. We illustrate the paper with a transformation from UML and OCL to Java, in which languages for pattern matching, mapping, attribution and target-oriented transformations are used. Finally, the approach is validated with a proof-of-concept implementation.
KeywordsModel Transformation Target Element Trace Link Java Virtual Machine Transformation Language
Unable to display preview. Download preview PDF.
- 1.Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Inc., Boston (1986)Google Scholar
- 5.Eclectic website, http://sanchezcuadrado.es/projects/eclectic
- 6.Epsilon, http://www.eclipse.org/gmt/epsilon
- 7.Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley (2004)Google Scholar
- 8.Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O.: Engineering model transformations with transML. Software and Systems Modeling, 1–23 (2011)Google Scholar
- 9.Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31–39 (2008), http://www.emn.fr/z-info/atlanmod/index.php/Main_Page (last accessed: November 2010)Google Scholar
- 12.Kurtev, I., van den Berg, K., Jouault, F.: Rule-based modularization in model transformation languages illustrated with atl. Science of Computer Programming 68(3), 138–154 (2007); Special Issue on Model TransformationGoogle Scholar
- 14.OMG. UML 2.3 specification, http://www.omg.org/spec/UML/2.3/
- 15.OMG. Final adopted specification for MOF 2.0 Query/View/Transformation (2005), www.omg.org/docs/ptc/05-11-01.pdf
- 16.Rompf, T., Maier, I., Odersky, M.: Implementing first-class polymorphic delimited continuations by a type-directed selective cps-transform. In: Proceedings of the 14th International Conference on Functional Programming, pp. 317–328 (2009)Google Scholar
- 17.Sanchez Cuadrado, J.: Compiling ATL with Continuations. In: Proc. of 3rd International Workshop on Model Transformation with ATL (MtATL 2011), pp. 10–19. CEUR-WS (2011)Google Scholar
- 19.Sloane, A.M., Kats, L.C., Visser, E.: A pure embedding of attribute grammars. Science of Computer Programming (2011)Google Scholar
- 21.Voelter, M.: A family of languages for architecture description. In: 8th OOPSLA Workshop on Domain-Specific Modeling, DSM 2008 (October 2008)Google Scholar
- 24.Yie, A., Casallas, R., Deridder, D., Wagelaar, D.: Realizing model transformation chain interoperability. Software and Systems Modeling, 1–21 (2010)Google Scholar