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

Autor:	Lano, K., Kolahdouz-Rahimi, S., Maroukian, K.
Rok vydání:	2013
Předmět:	Computer Science - Software Engineering
Zdroj:	EPTCS 135, 2013, pp. 101-105
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.135.13
Popis:	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. Comment: In Proceedings TTC 2013, arXiv:1311.7536
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1312.0352 Zobrazit plný text záznamu View this record from Arxiv