Skip to main content
Conference ProceedingsOPEN ACCESS

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

Electronic Proceedings in Theoretical Computer Science, EPTCS (2014) 150 1-7
DOI: 10.4204/EPTCS.150.1
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.

Author supplied keywords

References Powered by Scopus

Coloured Petri Nets: Modelling and validation of concurrent systems

Coloured Petri Nets: Modelling and Validation of Concurrent Systems
1199Citations
N/AReaders
Get full text

CPN tools 4: Multi-formalism and extensibility

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
38Citations
N/AReaders
Get full text

An automatic approach to model checking UML state machines

SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion
37Citations
N/AReaders
Get full text
View more at Scopus

Cited by Powered by Scopus

A new methodology for automated Petri Net generation: Method application

Reliability Engineering and System Safety
10Citations
N/AReaders
Get full text

Formal verification of UML state machine diagrams using petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
5Citations
N/AReaders
Get full text

Integration of Smart Traffic Fog Nodes and Homes through a Model Driven Approach

Proceedings of 2022 2nd International Conference on Computing and Information Technology, ICCIT 2022
2Citations
N/AReaders
Get full text
View more at Scopus

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

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

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 7

100%

Readers' Discipline

Tooltip

Computer Science 7

88%

Economics, Econometrics and Finance 1

13%

Save time finding and organizing research with Mendeley

Sign up for free