5.6. Launch the execution of the model
We can now run the "gemoc" configuration.
It selects the different views related to the execution on an xDSML model.
Figure 5.8. The wikipedia model is just started
- Logical Steps Decider (top left): the list of the logical steps that may be
selected at this execution step. For each step, the trigerred MSE are
displayed on the left and the associated EF on the right. The stimuli
manager can be used to stop the GEMOC engine, and thus the execution (red
Figure 5.9. Logical Steps Decider
- Stimuli Manager (bottom left): the list of MSE.
- Console (bottom right): several consoles are available. The displayed
one is the "Modeling Workbench Console" which reports that the GEMOC Execution
has benne started. Change it to the "Default MessagingSystem Console" (click
on the arrow near the console symbol). Clear it.
Figure 5.10. Change the displayed console
- Gemoc Engine Status (with Stimuli Manager): the list on the running GEMOC
engines. The red button stops the selected engine.
Figure 5.11. Gemoc Engine Status
As we have not yet defined any animation for the MarkedGraph Language, there will be no animation and the graphical visualization will not change.