arXiv Open Access 2013

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

K. Lano S. Kolahdouz-Rahimi K. Maroukian

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.SE

Penulis (3)

K. Lano

S. Kolahdouz-Rahimi

K. Maroukian

Format Sitasi

APA MLA BibTeX

Lano, K., Kolahdouz-Rahimi, S., Maroukian, K. (2013). Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. https://arxiv.org/abs/1312.0352

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2013
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓