2003
Other
Open Access
UMC User Guide (version 2.5)
Mazzanti F
UML On-the-fly model checking Mu-calculus ACTL
In this paper we describe in detail the functionalities of UMC, a new tool for the exploration, analisys and on-the-fly model checking of the dynamic behaviour of UML models. Models are described as collections of communicating objects. Objects belong to classes, whose dynamic behaviour is described by statecharts. The logic supported by the tool is an extension of mu-ACTL and has the power of full mu-calculus.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:160090,
title = {UMC User Guide (version 2.5)},
author = {Mazzanti F},
year = {2003}
}CNR authorsLaboratories
0000-0003-4562-8777