PN2SC 案例研究:一种 EMF-IncQuery 解决方案
软件工程
2013-12-03 v1
摘要
本文介绍了使用 EMF-IncQuery 和 Xtend 实现模型转换,以解决 2013 年转换工具竞赛(Transformation Tool Contest)中 Petri 网到状态图案例研究的方案。
引用
@article{arxiv.1312.0354,
title = {PN2SC Case Study: An EMF-IncQuery solution},
author = {Benedek Izsó and Ábel Hegedüs and Gábor Bergmann and Ákos Horváth and István Ráth},
journal= {arXiv preprint arXiv:1312.0354},
year = {2013}
}
备注
In Proceedings TTC 2013, arXiv:1311.7536