DocumentCode
3286491
Title
vUML: a tool for verifying UML models
Author
Lilius, Johan ; Paltor, Iván Porres
Author_Institution
Turku Centre for Comput. Sci., Finland
fYear
1999
fDate
36434
Firstpage
255
Lastpage
258
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
automatic programming; object-oriented programming; program verification; PROMELA language; SPIN model checker; UML Statecharts diagrams; UML model verification; UML sequence diagram; Unified Modelling Language; automatic verification; object oriented software designs; standardised notation; vUML; Computer science; Counting circuits; Electrical capacitance tomography; Error analysis; Object oriented modeling; Software systems; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 1999. 14th IEEE International Conference on.
Conference_Location
Cocoa Beach, FL
Print_ISBN
0-7695-0415-9
Type
conf
DOI
10.1109/ASE.1999.802301
Filename
802301
Link To Document