vUML: a tool for verifying UML models
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 255-258
- https://doi.org/10.1109/ase.1999.802301
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 where the behaviour of the objects is described using UML Statecharts diagrams. 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 verification, the tool creates a UML sequence diagram showing how to reproduce the error in the model.Keywords
This publication has 3 references indexed in Scilit:
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Computer-aided verificationIEEE Spectrum, 1996
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977