Translating UML state machines to coloured petri nets using acceleo: A report

5Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.

Abstract

UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking techniques that could guarantee the system safety. In a former work, we proposed a formalisation of non-concurrent UML state machines using coloured Petri nets, so as to allow for formal verification. In this paper, we report our experience to implement this translation in an automated manner using the model-totext transformation tool Acceleo. Whereas Acceleo provides interesting features that facilitated our translation process, it also suffers from limitations uneasy to overcome.

Cite

CITATION STYLE

APA

André, É., Benmoussa, M. M., & Choppy, C. (2014). Translating UML state machines to coloured petri nets using acceleo: A report. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 150, pp. 1–7). Open Publishing Association. https://doi.org/10.4204/EPTCS.150.1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free