Reconciling TGGs with QVT

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4735 LNCS, Issue , 2007, Pages 16-30

  Greenyer, Joel ^a   Kindler, Ekkart ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

MDA; Model based software engineering; Model synchronization; Model transformation; Query View Transformation (QVT); Triple Graph Grammar (TGG)

Indexed keywords

FORMAL LOGIC; QUERY LANGUAGES; SOFTWARE ARCHITECTURE;

MODEL BASED SOFTWARE ENGINEERING; MODEL SYNCHRONIZATION; TRIPLE GRAPH GRAMMAR (TGG);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 38049038810     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75209-7_2     Document Type: Conference Paper

References (14)

1. nd of April 2007), http://www.omg.org/docs/ormscV01-07-01.pdf
2. nd of April 2007), http://www.omg.org/docs/ptc/05-11-01.pdf
3. Schurr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, B.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, Springer, Heidelberg (1995)
4. Wagner, R.: Developing Model Transformations with Fujaba. In: Proceedings of the 4th International Fujaba Days 2006, Bayreuth, Germany, pp. 79-82 (September 2006)
5. th of June 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)
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)
8. Königs, A., Schurr, 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)
9. Rohe, O.: Model Transformation by Interpreting Triple Graph Grammars: Evaluation and Case Study. Bachelor thesis, University of Paderborn (January 2006)
10. The Eclipse Project: The Eclipse Modeling Framework (last accessed 2nd of April 2007), http://www.eclipse.org/emf/
11. The Eclipse Project: The Graphical Modeling Framework (last accessed 2nd of April 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)
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)
14. Leitner, J.: Verifikation von Modelltransformationen basierend auf Triple Graph Grammatiken. Diploma thesis, University of Karlsruhe/TU Berlin (March 2006)