Efficient analysis and execution of correct and complete model transformations based on triple graph grammars

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.