On the Semantics Research of Statecharts
Jun Qian · 2001
Statecharts, a visual language for specifying the behavior of complex reactive systems, is analyzed in the paper. The complexity of these systems make it difficult to give a precise semantics for statecharts. Therefore,though much effort towards a formal semantics for statecharts has been made , there is still much ambiguity for the semantics of statecharts. A discussion on the semantics for statecharts is explored in the paper.