vUML: a Tool for Verifying UML Models (1999)
| Citations: | 73 - 3 self |
BibTeX
@INPROCEEDINGS{Lilius99vuml:a,
author = {Johan Lilius and Ivan Porres Paltor},
title = {vUML: a Tool for Verifying UML Models},
booktitle = {},
year = {1999},
pages = {255--258},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The Unified Modelling Language (UML) is a standardised notation for describing object-oriented software designs. We present vUML, a tool that automatically verifies UML models. vUML verifies models where the behaviour of the objects is described using UML Statecharts diagrams. It supports concurrent and distributed models containing active objects and synchronous and asynchronous communication between objects. The tool uses the SPIN model checker to perform the verification, but the user does not have to know how to use SPIN or the PROMELA language. If an error is found during the veri cation, the tool creates a UML sequence diagram showing how to reproduce the error in the UML model.
