DocumentCode
2212930
Title
Equivalence checking of two Statechart specifications
Author
Park, Myung-Hwan ; Bang, Ki-Seok ; Choi, Jin-Young ; Kang, Inhye
Author_Institution
Dept. of Comput. Sci. Eng., Korea Univ., Seoul, South Korea
fYear
2000
fDate
2000
Firstpage
46
Lastpage
51
Abstract
In this paper we give a process algebraic semantics for Statechart via a translation into algebra of communicating shared resources (ACSR). Also, we propose a formal verification method for Statechart specifications by showing an equivalence relationship between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra
Keywords
formal specification; process algebra; specification languages; visual languages; Statechart specifications; algebra of communicating shared resources; equivalence checking; formal verification method; graphical language; process algebraic semantics; Aerospace electronics; Algebra; Broadcasting; Computer science; Concurrent computing; Educational institutions; Formal verification; Programming profession; Protocols; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Rapid System Prototyping, 2000. RSP 2000. Proceedings. 11th International Workshop on
Conference_Location
Paris
ISSN
1074-6005
Print_ISBN
0-7695-0668-2
Type
conf
DOI
10.1109/IWRSP.2000.855185
Filename
855185
Link To Document