DocumentCode
3226141
Title
Symbolic model checking of UML statechart diagrams with an integrated approach
Author
Lam, Vitus S W ; Padget, Julian
Author_Institution
Dept. of Comput. Sci., Bath Univ., UK
fYear
2004
fDate
24-27 May 2004
Firstpage
337
Lastpage
346
Abstract
This paper puts forward a new approach for the specification and verification of finite state systems. The design of a system is first specified in UML statechart diagrams, then formalized in the πcalculus and finally verified automatically by NuSMV. We demonstrate an application of the proposed approach using the SET/A protocol as an example.
Keywords
Unified Modeling Language; diagrams; finite state machines; formal specification; formal verification; pi calculus; πcalculus; SET/A protocol; UML statechart diagram; Unified Modeling Language; finite state system; formal specification; formal verification; symbolic model checking; Application software; Computer industry; Computer science; Concurrent computing; Mathematical model; Protocols; Software standards; Software tools; Unified modeling language; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
Print_ISBN
0-7695-2125-8
Type
conf
DOI
10.1109/ECBS.2004.1316717
Filename
1316717
Link To Document