Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS

Authors: K. Lano (King's College London), S. Kolahdouz-Rahimi (King's College London), K. Maroukian (King's College London)

EPTCS 135, 2013, pp. 101-105

arXiv: 1312.0352v1 - DOI (cs.SE)

In Proceedings TTC 2013, arXiv:1311.7536

License: NONEXCLUSIVE-DISTRIB 1.0

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.

Submitted to arXiv on 02 Dec. 2013

Explore the paper tree

Click on the tree nodes to be redirected to a given paper and access their summaries and virtual assistant

Also access our AI generated Summaries, or ask questions about this paper to our AI assistant.

Look for similar papers (in beta version)

By clicking on the button above, our algorithm will scan all papers in our database to find the closest based on the contents of the full papers and not just on metadata. Please note that it only works for papers that we have generated summaries for and you can rerun it from time to time to get a more accurate result while our database grows.