Title :
vUML: a tool for verifying UML models
Author :
Lilius, Johan ; Paltor, Iván Porres
Author_Institution :
Turku Centre for Comput. Sci., Finland
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;
Conference_Titel :
Automated Software Engineering, 1999. 14th IEEE International Conference on.
Conference_Location :
Cocoa Beach, FL
Print_ISBN :
0-7695-0415-9
DOI :
10.1109/ASE.1999.802301
