2003
Report
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.
Source: ISTI Technical reports, 2003
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:160090,
title = {UMC User Guide (version 2.5)},
author = {Mazzanti F.},
institution = {ISTI Technical reports, 2003},
year = {2003}
}CNR authorsLaboratories
0000-0003-4562-8777