Using Meta-code Generation to Realize Higher-order Model Transformations

Thomas Buchmann, Felix Schwägerl

2013

Abstract

Model-driven engineering is a wide-spread paradigm in modern software engineering. During the last couple of years, many tools and languages have been developed, which are especially designed for model transformations — a discipline which is needed in many model-driven engineering approaches. While most of the existing model-to-model tools and languages are tailored towards batch transformations for specific model instances, they lack support for generic transformation problems, where the metamodel is unknown beforehand. In this paper we present a two-step meta-code generation approach that derives a metamodel-specific modelto- model transformation from a model-to-text transformation. The approach has been successfully applied to the problem of product derivation in model-driven software product lines.

References

  1. Arendt, T., Biermann, E., Jurack, S., Krause, C., and Taentzer, G. (2010). Henshin: Advanced concepts and tools for in-place emf model transformations. In Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), LNCS 6394, pages 121-135, Oslo, Norway.
  2. Biermann, E., Ermel, C., and Jurack, S. (2010). Modeling the ”Ecore to GenModel” transformation with EMF Henshin. In Mazanek, S., Rensink, A., and Gorp,
  3. P. V., editors, Proc. Transformation Tool Contest 2010
  4. (TTC'10).
  5. Botterweck, G., Polzer, A., and Kowalewski, S. (2009). Using higher-order transformations to derive variability mechanism for embedded systems. In Ghosh, S., editor, MoDELS Workshops, volume 6002 of Lecture Notes in Computer Science, pages 68-82. Springer.
  6. Buchmann, T. and Schwägerl, F. (2012). Ensuring wellformedness of configured domain models in modeldriven product lines based on negative variability. In Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD 7812, pages 37-44, New York, NY, USA. ACM.
  7. Buchmann, T. and Schwägerl, F. (2012). FAMILE: tool support for evolving model-driven product lines. In Störrle, H., Botterweck, G., Bourdells, M., Kolovos, D., Paige, R., Roubtsova, E., Rubin, J., and Tolvanen, J.-P., editors, Joint Proceedings of co-located Events at the 8th European Conference on Modelling Foundations and Applications, CEUR WS, pages 59-62, Building 321, DK-2800 Kongens Lyngby. Technical University of Denmark (DTU).
  8. Clements, P. and Northrop, L. (2001). Software Product Lines: Practices and Patterns. Boston, MA.
  9. Czarnecki, K. and Helsen, S. (2006). Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3):621-645.
  10. Jouault, F., Allilaire, F., Bézivin, J., and Kurtev, I. (2008). ATL: A model transformation tool. Science of Computer Programming, 72:31-39. Special Issue on Experimental Software and Toolkits (EST).
  11. Kang, K. C., Cohen, S. G., Hess, J. A., Novak, W. E., and Peterson, A. S. (1990). Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, Carnegie-Mellon University, Software Engineering Institute.
  12. Mens, T. and van Gorp, P. (2006). A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci., 152:125-142.
  13. Oldevik, J. and Haugen, Ø. (2007). Higher-order transformations for product lines. In SPLC, pages 243-254. IEEE Computer Society.
  14. OMG (2008). MOF Model to Text Transformation Language, Version 1.0. OMG, Needham, MA, formal/2008-01 edition.
  15. OMG (2011). Meta Object Facility (MOF) 2.0 Query/View/Transformation, v1.1. Object Management Group, Needham, MA, formal/2011-01-01 edition.
  16. Tisi, M., Cabot, J., and Jouault, F. (2010). Improving higher-order transformations support in ATL. In Tratt, L. and Gogolla, M., editors, ICMT, volume 6142 of Lecture Notes in Computer Science, pages 215-229. Springer.
  17. Tisi, M., Jouault, F., Fraternali, P., Ceri, S., and Bézivin, J. (2009). On the use of higher-order model transformations. In Paige, R. F., Hartman, A., and Rensink, A., editors, ECMDA-FA, volume 5562 of Lecture Notes in Computer Science, pages 18-33. Springer.
  18. Westfechtel, B. (2012). Merging of EMF models - formal foundations. Software and Systems Modeling. Online First.
Download


Paper Citation


in Harvard Style

Buchmann T. and Schwägerl F. (2013). Using Meta-code Generation to Realize Higher-order Model Transformations . In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013) ISBN 978-989-8565-68-6, pages 536-541. DOI: 10.5220/0004522305360541


in Bibtex Style

@conference{icsoft-pt13,
author={Thomas Buchmann and Felix Schwägerl},
title={Using Meta-code Generation to Realize Higher-order Model Transformations},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)},
year={2013},
pages={536-541},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004522305360541},
isbn={978-989-8565-68-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)
TI - Using Meta-code Generation to Realize Higher-order Model Transformations
SN - 978-989-8565-68-6
AU - Buchmann T.
AU - Schwägerl F.
PY - 2013
SP - 536
EP - 541
DO - 10.5220/0004522305360541