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

Authors:
Shuang Liu;Yang Liu;Jun Sun;Manchun Zheng;Bimlesh Wadhwa;Jin Song Dong
Affiliations:
National University of Singapore, Singapore;Nanyang Technological University, Singapore;Singapore University of Technology and Design, Singapore;Singapore University of Technology and Design, Singapore;National University of Singapore, Singapore;National University of Singapore, Singapore
Venue:
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Year:
2013

Citing 12
Cited 1

Executable Object Modeling with Statecharts

Computer
A Toolset for Supporting UML Static and Dynamic Model Checking

COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Model Checking UML Statechart Diagrams Using JACK

HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
vUML: A Tool for Verifying UML Models

ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Specifying behavioral semantics of UML diagrams through graph transformations

Journal of Systems and Software
PAT: Towards Flexible Verification under Fairness

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
UML Automatic Verification Tool with Formal Methods

Electronic Notes in Theoretical Computer Science (ENTCS)
An Automatic Approach to Model Checking UML State Machines

SSIRI-C '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
UML model interchange in heterogeneous tool environments: an analysis of adoptions of XMI 2

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
29 new unclarities in the semantics of UML 2.0 state machines

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
More anti-chain based refinement checking

ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
UML in practice

Proceedings of the 2013 International Conference on Software Engineering

A formal verification framework for SysML activity diagrams

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

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.