ALBCOM Seminar

Abstract: Triple graph grammars (TGGs), introduced by Schürr in 1994, are a formal and intuitive concept for the specification of bidirectional model transformations. The key advantages of TGGs are the automatic derivation of operational rules and the availability of powerful analysis techniques based on the underlying formal foundation.

This talk presents several automated techniques for the execution and analysis of model transformations based on TGGs. The first part presents an execution formalism, which closely corresponds to available implementations and ensures syntactical correctness as well as completeness of model transformations. Moreover, termination of the execution is guaranteed by static checks of non-restrictive conditions. The second part of the talk presents automated analysis techniques concerning functional behaviour and information preservation. Moreover, these techniques are used for improving efficiency of the execution by reducing and possibly eliminating the need for backtracking.