Where academic tradition
meets the exciting future

vUML: A Tool for Verifying UML Models

Johan Lilius, Ivan Porres, vUML: A Tool for Verifying UML Models. In: Anne Rawlinson (Ed.), The 14th IEEE International Conference on Automated Software Engineering, 255 – 258, IEEE Computer Society, 1999.

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

BibTeX entry:

@INPROCEEDINGS{pLiPo99b,
  title = {vUML: A Tool for Verifying UML Models},
  booktitle = {The 14th IEEE International Conference on Automated Software Engineering},
  author = {Lilius, Johan and Porres, Ivan},
  editor = {Rawlinson, Anne},
  publisher = {IEEE Computer Society},
  pages = {255 – 258},
  year = {1999},
  keywords = {UML, Statecharts, Modelchecking},
  ISSN = {1938-4300},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB), Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 2

Edit publication