We can now run the "gemoc" configuration.
It selects the different views related to the execution on an xDSML model.
- 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 button).
- 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.
- Gemoc Engine Status (with Stimuli Manager): the list on the running GEMOC engines. The red button stops the selected engine.
As we have not yet defined any animation for the MarkedGraph Language, there will be no animation and the graphical visualization will not change.