Frank Hermann
Hartmut Ehrig
ABSTRACT
Triple Graph Grammars are a well-established, formal and intuitive concept for the specification and analysis of bidirectional model transformations. In previous work we have formalized and analyzed already termination, correctness, completeness, local confluence and functional behaviour.
In this paper, we show how to improve the efficiency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs). In addition to specification NACs, which improve the specification of model transformations, the generation of filter NACs improves the efficiency of the execution and the analysis of functional behaviour supported by critical pair analysis of the tool AGG. We illustrate the results for the well-known model transformation from class diagrams to relational database models.
- }}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)Google Scholar
- }}Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs, Springer (2006) Google ScholarDigital Library
- }}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) Google ScholarDigital Library
- }}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 MODELS'09. LNCS, vol. 5795, pp. 241--255. Springer (2009) Google ScholarDigital Library
- }}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) Google ScholarDigital Library
- }}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) Google ScholarDigital Library
- }}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)Google Scholar
- }}Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1), 21--43 (2009)Google ScholarCross Ref
- }}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)Google Scholar
- }}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)Google Scholar
- }}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) Google ScholarDigital Library
- }}Habel, A., Pennemann, K. H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science 19, 1--52 (2009) Google ScholarDigital Library
- }}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)Google Scholar
- }}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)Google Scholar
- }}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) Google ScholarDigital Library
- }}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)Google Scholar
- }}Königs, A., Schürr, 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) Google ScholarDigital Library
- }}Lambers, L.: Certifying Rule-Based Models using Graph Transformation. Ph.D. thesis, Technische Universität Berlin (November 2009)Google Scholar
- }}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) Google ScholarDigital Library
- }}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) Google ScholarDigital Library
- }}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) Google ScholarDigital Library
- }}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)Google Scholar
- }}TFS-Group, TU Berlin: AGG (2009), http://tfs.cs.tu-berlin.de/aggGoogle Scholar
Index Terms
- Efficient analysis and execution of correct and complete model transformations based on triple graph grammars
Recommendations
Formal analysis of functional behaviour for model transformations based on triple graph grammars
ICGT'10: Proceedings of the 5th international conference on Graph transformationsTriple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations like termination, correctness and ...
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
MODELS '09: Proceedings of the 12th International Conference on Model Driven Engineering Languages and SystemsTriple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rules for bidirectional model transformations, which simplifies specification ...
On the relationship of model transformations based on triple and plain graph grammars
GRaMoT '08: Proceedings of the third international workshop on Graph and model transformationsTriple graph grammars have been applied and implemented as a formal basis for model transformations in a variety of application areas. They convince by special abilities in automatic derivation of forward, backward and several other transformations out ...
Comments