Extended triple graph grammars with efficient and compatible graph translators

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

Volumn 5765 LNCS, Issue , 2010, Pages 141-174

  Klar, Felix ^a   Lauder, Marius ^a   Königs, Alexander ^a   Schürr, Andy ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

bidirectional model transformation; dangling edge condition; negative application conditions; triple graph grammars

Indexed keywords

BIDIRECTIONAL MODEL TRANSFORMATION; DANGLING EDGE CONDITION; INPUT GRAPHS; LANGUAGE TRANSLATORS; MODEL-BASED; MODELING LANGUAGES; NEGATIVE APPLICATION CONDITIONS; PARSING ALGORITHM; REAL-WORLD SCENARIO; RUN TIME COMPLEXITY; SOFTWARE DEVELOPMENT PROCESS; TRANSLATION RULES; TRIPLE GRAPH GRAMMARS; TWO-GRAPHS;

CONTEXT SENSITIVE GRAMMARS; DATA STRUCTURES; FORMAL LANGUAGES; GRAPH THEORY; SCHEDULING ALGORITHMS; SOFTWARE DESIGN;

TRANSLATION (LANGUAGES);

EID: 78649494742     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17322-6_8     Document Type: Conference Paper

References (24)

1. 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, pp. 151-163. Springer, Heidelberg (1995)
2. Kleppe, A., Warmer, J., Bast, W.: MDA Explained. Addison-Wesley, Reading (2003)
3. OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, v1.0. (April 2008), http://www.omg.org/spec/QVT/1.0/
4. Taentzer, G., et al.: Model Transformation by Graph Transformation. In: Model Transformation in Practice (MTiP 2005), Workshop at MODELS 2005 (2005)
5. Schürr, A., Klar, F.: 15 Years of Triple Graph Grammars-Research Challenges, New Contributions, Open Problems. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411-425. Springer, Heidelberg (2008)
6. Bruel, J.-M. (ed.): Satellite Events at the MoDELS 2005 Conference. LNCS, vol. 3844. Springer, Heidelberg (2006)
7. Zündorf, A.: Rigorous Object Oriented Software Development. University ofPader-born, Habilitation Thesis (2001)
8. Königs, A.: Model Integration and Transformation-A Triple Graph Grammar-based QVT Implementation. PhD thesis, TU Darmstadt (2009)
9. Rekers, J., Schürr, A.: Defining and Parsing Visual Languages with Layered Graph Grammars. Journal ofVisual Languages and Computing 8(1), 27-55 (1997)
10. Ehrig, H., Ermel, C., Hermann, F., Prange, U.: On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 241-255. Springer, Heidelberg (2009)
11. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Series. Springer, Heidelberg (2006)
12. Heckel, R., Cherchago, A.: Structural and behavioural compatibility ofgraphical service specifications. J. Log. Algebr. Program. 70(1), 15-33 (2007)
13. Lefering, M.: Software document integration using graph grammar specifications. In: 6th International Conference on Computing and Information. Journal of Com-puting and Information, vol. 1, pp. 1222-1243 (1994)
14. Jahnke, J., Schäfer, W., Zündorf, A.: A design environment for migrating relational to object oriented database systems. In: 12th International Conference on Software Maintenance (ICSM 1996), pp. 163-170 (1996)
15. Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543-557. Springer, Heidelberg (2006)
16. Habel, A., Heckel, R., Taentzer, G.: Graph Grammars with Negative Application Conditions. Fundamenta Informaticae 26(3-4), 287-313 (1996)
17. Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, Extensions, Imple-mentations, and Application Scenarios. Technical Report tr-ri-07-284, Department of Computer Science, University of Paderborn, Germany (2007)
18. Grunske, L., Geiger, L., Lawley, M.: Graphical Specification ofModel Transforma-tions with Triple Graph Grammars. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 284-298. Springer, Heidelberg (2005)
19. Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72-86. Springer, Heidelberg (2007)
20. Ehrig, H., Hermann, F., Sartorius, C.: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Con-ditions. ECEASST 18 (2009)
21. Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing query/view/transformation with triple graph grammars. Software and Systems Modeling (2009)
22. Czarnecki, K., Foster, J., Hu, Z., Lämmel, R., Schürr, A., Terwilliger, J.: Bidirec-tional Transformations: A Cross-Discipline Perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 260-283. Springer, Heidelberg (2009)
23. Heckel, R., Küster, J.M., Taentzer, G.: Confluence of Typed Attributed Graph Transformation Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161-176. Springer, Heidelberg (2002)
24. Rensink, A.: Explicit State Model Checking for Graph Grammars. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 114-132. Springer, Heidelberg (2008)