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

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

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.

Related collections

Author and article information

Journal

Publication date Created: 02 December 2013

Article

DOI: 10.4204/EPTCS.135.13

ArXiV ID: 1312.0352

SO-VID: baa3efa5-dd62-4f0d-a184-c3fd6e713c60

License:

http://arxiv.org/licenses/nonexclusive-distrib/1.0/

History

Custom metadata

Journal reference EPTCS 135, 2013, pp. 101-105

Comments In Proceedings TTC 2013, arXiv:1311.7536

Categories cs.SE

Proxy EPTCS

Data availability:

Comments

Comment on this article

scite_