Block Statements within Transitions
Within a transition, you can use any statements, namely :
We'll now mention specificities :
- When using a communication "input port(value);" statement in a transition body, this transition will be launched when and only when such an input is given to the designated port.
- When using a guarded "guard(boolean);" statement in a transition body, the transition will be evaluated if and only if the computed boolean is true.
- ...