SEDec 2, 2013
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
arXiv:1312.0352v18 citations
Originality Synthesis-oriented
AI Analysis
This addresses a specific transformation case in modeling tools, but appears incremental as it applies an existing method to a new scenario.
The paper tackled the problem of transforming Petri-Nets to statecharts using UML-RSDS, resulting in a declarative solution that is confluent and invertible.
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.