Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
8-2013
Abstract
UML diagrams are gaining increasing usage in Object-Oriented system designs. UML state machines are specifically used in modeling dynamic behaviors of classes. It has been widely agreed that verification of system designs at an early stage will dramatically reduce the development cost. Tool support for verification UML designs can also encourage consistent usage of UML diagrams throughout the software development procedure. In this work, we present a tool, named USMMC, which turns model checking of UML state machines into practice. USMMC is a self-contained toolkit, which provides editing, interactive simulation as well as powerful model checking support for UML state machines. The evaluation results show the effectiveness and scalability of our tool.
Keywords
UML state machines, model checking, semantics
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, Saint Petersburg, Russia, August 18-26
First Page
623
Last Page
626
ISBN
9781450322379
Identifier
10.1145/2491411.2494595
Publisher
ACM
City or Country
Saint Petersburg, Russia
Citation
LIU, Shuang; LIU, Yang; SUN, Jun; ZHENG, Manchun; WADHWA, Bimlesh; and DONG, Jin Song.
USMMC: A self-contained model checker for UML state machines. (2013). Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, Saint Petersburg, Russia, August 18-26. 623-626.
Available at: https://ink.library.smu.edu.sg/sis_research/5010
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1145/2491411.2494595