Example: Fork and Join
Fork pseudostates split an incoming Transition into two or more Transitions, terminating in Vertices in orthogonal Regions of a Composite State. The Transitions outgoing from a Fork pseudostate cannot have a guard or a trigger, and the Effect behaviors of the individual outgoing Transitions are, at least conceptually, executed concurrently.
Join pseudostates are a common target Vertex for two or more Transitions originating from Vertices in different orthogonal Regions. Join pseudostates perform a synchronization function, whereby all incoming Transitions have to complete before execution can continue through an outgoing Transition.
In this example, we demonstrate the behavior of a StateMachine with Fork and Join pseudostates.
Context of StateMachine
- Create a Class element named MyClass, which serves as the context of a StateMachine
- Right-click on MyClass in the Browser window and select the 'Add | StateMachine' option
- Add an Initial Node, a Fork, a State named State1, a Join, and a Final to the diagram
- Enlarge State1, right-click on it on the diagram and select the 'Advanced | Define Concurrent Substates | Define' option and define RegionA and RegionB
- In RegionA, define StateA1, transition to StateA2, triggered by event X
- In RegionB, define StateB1, transition to StateB2, triggered by event Y
- Draw other transitions: Initial to Fork; Fork to StateA1 and StateB1; StateA2 and StateB2 to Join; Join to Final
- Ctrl+Drag MyClass from the Browser window and drop it on the ForkNJoinSimulation Artifact as a Property; give it the name myClass
- Click on ForkNJoinSimulation and select the 'Simulate > Executable States > Statemachine > Generate, Build and Run' ribbon option
- Specify a directory for the generated source code
Note: The contents of this directory will be cleared before generation; make sure you point to a directory that exists only for StateMachine simulation purposes.
When the simulation is started, State1, StateA1 and StateB1 are active and the StateMachine is waiting for events.
Select the 'Simulate > Dynamic Simulation > Events' ribbon option to display the Simulation Events window.
On Trigger event X, StateA1 will exit and enter StateA2; after the entry and doActivity behavior has run, the completion events of StateA2 are dispatched and recalled. Then the transition from StateA2 to the Join pseudostate is enabled and traversed.
Note: Join must wait for all incoming Transitions to complete before execution can continue through an outgoing Transition. Since the branch from RegionB is not complete (because StateB1 is still active and waiting for triggers) the transition from Join to Final will not be executed at this moment.
On Trigger event Y, StateB1 will exit and enter StateB2; after the entry and doActivity behavior has run, completion events of StateB2 are dispatched and recalled. Then the transition from StateB2 to the Join pseudostate is enabled and traversed. This satisfies the criteria of all the incoming transitions of Join having completed, so the transition from Join to Final is executed. Simulation has ended.
Tips: You can view the execution trace sequence from the Simulation window ('Simulate > Dynamic Simulation > Simulator > Open Simulation Window' ribbon option).