Scifaro

中文

利用 UML-RSDS 解决 Petri 网到状态图的转换案例

软件工程 2013-12-03 v1

作者: K. Lano , S. Kolahdouz-Rahimi , K. Maroukian

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本文提供了利用 UML-RSDS 解决 Petri 网到状态图案例的方案。我们展示了如何使用该方法给出一个高度声明式、具有合流性且可逆的解决方案。

关键词

Petri 网状态图 UML-RSDS 模型转换声明式方法合流性可逆性

引用

@article{arxiv.1312.0352,
  title  = {Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS},
  author = {K. Lano and S. Kolahdouz-Rahimi and K. Maroukian},
  journal= {arXiv preprint arXiv:1312.0352},
  year   = {2013}
}

备注

In Proceedings TTC 2013, arXiv:1311.7536