Static semantics and priority schemes for statecharts

Hyoung Seok Hong, Jeong Hyun Kim, Sung Deok Cha, Yong Rae Kwon

Research output: Contribution to journalConference articlepeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Pages (from-to)114-120
Number of pages7
JournalProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Publication statusPublished - 1995
Externally publishedYes
EventProceedings of the 19th Annual International Computer Software and Applications Conference COMPSAC '95 - Dallas, TX, USA
Duration: 1995 Aug 91995 Aug 11

ASJC Scopus subject areas

  • Software
  • Computer Science Applications


Dive into the research topics of 'Static semantics and priority schemes for statecharts'. Together they form a unique fingerprint.

Cite this