A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon

摘要

After 20 years of Triple Graph Grammars (TGGs) and numerous activelymaintained implementations, there is now a need for challenging examples andsuccess stories to show that TGGs can be used for real-world bidirectionalmodel transformations. Our primary goal in recent years has been to increasethe expressiveness of TGGs by providing a set of pragmatic features that allowa controlled fallback to programmed graph transformations and Java. Based on the Flowgraphs case study of the Transformation Tool Contest (TTC2013), we present (i) attribute constraints used to express complexbidirectional attribute manipulation, (ii) binding expressions for specifyingarbitrary context relationships, and (iii) post-processing methods as a blackbox extension for TGG rules. In each case, we discuss the enabled trade-offbetween guaranteed formal properties and expressiveness. Our solution,implemented with our metamodelling and model transformation tool eMoflon(www.emoflon.org), is available as a virtual machine hosted on Share.