Please use this identifier to cite or link to this item: https://doi.org/10.1145/2491411.2494595
Title: USMMC: A self-contained model checker for UML state machines
Authors: Liu, S.
Liu, Y.
Sun, J.
Zheng, M.
Wadhwa, B. 
Dong, J.S. 
Keywords: Model checking
Semantics
UML state machines
Issue Date: 2013
Source: Liu, S.,Liu, Y.,Sun, J.,Zheng, M.,Wadhwa, B.,Dong, J.S. (2013). USMMC: A self-contained model checker for UML state machines. 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings : 623-626. ScholarBank@NUS Repository. https://doi.org/10.1145/2491411.2494595
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.
Source Title: 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings
URI: http://scholarbank.nus.edu.sg/handle/10635/78419
ISBN: 9781450322379
DOI: 10.1145/2491411.2494595
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

4
checked on Feb 20, 2018

Page view(s)

39
checked on Feb 16, 2018

Google ScholarTM

Check

Altmetric


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