Reconciling TGGs with QVT
The Model Driven Architecture (MDA) is an approach to develop software based on different models. There are separate models for the business logic and for platform specific details. Moreover, code can be generated automatically from these models. This makes transformations a core technology for MDA. QVT (Query/View/Transformation) is the transformation technology recently proposed for this purpose by the OMG.
TGGs (Triple Graph Grammars) are another transformation technology proposed in the mid-nineties, used for example in the FUJABA CASE tool. In contrast to many other transformation technologies, both QVT and TGGs declaratively define the relation between two models. With this relation definition, a transformation engine can execute a transformation in both directions and, based on the same definition, can also propagate changes from one model to the other.
In this paper, we compare the concepts of QVT and TGGs. It turns out that TGGs and QVT have many concepts in common. In fact, fundamental parts of QVT-Core can be implemented by a TGG transformation engine. Moreover, we discuss how both technologies could profit from each other.
KeywordsMDA model based software engineering model transformation model synchronization Query/View/Transformation (QVT) Triple Graph Grammar (TGG)
Unable to display preview. Download preview PDF.
- 1.Object Management Group (OMG): Model Driven Architecture - A Technical Perspective (July 2001) (last accessed April 2, 2007), http://www.omg.org/docs/ormsc/01-07-01.pdf
- 2.Object Management Group (OMG): MOF QVT Final Adopted Specification (November 2005) (last accessed April 2, 2007), http://www.omg.org/docs/ptc/05-11-01.pdf
- 3.Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, Springer, Heidelberg (1995)Google Scholar
- 4.Wagner, R.: Developing Model Transformations with Fujaba. In: Proceedings of the 4th International Fujaba Days 2006, Bayreuth, Germany, pp. 79–82 (September 2006)Google Scholar
- 5.The MOFLON Tool Set (last accessed June 30, 2007), http://www.moflon.org
- 6.Greenyer, J.: A Study of Model Transformation Technologies - Reconciling TGGs with QVT. University of Paderborn, Department of Computer Science, Master/Diploma thesis (July 2006)Google Scholar
- 7.Gepting, A., Greenyer, J., Kindler, E., Maas, A., Munkelt, S., Pales, C., Pivl, T., Rohe, O., Rubin, V., Sander, M., Scholand, A., Wagner, C., Wagner, R.: Component Tools: A vision for a tool. In: Kindler, E. (ed.) Algorithmen und Werkzeuge für Petrinetze (AWPN) - Algorithms and Tools for Petri nets. Proceedings of the Workshop AWPN, September 30th, October 1st 2004, pp. 37–42 (2004)Google Scholar
- 8.Königs, A., Schürr, A.: MDI - a Rule-Based Multi-Document and Tool Integration Approach Special Section on Model-based Tool Integration in Journal of Software&System Modeling. Academic Press, San Diego (2006)Google Scholar
- 9.Rohe, O.: Model Transformation by Interpreting Triple Graph Grammars: Evaluation and Case Study. Bachelor thesis, University of Paderborn (January 2006)Google Scholar
- 10.The Eclipse Project: The Eclipse Modeling Framework (last accessed April 2, 2007), http://www.eclipse.org/emf/
- 11.The Eclipse Project: The Graphical Modeling Framework (last accessed April 2, 2007), http://www.eclipse.org/gmf/
- 12.Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Technical Report, University of Paderborn, Department of Computer Science (June 2007)Google Scholar
- 13.Giese, H., Glesner, S., Leitner, J., Schäfer, W., Wagner, R.: Towards Verified Model Transformations. In: MoDeV2a. Proceedings of the 3rd International Workshop on Model Development, Validation and Verification, Genova, Italy, pp. 78–93. Le Commissariat à l’Energie Atomique - CEA (October 2006)Google Scholar
- 14.Leitner, J.: Verifikation von Modelltransformationen basierend auf Triple Graph Grammatiken. Diploma thesis, University of Karlsruhe/TU Berlin (March 2006)Google Scholar