Abstract
Model-Driven Engineering is on its way to become the new software development paradigm, where model transformations are considered as a key technology to close the gap between specification and implementation. Several model transformation approaches and corresponding languages have been developed in the past years. Most of these approaches are metamodel-based, thus require knowledge of implementation details of modeling languages, which in contrast is not necessary for defining domain models in their concrete syntax. Therefore, Model Transformation By-Example (MTBE) approaches have been proposed for defining mappings between domain models from which model transformations are derived. However, until today no tool support for MTBE has been developed.
The contribution of this paper is the presentation of MTBE concepts necessary for deriving general model transformations based on metamodels from user-defined mappings between example models. More specifically, we describe a model mapping language and a metamodel mapping language, as well as reasoning algorithms to infer metamodel mappings from model mappings. Furthermore, we report on how MTBE concepts have been integrated into existing state-of-the-art graphical modeling and model transformation frameworks and give a critical discussion based on a case study.
This work has been partly funded by the Austrian Federal Ministry of Transport, Innovation and Technology (BMVIT) and FFG under grant FIT-IT-810806.0.
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.
References
Budinsky, F., Steinberg, D., Raymond, E.M., Timothy, E., Grose, J.: Eclipse Modeling Framework. Addison Wesley (August 2003)
Ceri, S., Fraternalia, P., Bongio, A., Bramilla, M., Comai, S., Matera, M.: Designing Data-Intensive Web Applications. Morgan-Kaufmann (2003)
Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621–645 (2006)
Ehring, H., Engels, G., Kreowsky, H.-J., Rozenberg, G.: Handbook on Graph Grammars and Computing by Graph Transformation. World Scientific (1999)
Fabro, M.D.D., Bézivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: A Generic Model Weaver. In: Proc. of the 1re Journe sur l’Ingnierie Dirige par les Modles (IDM 2005) (2005)
Fabro, M.D.D., Valduriez, P.: Semi-automatic Model Integration using Matching Transformations and Weaving Models. In: Proc. of the ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea (2007)
Fleurey, F., Baudry, B., Muller, P.-A., Traon, Y.L.: Qualifying input test data for model transformations. Software and Systems Modeling (2007)
Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: Proc. of ACM Symposium on Applied Computing (SAC 2006), Bourgogne, France (2006)
Kappel, G., Kapsammer, E., Kargl, H., Kramler, G., Reiter, T., Retschitzegger, W., Schwinger, W., Wimmer, M.: Lifting Metamodels to Ontologies - A Step to the Semantic Integration of Modeling Languages. In: Proc. of the ACM/IEEE 9th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML 2006), Genova, Italy (2006)
Lechner, S.: Web-scheme Transformers By-Example. PhD thesis, Johannes Kepler University Linz (2004)
Mens, T., Gorp, P.V.: A Taxonomy of Model Transformation. Electr. Notes Theor. Comput. Sci. 152, 125–142 (2006)
Repenning, A., Perrone, C.: Programming By Example: Programming by Analogous Examples. Commun. ACM 43(3), 90–97 (2000)
Strommer, M., Murzek, M., Wimmer, M.: Applying Model Transformation By-Example on Business Process Modeling Languages. In: Proc. of ER 2007 Workshops, Auckland, New Zealand (2007)
Varró, D.: Model Transformation By Example. In: Proc. of the ACM/IEEE 9th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML 2006), Genova, Italy (October 2006)
Varró, D., Balogh, Z.: Automating Model Transformation by Example Using Inductive Logic Programming. In: Proc. of ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea (2007)
Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards Model Transformation Generation By-Example. In: Proc. of the 40th Hawaii Int. Conf. on Systems Science (HICSS 2007), Big Island, USA (2007)
Zloof, M.M.: Query By Example. In: Proc. of National Compute Conference (NCC 1975) (1975)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Strommer, M., Wimmer, M. (2008). A Framework for Model Transformation By-Example: Concepts and Tool Support. In: Paige, R.F., Meyer, B. (eds) Objects, Components, Models and Patterns. TOOLS EUROPE 2008. Lecture Notes in Business Information Processing, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69824-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-69824-1_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69823-4
Online ISBN: 978-3-540-69824-1
eBook Packages: Computer ScienceComputer Science (R0)