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

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

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.

In Pieter Van Gorp, Louis M. Rose and Christian Krause: Proceedings Sixth Transformation Tool Contest (TTC 2013), Budapest, Hungary, 19-20 June, 2013, Electronic Proceedings in Theoretical Computer Science 135, pp. 101–105.
Published: 29th November 2013.

ArXived at: bibtex PDF

Comments and questions to:
For website issues: