Petri 网到状态图的转换案例
编程语言
2013-12-03 v1
摘要
本文描述了第六届转换工具竞赛（Transformation Tool Contest）的一个案例研究。该案例基于从 Petri 网到状态图（即从扁平过程模型到层次化模型）的映射。案例描述将简单的映射阶段与涉及逐步销毁 Petri 网元素并相应构建状态图元素层次结构的阶段区分开来。虽然本案例研究的重点是比较解决方案的运行时性能，但我们也包含了正确性测试以及用于评估转换语言和工具特性的附加标准。
引用
@article{arxiv.1312.0342,
title = {The Petri-Nets to Statecharts Transformation Case},
author = {Pieter Van Gorp and Louis M. Rose},
journal= {arXiv preprint arXiv:1312.0342},
year = {2013}
}
备注
In Proceedings TTC 2013, arXiv:1311.7536