Next: Operation of the simulator Up: Use Case Editor (UCEd) Previous: State models synthesis Contents

Simulator tool

The following shows UCEd simulator tool used to simulate the current state model.

**Figure 6.1:** Simulator tool view
$\begin{figure}\centering \epsfxsize =5.4in \epsfbox{ucedSim2b.eps} \end{figure}$

The simulator includes an actor operations panel (left panel) and a simulation results panel (right panel).

The actor operations panel includes a line for each of the actor operation such that clicking on that line triggers the given operation.

The simulation results panel includes different areas.

Previous State: displays the label of the states and characteristics conditions before the latest actor operation.
System Reaction: displays all the reactions of the simulated transition. .
Current State: displays the current states labels and the current characteristic conditions holding in the system.
At the beginning of a simulation session, the current state is initially the state model initial state and the current characteristic conditions are the initial state characteristic conditions. As the simulation goes on, transitions taken change the set of characteristic conditions and current states.

Next: Operation of the simulator Up: Use Case Editor (UCEd) Previous: State models synthesis Contents

Stephane S. Some 2005-01-25