Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
Software Engineering
2013-12-03 v1
Abstract
This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.
Cite
@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}
}
Comments
In Proceedings TTC 2013, arXiv:1311.7536