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
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;
Conference_Titel :
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the
Print_ISBN :
0-7695-2125-8
DOI :
10.1109/ECBS.2004.1316717
