Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-38613-8_23
Title: A formal semantics for complete uml state machines with communications
Authors: Liu, S.
Liu, Y.
André, E.
Choppy, C.
Sun, J.
Wadhwa, B. 
Dong, J.S. 
Issue Date: 2013
Citation: Liu, S.,Liu, Y.,André, E.,Choppy, C.,Sun, J.,Wadhwa, B.,Dong, J.S. (2013). A formal semantics for complete uml state machines with communications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7940 LNCS : 331-346. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-38613-8_23
Abstract: UML is a widely used notation, and formalizing its semantics is an important issue. Here, we concentrate on formalizing UML state machines, used to express the dynamic behaviour of software systems. We propose a formal operational semantics covering all features of the latest version (2.4.1) of UML state machines specification. We use labelled transition systems as the semantic model, so as to use automatic verification techniques like model checking. Furthermore, our proposed semantics includes synchronous and asynchronous communications between state machines. We implement our approach in USM2C, a model checker supporting editing, simulation and automatic verification of UML state machines. Experiments show the effectiveness of our approach. © 2013 Springer-Verlag Berlin Heidelberg.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/77953
ISBN: 9783642386121
ISSN: 03029743
DOI: 10.1007/978-3-642-38613-8_23
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

15
checked on Nov 16, 2018

Page view(s)

52
checked on Nov 16, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.