Operation of the simulator tool

Simulation menu sub-menu Start New Simulation starts a fresh simulation session. Initially, the previous states area is empty and the current states area shows the label and characteristic conditions of the state model initial state.

Clicking on a trigger in the actors operations panel, selects the corresponding event.

If the state model doesn't include a transition triggered by the selected operation from any of the current states, the simulator displays a message and the current states remain unchanged.

If there is a transition triggered by the selected operation, its reactions are added to the System Reactions area and the current states altered to include the transition resulting state.

When a state from which there are outgoing transitions with guards is reached, the simulator prompts the User such that one of the guards is chosen.

**Figure 6.2:** Prompt for guard choice
$\begin{figure}\centering \epsfxsize =3.2in \epsfbox{ucedMultOp.eps} \end{figure}$

When a timeout triggered transition is encountered, the simulator prompts the User for a choice between letting enough time pass for the timeout or not.

**Figure 6.3:** Prompt for time delay choice.
$\begin{figure}\centering \epsfxsize =3.2in \epsfbox{ucedTCh.eps} \end{figure}$

Stephane 2007-09-03