Next: State models synthesis Up: State Models Previous: Elements of a detailed Contents

Elements of a State Chart

The following shows a description of a State Chart.

**Figure 5.2:** Example of State Chart. Transitions are specified in the UML format: [*guard*]*trigger*/ $reaction_{1}$ , $\cdots$ $reaction_{n}$
$\begin{figure}\centering\epsfxsize =6.6in \epsfbox{pmsStateCh.eps} \end{figure}$

Statecharts are reactive behavior model descriptions where transitions represent complete interactions. Each transition may include a trigger event (an operation performed by an actor) and the system reactions resulting from that event. A transition may also include guards conditions that need to hold for the transition to be possible.

Stephane S. Some 2005-01-25