一种符合 EMOF 标准的大图抽象语法
软件工程
2016-12-07 v1
摘要
大图是一种用于普适计算中结构建模的新兴形式化方法。除了可用于为大图提供代数语法的代数表示法外，大图理论还引入了一种直观且同时无歧义的视觉具体语法；标准视觉表示法可以定制，从而适应特定领域的需求。然而，与基于元对象设施 (MOF) 的建模标准以及模型驱动工程 (MDE) 中通常使用的领域特定语言相比，大图理论缺乏对大图建模语言抽象语法的精确定义。因此，现有的建模和分析工具使用专有格式来内部和持久地表示大图，这阻碍了模型跨工具边界的交换。此外，这些工具难以与标准 MDE 技术集成，以构建复杂的工具链和建模环境，而这对于大型系统的系统工程或促进评估大图理论在实际应用中的实验工作是必需的。为了克服这种情况，我们提出了一种符合对象管理组织 (OMG) 定义的基本 MOF (EMOF) 标准的大图抽象语法。我们使用类型图作为基于 EMOF 模型的形式基础，并提出了一种以自然方式将大图映射到类型图的规范映射。我们还讨论了基于图的大图表示中特定于应用的变化点。遵循软件产品线工程的标准技术，我们提出了一个框架来定制基于图的表示，以支持各种应用场景。
引用
@article{arxiv.1612.01638,
title = {An EMOF-Compliant Abstract Syntax for Bigraphs},
author = {Timo Kehrer and Christos Tsigkanos and Carlo Ghezzi},
journal= {arXiv preprint arXiv:1612.01638},
year = {2016}
}
备注
In Proceedings GaM 2016, arXiv:1612.01053