DocumentCode
3379171
Title
Static semantics and priority schemes for statecharts
Author
Hong, Hyoung Seok ; Kim, Jeong Hyun ; Cha, Sung Deok ; Kwon, Yong Rae
Author_Institution
Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea
fYear
1995
fDate
9-11 Aug 1995
Firstpage
114
Lastpage
120
Abstract
A statechart is an extended form of conventional finite state machines for specifying reactive systems. Though the graphical syntax of statecharts has been defined, there remain concepts that are still ambiguous or need to be improved. In this paper, we formally define static semantics of statecharts. And we identify the types of nondeterminism in statecharts and give alternative ways of representing priority
Keywords
finite state machines; formal specification; finite state machines; formal specification; reactive systems; state priority schemes; statecharts; static semantics; Automata; Broadcasting; Computer languages; Computer science; Concurrent computing; Contracts; Formal specifications; Lighting control; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1995. COMPSAC 95. Proceedings., Nineteenth Annual International
Conference_Location
Dallas, TX
ISSN
0730-3157
Print_ISBN
0-8186-7119-X
Type
conf
DOI
10.1109/CMPSAC.1995.524768
Filename
524768
Link To Document