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
%0 Conference Paper
%1 lilius_99_vuml
%A Lilius, J.
%A Paltor, I. P.
%D 1999
%J Automated Software Engineering, 1999. 14th IEEE International Conference on.
%K verification 1999 uml
%P 255--258
%R 10.1109/ASE.1999.802301
%T vUML: a tool for verifying UML models
%U http://dx.doi.org/10.1109/ASE.1999.802301
%X 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
@inproceedings{lilius_99_vuml,
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},
added-at = {2009-02-12T11:08:25.000+0100},
author = {Lilius, J. and Paltor, I. P.},
biburl = {https://www.bibsonomy.org/bibtex/2c819bccccc303e5358f502fe077e226c/leonardo},
citeulike-article-id = {895430},
doi = {10.1109/ASE.1999.802301},
interhash = {4da42f950ab9e5ce647ac5df9a718ec4},
intrahash = {c819bccccc303e5358f502fe077e226c},
journal = {Automated Software Engineering, 1999. 14th IEEE International Conference on.},
keywords = {verification 1999 uml},
pages = {255--258},
posted-at = {2006-10-13 14:29:36},
priority = {2},
timestamp = {2009-02-12T11:08:25.000+0100},
title = {vUML: a tool for verifying UML models},
url = {http://dx.doi.org/10.1109/ASE.1999.802301},
year = 1999
}