publication . Report . Research . 2010

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version

Ulrike Golas;
Open Access English
  • Published: 01 Jan 2010
  • Publisher: TUB
Abstract
Triple 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 completeness, but functional behaviour - especially local confluence - is missing up to now. In order to close this gap we generate forward translation rules, which extend standard forward rules by translation attributes keeping track of the elements which have been translated already. In the first main result we show the equivalence of model transformations based on forward resp. forward translation rules. This way, an add...
Subjects
free text keywords: : Computer science [C05] [Engineering, computing & technology], : Sciences informatiques [C05] [Ingénierie, informatique & technologie], ddc:004
18 references, page 1 of 2

[1] H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, and G. Taentzer. Information preserving bidirectional model transformations. In M. B. Dwyer and A. Lopes, editors, Proc. FASE'07, volume 4422 of LNCS, pages 7286. Springer, 2007. [OpenAIRE]

[2] H. Ehrig, K. Ehrig, and F. Hermann. From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. In C. Ermel, J. de Lara, and R. Heckel, editors, Proc. GT-VMT'08, volume 10 of EC-EASST. EASST, 2008.

[3] H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation . EATCS Monographs. Springer, 2006.

[4] H. Ehrig, C. Ermel, and F. Hermann. On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars. In G. Karsai and G. Taentzer, editors, Proc. GraMoT'08. ACM, 2008.

[5] H. Ehrig, C. Ermel, F. Hermann, and U. Prange. On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars. In A. Schrr and B. Selic, editors, Proc. ACM/IEEE MODELS'09 , volume 5795 of LNCS, pages 241255. Springer, 2009.

[11] E. Guerra and J. de Lara. Model view management with triple graph grammars. In A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, and G. Rozenberg, editors, Proc. ICGT'06, volume 4178 of LNCS, pages 351366, Heidelberg, 2006. Springer.

[13] F. Hermann, H. Ehrig, F. Orejas, and U. Golas. Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars. In Proc. Int. Conf. on Graph Transformation . Springer, 2010. to appear. [OpenAIRE]

[14] E. Kindler and R. Wagner. Triple graph grammars: Concepts, extensions, implementations, and application scenarios. Technical Report TR-ri-07-284, Department of Computer Science, University of Paderborn, Germany, 2007.

[15] A. Knigs and A. Schrr. Tool Integration with Triple Graph Grammars - A Survey. In Proc. SegraVis School on Foundations of Visual Modelling Techniques , volume 148 of ENTCS, pages 113150. Elsevier Science, 2006.

[16] S. Lack and P. Soboci«ski. Adhesive Categories. In Proc. FOSSACS 2004 , volume 2987 of LNCS, pages 273288. Springer, 2004.

[17] M. H. A. Newman. On theories with a combinatorial denition of "equivalence". Annals of Mathematics , 43(2):223243, 1942. [OpenAIRE]

[18] F. Orejas, E. Guerra, J. de Lara, and H. Ehrig. Correctness, completeness and termination of pattern-based model-to-model transformation. In A. Kurz, M. Lenisa, and A. Tarlecki, editors, Proc. CALCO'09, volume 5728 of LNCS, pages 383397. Springer, 2009.

[19] D. Plump. Hypergraph rewriting: Critical pairs and undecidability of conuence. In Term Graph Rewriting: Theory and Practice , pages 201213. John Wiley, 1993.

[20] D. Plump. Conuence of graph transformation revisited. In Processes, Terms and Cycles: Steps on the Road to Innity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday , volume 3838 of LNCS, pages 280308. Springer, 2005. [OpenAIRE]

[21] A. Schrr. Specication of Graph Translators with Triple Graph Grammars. In G. Tinhofer, editor, Proc. WG'94, volume 903 of LNCS, pages 151163. Springer, 1994.

18 references, page 1 of 2
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Report . Research . 2010

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version

Ulrike Golas;