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
%0 Conference Proceedings
%1 hong_95_static
%A Hong, Hyoung S.
%A Kim, Jeong H.
%A Cha, Sung D.
%A Kwon, Yong R.
%D 1995
%J Computer Software and Applications Conference, 1995. COMPSAC 95.
%K 1995 semantics statecharts
%P 114--120
%R 10.1109/CMPSAC.1995.524768
%T Static semantics and priority schemes for statecharts
%U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=524768
%X 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
@proceedings{hong_95_static,
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},
added-at = {2007-04-16T14:13:14.000+0200},
author = {Hong, Hyoung S. and Kim, Jeong H. and Cha, Sung D. and Kwon, Yong R.},
biburl = {https://www.bibsonomy.org/bibtex/2ec78b032db19e56f4ea5b1ada49790bc/vvladeg},
citeulike-article-id = {889621},
doi = {10.1109/CMPSAC.1995.524768},
interhash = {136a426187b5f59df770b80fd02d6e48},
intrahash = {ec78b032db19e56f4ea5b1ada49790bc},
journal = {Computer Software and Applications Conference, 1995. COMPSAC 95.},
keywords = {1995 semantics statecharts},
pages = {114--120},
priority = {4},
timestamp = {2007-09-07T09:55:35.000+0200},
title = {Static semantics and priority schemes for statecharts},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=524768},
year = 1995
}