Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements (bibtex)
Reference:
, "Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 141-155, Springer, 2012.
Abstract:
Triple graph grammars (TGGs) are a common formalism to specify model transformations in a relational way, creating source and target models together with their correspondences. The classical theoretical model of triple graphs is based on a morphism span from the correspondence component to the source and target components. In practice, this formalization often can not be used as for certain applications no proper morphisms between the correspondence and source or target components can be found. In this paper, we introduce TGGs as plain graph grammars with special typing which avoids an extra flattening step and is more directly suitable for implementation and formal analysis due to the more flexible and homogeneous formalization. The typing expresses that each graph can be partitioned into a source, correspondence, and target component allowing arbitrary relationships between the components. We further show that the main decomposition and composition result, which is the formal basis for correctness, completeness, consistency, and functional behavior, holds analogous to the classical approach and demonstrate that classical triple graph transformation is actually a special case – after flattening – of the more flexible one.
Links:
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser