Abstract
Although model transformations presumably play a major role in Model-Driven Engineering, reuse mechanisms such as inheritance have received little attention so far. In this paper, we propose a comparison framework for rule inheritance in declarative model-to-model transformation languages, and provide an in-depth evaluation of three prominent representatives thereof, namely ATL, ETL (declarative subsets thereof), and TGGs. The framework provides criteria for comparison along orthogonal dimensions, covering static aspects, which indicate whether a set of inheriting transformation rules is well-formed at compile-time, and dynamic aspects, which describe how inheriting rules behave at run-time. The application of this framework to dedicated transformation languages shows that, while providing similar syntactical inheritance concepts, they exhibit different dynamic inheritance semantics and offer basic support for checking static inheritance semantics, only.
This work has been funded by the FWF under grant P21374-N13.
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
Agrawal, R., Demichiel, L.G., Lindsay, B.G.: Static Type Checking of Multi-Methods. In: Proc. of OOPSLA 1991, pp. 113–128 (1991)
Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques,and Tools. Addison-Wesley, Reading (1986)
Amiel, E., Dujardin, E.: Supporting explicit disambiguation of multi-methods. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol. 1098, pp. 167–188. Springer, Heidelberg (1996)
Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 214–228. Springer, Heidelberg (2004)
Bézivin, J.: On the Unification Power of Models. SoSyM Journal 4(2) (2005)
Chambers, C.: Object-Oriented Multi-Methods in Cecil. In: ECOOP 1992. LNCS, vol. 615, pp. 33–56. Springer, Heidelberg (1992)
Czarnecki, K., Helsen, S.: Feature-based Survey of Model Transformation Approaches. IBM Systems Journal 45(3), 621–645 (2006)
de Lara, J., Guerra, E.: Generic meta-modelling with concepts, templates and mixin layers. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 16–30. Springer, Heidelberg (2010)
Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Proc. of the Model Transformations in Practice Workshop (2005)
Klar, F., Königs, A., Schürr, A.: Model transformation in the large. In: Proc. of ESEC-FSE 2007, pp. 285–294 (2007)
Kolovos, D., Paige, R., Polack, F.: The epsilon transformation language. In: Proc. of ICMT 2008, pp. 46–60 (2008)
Liskov, B., Wing, J.M.: A new definition of the subtype relation. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 118–141. Springer, Heidelberg (2003)
Ma, H., Shao, W., Zhang, L., Ma, Z., Jiang, Y.: Applying OO metrics to assess UML meta-models. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 12–26. Springer, Heidelberg (2004)
OMG. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification (2009), http://www.omg.org/spec/QVT/1.1/Beta2/PDF/
Sakkinen, M.: Disciplined Inheritance. In: Proc. of ECOOP 1989, pp. 39–56 (1989)
Taivalsaari, A.: On the notion of inheritance. ACM Comput. Surv. 28(3), 438–479 (1996)
Varró, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 290–304. Springer, Heidelberg (2004)
Wagelaar, D., Van Der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. SoSyM Journal 9, 285–309 (2010)
Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schoenboeck, J., Schwinger, W.: Surviving the heterogeneity jungle with composite mapping operators. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 260–275. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wimmer, M. et al. (2011). A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. In: Cabot, J., Visser, E. (eds) Theory and Practice of Model Transformations. ICMT 2011. Lecture Notes in Computer Science, vol 6707. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21732-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-21732-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21731-9
Online ISBN: 978-3-642-21732-6
eBook Packages: Computer ScienceComputer Science (R0)