Efficient analysis and execution of correct and complete model transformations based on Triple Graph Grammars

ACM International Conference Proceeding Series

Volumn , Issue , 2010, Pages 22-31

  Hermann, Frank ^a   Ehrig, Hartmut ^a   Golas, Ulrike ^a   Orejas, Fernando ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Functional behaviour; Model transformation; Triple Graph Grammars

Indexed keywords

BIDIRECTIONAL MODEL TRANSFORMATION; CLASS DIAGRAMS; EFFICIENT ANALYSIS; FUNCTIONAL BEHAVIOUR; MODEL TRANSFORMATION; NEGATIVE APPLICATION CONDITIONS; RELATIONAL DATABASE MODEL; TRIPLE GRAPH GRAMMARS;

CESIUM; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; GRAPH THEORY; INTEROPERABILITY; SPECIFICATIONS;

BEHAVIORAL RESEARCH;

EID: 78649767238     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1866272.1866277     Document Type: Conference Paper

References (23)

1. Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. In: Ermel, C., de Lara, J., Heckel, R. (eds.) Proc. GT-VMT'08. EC-EASST, vol. 10. EASST (2008).
2. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs, Springer (2006).
3. 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. GraMoT'08. ACM (2008).
4. 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.) Proc. ACM/IEEE M0DELS'09. LNCS, vol. 5795, pp. 241-255. Springer (2009).
5. 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.) Proc. ICGT'08. LNCS, vol. 5214, pp. 178-193. Springer (2008).
6. Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Dwyer, M.B., Lopes, A. (eds.) Proc. FASE'07. LNCS, vol. 4422, pp. 72-86. Springer (2007).
7. Ehrig, H., Hermann, F., Sartorius, C.: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. In: Heckel, R., Boronat, A. (eds.) Proc. GT-VMT'09. EC-EASST, vol. 18. EASST (2009).
8. Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1), 21-43 (2009).
9. Golas, U., Ehrig, H., Hermann, F.: Enhancing the Expressiveness of Formal Specifications for Model Transformations by Triple Graph Grammars with Application Conditions. In: Proc. Int. Workshop on Graph Computation Models (GCM'10) (2010).
10. Guerra, E., de Lara, J.: Attributed typed triple graph transformation with inheritance in the double pushout approach. Tech. Rep. UC3M-TR-CS-2006-00, Universidad Carlos III, Madrid, Spain (2006).
11. Guerra, E., de Lara, J.: Model view management with triple graph grammars. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) Proc. ICGT'06. LNCS, vol. 4178, pp. 351-366. Springer (2006).
12. Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science 19, 1-52 (2009).
13. Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -Extended Version. Tech. Rep. 2010-8, TU Berlin, Fak. IV (2010).
14. Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version. Tech. Rep. 2010-13, TU Berlin, Fak. IV (2010).
15. Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars. In: Proc. Int. Conf. on Graph Transformation (ICGT'10). LNCS, vol. 6372, pp. 155-170. Springer (2010).
16. Kindler, E., Wagner, R.: Triple graph grammars: Concepts, extensions, implementations, and application scenarios. Tech. Rep. TR-ri-07-284, Department of Computer Science, University of Paderborn, Germany (2007).
17. Königs, A., Schurr, A.: Tool Integration with Triple Graph Grammars - A Survey. In: Proc. SegraVis School on Foundations of Visual Modelling Techniques. ENTCS, vol. 148, pp. 113-150. Elsevier Science (2006).
18. Lambers, L.: Certifying Rule-Based Models using Graph Transformation. Ph.D. thesis, Technische Universität Berlin (November 2009).
19. Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Tinhofer, G. (ed.) Proc. WG'94. LNCS, vol. 903, pp. 151-163. Springer (1994).
20. Schürr, A., Klar, F.: 15 years of triple graph grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Proc. ICGT'08. pp. 411-425. LNCS, Springer (2008).
21. Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Geis̈, R., Horvath, A., Kniemeyer, O., Mens, T., Ness, B., Plump, D., Vajk, T.: Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) Proc. AGTIVE'07. LNCS, vol. 5088, pp. 514 - 539. Springer (2008).
22. 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. MoDELS 2005 Workshop MTiP'05 (2005).
23. TFS-Group, TU Berlin: AGG (2009), http://tfs.cs.tu-berlin.de/agg.