利用三元图文法和 eMoflon 解决流图案例研究
软件工程
2013-12-03 v1 编程语言
摘要
在三元图文法（TGGs）诞生 20 年且拥有众多活跃维护的实现之后，目前亟需具有挑战性的示例和成功案例，以证明 TGGs 可用于现实世界的双向模型转换。近年来，我们的主要目标是通过提供一套实用功能来增强 TGGs 的表达能力，这些功能允许受控地回退到编程式图转换和 Java。基于变换工具竞赛（TTC 2013）的流图案例研究，我们展示了：(i) 用于表达复杂双向属性操作的属性约束；(ii) 用于指定任意上下文关系的绑定表达式；以及 (iii) 作为 TGG 规则黑盒扩展的后处理方法。在每种情况下，我们都讨论了在保证形式化属性与表达能力之间所实现的权衡。我们的解决方案使用我们的元建模和模型转换工具 eMoflon (www.emoflon.org) 实现，并以托管在 Share 上的虚拟机形式提供。
引用
@article{arxiv.1312.0348,
title = {A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon},
author = {Anthony Anjorin and Marius Lauder},
journal= {arXiv preprint arXiv:1312.0348},
year = {2013}
}
备注
In Proceedings TTC 2013, arXiv:1311.7536