用三重图文法和eMoflon求解流图问题
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon
摘要：
经过20年的三重图文法（TGG）和许多积极维护的实现，现在需要具有挑战性的例子和成功案例来证明TGG可以用于现实世界的双向模型转换。近年来，我们的主要目标是通过提供一组实用的功能来增加TGG的表现力，这些功能允许受控的回退到编程的图形转换和Java。基于转换工具竞赛（TTC 2013）的流程图案例研究，我们提出了（i）用于表达复杂双向属性操作的属性约束，（ii）用于指定任意上下文关系的绑定表达式，以及（iii）作为TGG规则黑盒扩展的后处理方法。在每种情况下，我们讨论了保证形式属性和表达能力之间的权衡。我们的解决方案，实现了我们的元建模和模型转换工具eMoonline（www.emoflon.org），是作为一个虚拟机托管在共享。
英文摘要：
After 20 years of Triple Graph Grammars (TGGs) and numerous actively maintained implementations, there is now a need for challenging examples and success stories to show that TGGs can be used for real-world bidirectional model transformations. Our primary goal in recent years has been to increase the expressiveness of TGGs by providing a set of pragmatic features that allow a controlled fallback to programmed graph transformations and Java. Based on the Flowgraphs case study of the Transformation Tool Contest (TTC 2013), we present (i) attribute constraints used to express complex bidirectional attribute manipulation, (ii) binding expressions for specifying arbitrary context relationships, and (iii) post-processing methods as a black box extension for TGG rules. In each case, we discuss the enabled trade-off between 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
