Formal analysis of model transformations based on triple graph rules with kernels

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

Volumn 5214 LNCS, Issue , 2008, Pages 178-193

  Ehrig, Hartmut ^a   Prange, Ulrike ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; TARGETS; TRAJECTORIES;

ACTIVITY DIAGRAMS; CONNECTION GRAPHS; FORMAL ANALYSIS; FORWARD TRANSFORMATIONS; MODEL TRANSFORMATIONS; SOURCE MODELS; SUFFICIENT CONDITIONS; TARGET MODELS; TRIPLE GRAPH TRANSFORMATIONS;

GRAPH THEORY;

EID: 56449125050     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87405-8_13     Document Type: Conference Paper

References (12)

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. Aschenbrenner, N., Geiger, L.: Transforming Scene Graphs Using Triple Graph Grammars - A Practice Report. In: Proceedings of AGTIVE 2007 (2007)
3. Guerra, E.. de Lara, J.: Model View Management with Triple Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 351-366. Springer, Heidelberg (2006)
4. 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)
5. Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) EASE 2007. LNCS, vol. 4422, pp. 72-86. Springer, Heidelberg (2007)
6. Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration Based on the Algebraic Approach to Triple Graph Grammars. ECEASST (to appear, 2008)
7. Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Technical Report tr-ri-07-284, University of Paderborn (2007)
8. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs. Springer, Heidelberg (2006)
9. OMG: Unified Modeling Language, version 2.1.1 (2006)
10. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
11. Bisztray, D., Ehrig, K., Heckel, R.: Case Study: UML to CSP Transformation. In: AGTIVE 2007 Graph Transformation Tool Contest (2007)
12. Lambers, L.: Adhesive High-Level Replacement Systems with Negative Application Conditions. Technical Report 2007/14, TU Berlin (2007)