kirancodes.me
To Proof Maintenance & Beyond!
FSE 2013

USMMC: a self-contained model checker for UML state machines

Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong

Full textDOI 10.1145/2491411.2494595dblp

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.

BibTeX
@inproceedings{Liu-al:FSE13,
  author    = {Shuang Liu and
               Yang Liu and
               Jun Sun and
               Manchun Zheng and
               Bimlesh Wadhwa and
               Jin Song Dong},
  title     = {{USMMC:} a self-contained model checker for {UML} state machines},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {623--626},
  publisher = {{ACM}},
  year      = {2013},
}

Related papers