Next: Simulator tool Up: State models synthesis based Previous: State machine synthesis Contents
UCEd generates compact State Charts from detailed State Charts. A difference between the two forms of State Charts is that a compact State Chart transition may include a trigger, a set of guards and a set of reactions. While there is a single event per transition in a detailed State Chart.
Compact State Chart generation is impossible when a detailed State Chart includes non-deterministic transitions. In order for compact State Chart generation to be possible the set of all transitions starting from a state s (including transitions from the super-states of s) should: