Improving Higher-Order Transformations Support in ATL

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.

[1]  Jean Bézivin,et al.  Managing Model Adaptation by Precise Detection of Metamodel Changes , 2009, ECMDA-FA.

[2]  Maarten van Steen,et al.  Proceedings of the Workshop on Models and Model-driven Methods for Enterprise Computing (3M4EC 2008) , 2008 .

[3]  Dániel Varró,et al.  Model transformation by example using inductive logic programming , 2008, Software & Systems Modeling.

[4]  Jesús Sánchez Cuadrado,et al.  RubyTL: A Practical, Extensible Transformation Language , 2006, ECMDA-FA.

[5]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[6]  Frédéric Jouault,et al.  Automatizing the Evaluation of Model Matching Systems , 2010 .

[7]  Jean Bézivin,et al.  TCS:: a DSL for the specification of textual concrete syntaxes in model engineering , 2006, GPCE '06.

[8]  Frédéric Jouault,et al.  Automatically Discovering Hidden Transformation Chaining Constraints , 2009, MoDELS.

[9]  Martin Gogolla,et al.  Model transformations? transformation models! , 2006, MoDELS'06.

[10]  Manuel Wimmer,et al.  A Framework for Model Transformation By-Example: Concepts and Tool Support , 2008, TOOLS.

[11]  Maria-Eugenia Iacob,et al.  Reusable Model Transformation Patterns , 2008, 2008 12th Enterprise Distributed Object Computing Conference Workshops.

[12]  Patrick Valduriez,et al.  Towards the efficient development of model transformations using model weaving and matching transformations , 2009, Software & Systems Modeling.

[13]  Jean Bézivin,et al.  Model-based DSL frameworks , 2006, OOPSLA '06.

[14]  Jean Bézivin,et al.  On the Use of Higher-Order Model Transformations , 2009, ECMDA-FA.

[15]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.