A Comparison of Different Statecharts Semantics
Zheng Liu · 2005
Since introduced by Harel in 1987, Statechart has become a popular notion for specifying (complex) reactive systems. The most important part of Statecharts semantics is step, which defines how a Statechart is executed step by step, and the difference of step semantic may induce different executing result to the same test model. The authors have compared three important Statechart variants with logic (development) of step (semantic). The description clearly expresses the differences of ability and idea of three Statecharts.