Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
EXSLT, http://www.exslt.org (2006)
Balogh, Z., Varró, D.: Model transformation by example using inductive logic programming. Software and Systems Modeling 8(3), 347–364 (2009)
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)
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)
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)
Garcés, K., Jouault, F., Cointe, P., Bézivin, J.: Managing model adaptation by precise detection of metamodel changes. Evolution 2, 2 (2009)
Apache Group. The Apache ANT Project (2010), http://ant.apache.org/
ATLAS INRIA Research Group. KM3 to ATL Copier (2005), http://www.eclipse.org/m2m/atl/atlTransformations/#KM32ATLCopier
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)
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)
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)
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)
Novatchev, D.: Higher-order functional programming with XSLT 2.0 and FXSL. In: Extreme Markup Languages, vol. 7, Citeseer (2006)
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)
Tisi, M., Jouault, F.: ATL HOT Library (2010), http://docatlanmod.emn.fr/HOT-library/
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tisi, M., Cabot, J., Jouault, F. (2010). Improving Higher-Order Transformations Support in ATL. In: Tratt, L., Gogolla, M. (eds) Theory and Practice of Model Transformations. ICMT 2010. Lecture Notes in Computer Science, vol 6142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13688-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-13688-7_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13687-0
Online ISBN: 978-3-642-13688-7
eBook Packages: Computer ScienceComputer Science (R0)