The most basic Go command is the GoStep. The GoStep causes the simulation to attempt to advance one step
1.
|
From the Simulation Execution menu, select Go > GoStep or click  . The result is entrance of the statechart into its default states of S1 and X1.
|
2.
|
From the Simulation Monitor generate E1 by selecting the value cell with the left mouse button. An X appears in the value column indicating that the event is generated and is an input for the next step.
|
3.
|
Select another GoStep.
The transition from state S1 to state S2 is taken because the trigger E1 was present during this step. The default transition into state S21 is also taken. The transition from state X1 to state X2 is taken because the trigger E1 was present during this step. The action of generating event E2 also occurred as a result of the transition from X1 to X2.
|
4.
|
Select Analyze > Show. The Show Change dialog box opens on your screen. The Show Change dialog box lists all the changes that occurred in the model during the last step.
|
5.
|
Select Future. The Show Future dialog box opens. The Show Future dialog box displays all events and actions scheduled to occur in the future.
|
The transition from state X1 to X2 is made when E1 is generated, that, in turn, generates the event E2. The timeout event, tm(E2, VAR1), shown in the Show Future dialog box, was scheduled based on the generation of E2. E2 is still pending and requires another GoStep to allow the model to react to it. Also the timeout event, tm(en(s2), 5) was scheduled based on the fact that the system entered the state S2.
6.
|
Select Automatic Update. This allows you to observe all changes related to scheduled timeouts as the changes occur.
|
7.
|
From the Simulation Execution menu, select Go > GoStep or click GoStep. E2 has occurred but no transition is directly depending on it so the system remains in states S21 and X2.
|