Efficient analysis and execution of correct and complete model transformations based on triple graph grammars
Frank Hermann, Hartmut Ehrig, Ulrike Golas, Fernando Orejas · 2010
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.