On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars

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

Volumn 5795 LNCS, Issue , 2009, Pages 241-255

  Ehrig, Hartmut ^a   Ermel, Claudia ^a   Hermann, Frank ^a   Prange, Ulrike ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Correctness; Model transformation; Triple graph grammars

Indexed keywords

AUTOMATIC DERIVATION; BIDIRECTIONAL MODEL TRANSFORMATION; CLASS DIAGRAMS; DATABASE MODELS; FORMAL DEFINITION; MODEL TRANSFORMATION; NEGATIVE APPLICATION CONDITIONS; ON-THE-FLY; PARTIAL-ORDER REDUCTION; TRIPLE GRAPH GRAMMARS;

CONTEXT SENSITIVE GRAMMARS; EMBEDDED SYSTEMS; FORMAL LANGUAGES; GRAPH THEORY; LINGUISTICS; SPECIFICATIONS;

MODELS;

EID: 77249156973     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_18     Document Type: Conference Paper

References (19)

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. Schürr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411-425. Springer, Heidelberg (2008)
3. Königs, A., Schürr, A.: Tool Integration with Triple Graph Grammars - A Survey. ENTCS 148, 113-150 (2006)
4. Guerra, E., de Lara, J.: Attributed Typed Triple Graph Transformation with Inheritance in the Double Pushout Approach. Technical Report UC3M-TR-CS-2006-00, Universidad Carlos III, Madrid (2006)
5. Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovsky, T., Prange, U., Varro, D., Varro-Gyapay, S.: Model Transformation by Graph Transformation: A Comparative Study. In: Proc. WMTP 2005 (2005)
6. Guerra, E., de Lara, J.: Model View Management with Triple Graph Grammars. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 351-366. Springer, Heidelberg (2006)
7. Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Technical Report TR-ri-07-284, Universität Paderborn (2007)
8. 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)
9. Ehrig, H., Ermel, C., Hermann, F.: On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars. In: Karsai, G., Taentzer, G. (eds.) Proc. of GraMoT 2008. ACM, New York (2008)
10. Ehrig, H., Hermann, F., Sartorius, C.: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electronic Communications of the EASST 18 (to appear, 2009)
11. Ehrig, H., Prange, U.: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 178-193. Springer, Heidelberg (2008)
12. Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. Electronic Communications of the EASST 10, 1-14 (2008)
13. Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol. 1032. Springer, Heidelberg (1996)
14. Ehrig, H., Ermel, C., Hermann, F., Prange, U.: On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version. Technical Report 2009-11, TU Berlin (2009),
15. http ://www.eecs.tu-berlin.de/menue/forschung/forschungsberichte/
16. Ehrig, H., et al: Fundamentals of Algebraic Graph Transformation. EATCS Monographs. Springer, Heidelberg (2006)
17. de Lara, J., Guerra, E.: Pattern-based model-to-model transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 426-441. Springer, Heidelberg (2008)
18. Brandt, C., Hermann, F., Engel, T.: Security and Consistency of IT and Business Models at Credit Suisse realized by Graph Constraints, Transformation and Integration using Algebraic Graph Theory. In: Proc. of EMMSAD 2009. LNBIP, vol. 29, pp. 339-352. Springer, Heidelberg (2009)
19. TFS-group, TU Berlin: AGG (2009), http://tfs.cs.tu-berlin.de/agg