Abstract
Models and model transformations are the core concepts of OMG’s MDATM approach. Within this approach, most models are derived from the MOF and have a graph-based nature. In contrast, most of the current model transformations are specified textually. To enable a graphical specification of model transformation rules, this paper proposes to use triple graph grammars as declarative specification formalism. These triple graph grammars can be specified within the FUJABA tool and we argue that these rules can be more easily specified and they become more understandable and maintainable. To show the practicability of our approach, we present how to generate Tefkat rules from triple graph grammar rules, which helps to integrate triple graph grammars with a state of a art model transformation tool and shows the expressiveness of the concept.
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
OMG (The Object Managemant Group): MDA specifications,(2002-2004), http://www.omg.org/mda/specs.htm
OMG (The Object Managemant Group): OMG MOF 2.0 query, views, transformations request for proposals (QVT RFP), (2002), http://www.omg.org/techprocess/meetings/schedule/MOF2.0 , QueryViewTransf.RFP.html, http://www.omg.org/docs/ad/02-04-10.pdf
Gardner, T., Griffin, C., Koehler, J., Hauser, R.: A review of OMG MOF 2.0 Query / Views / Transformations Submissions and Recommendations towards the final Standard (2003), http://www.omg.org/docs/ad/03-08-02.pdf
Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: An algebraic approach. In: Book, R.V. (ed.) Proceedings of the 14th Annual Symposium on Switching and Automata Theory, University of Iowa, pp. 167–180. IEEE Computer Society Press, Los Alamitos (1973)
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.J., Kuske, K., Plump, D., Schürr, A., Taentzer, T.: Graph transformation for specification and programming. Science of Computer Programming 34, 1–54 (1999)
Fowler, M.: Refactoring - Improving the Design of Existing Code. Addison Wesley, Reading (1999)
Van Gorp, P., Van Eetvelde, N., Janssens, D.: Implementing refactorings as graph rewrite rules on a platform independent meta model. In: Proceedings of Fujaba Days 2003 (2003)
Mens, T., Demeyer, S., Janssens, D.: Formalising behaviour preserving program transformations. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 286–301. Springer, Heidelberg (2002)
Schürr, A., Winter, A., Zündorf, A.: Graph grammar engineering with PROGRES. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 219–234. Springer, Heidelberg (1995)
Grunske, L., Geiger, L., Zündorf, A., VanEetvelde, N., VanGorp, P., Varró, D.: Using graph transformation for practical model driven software engineering. In: Beydeda, S., Gruhn, V. (eds.) Model-driven Software Development Research and Practice in Software Engineering, vol. II, pp. 91–119 (2005) ISBN: 3-540-25613-X
Becker, S., Haase, T., Westfechtel, B., Wilhelms, J.: Integration tools supporting cooperative development processes in chemical engineering. In: Proceedings Integrated Design and Process Technology (IDPT 2002), Pasadena, California (2002)
Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. J. Comput. Syst. Sci. 64, 249–283 (2002)
Grunske, L.: Automated software architecture evolution with hypergraph transformation. In: 7th International Conference Software Engineering and Application (SEA 2003), Marina del Ray, CA, USA, pp. 613–621 (2003)
Grunske, L.: Formalizing architectural refactorings as graph transformation systems. In: Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2005), Towson, Maryland, USA, pp. 324–329. IEEE Computer Society, Los Alamitos (2005)
Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 402–439. Springer, Heidelberg (2002)
Habel, A.: Hyperedge Replacement: Grammars and Languages. LNCS, vol. 643. Springer, Heidelberg (1992)
Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences 5, 560–595 (1971)
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph transformation, Vol. 1. Foundations, vol. 1, pp. 163–246. World Scientific, Singapore (1997)
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol. 1, pp. 247–312. World Scientific, Singapore (1997)
Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26, 287–313 (1996)
FUJABA, Fujaba homepage, http://www.fujaba.de/
Schürr, A.: Specification of graph translators with triple graph grammars. In: Proceedings 20th Workshop on Graph-Theoretic Concepts in Computer Science, pp. 151–163 (1994)
DSTC/IBM/CBOP: Second revised submission for MOF 2.0 Query / Views / Transformations RFP (2004), http://www.omg.org/docs/ad/04-01-06.pdf
QVT-Partners: Revised submission for MOF 2.0 Query / Views / Transformations RFP (2003), http://www.omg.org/docs/ad/03-08-08.pdf
Jahnke, J.H.: Management of Uncertainty and Inconsistency in Database Reengineering Processes, Ph.D Thesis Uni Paderborn (2002)
Kindler, E., Rubin, V., Wagner, R.: An Adaptable TGG Interpreter for In-Memory Model Transformation. In: Schürr, A., Zündorf, A. (eds.) Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, University of Paderborn, pp. 35–38 (2004)
DSTC: Tefkat: The EMF Transformation Engine, online documentation, http://www.dstc.edu.au/tefkat/
Merks, E., Eliersick, R., Grose, T., Budinsky, F., Steinberg, D.: The Eclipse Modeling Framework. Addison Wesley, Reading (2003)
Königs, A., Schürr, A.: Multi-domain integration with mof and extended triple graph grammars. In: Proceedings of the Dagstuhl Seminar 04101, Language Engineering for Model-Driven Software Development J. Bézivin (Univ. Nantes, FR), R. Heckel (Univ. Paderborn, DE), Dagstuhl (2004)
Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Software Eng. 28, 449–462 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grunske, L., Geiger, L., Lawley, M. (2005). A Graphical Specification of Model Transformations with Triple Graph Grammars. In: Hartman, A., Kreische, D. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2005. Lecture Notes in Computer Science, vol 3748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11581741_21
Download citation
DOI: https://doi.org/10.1007/11581741_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30026-7
Online ISBN: 978-3-540-32093-7
eBook Packages: Computer ScienceComputer Science (R0)