The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML
behavioral state machines are used for modeling the dynamic behavior of object-oriented …

Each software modeling tool typically supports only a few tasks among model creation,
simulation, debugging, analysis, transformation, deployment, and monitoring. Therefore …

In this paper, we present experience feedback on the use of animation and debugging tools
to build, improve, and verify a UML model of the Paxos consensus algorithm. The need for …

Model verification techniques, such as model checking, generally require relatively
advanced expertise. They are therefore typically used in applications where their usefulness …