ePrivacy and GPDR Cookie Consent by Cookie Consent

Exit point

An exit point is an element of a state machine. An exit point pseudostate is an exit point of a composite state. The exit point changes the "enter-exit-do" sequence.

An exit point is used to join an internal transition terminating on the exit point to an external transition emanating from the exit point.

An entry point belongs to a composite state (not to a region).

Symbol

The symbol of an exit point is a circle around a cross.

The symbol of an exit point is placed on the border of the containing composite state.

images/download/attachments/2785311/exit_point_symbol.png

Symbol in context

Example 1

images/download/attachments/2785311/exit_point_symbol_context_2.png

In the example above let's consider that 'Simple state 1' and its ancestors are active. The "enter-exit-do" sequence is the following without the exit points:

  1. Transition 'T1'

    1. Simple state 'Simple state 1' is exited

    2. Composite state 'Composite state 3' is exited.

    3. 'T1' is executed.

    4. Simple state 'Simple state 2' is entered and executed.

  2. Transition 'T2'

    1. Simple state 'Simple state 2' is exited.

    2. 'Composite state 2' and 'Composite state 1' are exited.

    3. 'T2' is executed.

    4. Simple state 'Simple state 3' is entered.

Example 2

images/download/attachments/2785311/exit_point_symbol_context_1.png

In the example above let's consider that that 'Simple state 1' and its ancestors are active. The "enter-exit-do" sequence is the following with the exit points:

  1. Compound transition 'T1', 'T2'

    1. Simple state 'Simple state 1' is exited.

    2. Transition 'T1' is executed.

    3. Composite state 'Composite state 3' is exited

    4. Transition 'T2' is executed.

    5. Simple state 'Simple state 2' is entered and executed.

  2. Compound transition 'T3', 'T4'

    1. Simple state 'Simple state 2' is exited.

    2. Composite state 'Composite state 2' is exited.

    3. Transition 'T3' is executed.

    4. Composite state 'Composite state 1' is exited.

    5. Transition 'T4' is executed.

    6. Simple state 'Simple state 3' is entered and executed.

Characteristics

  • Composite states can contain multiple exit points.

  • An exit point can have multiple incoming and outgoing transitions.

  • When the exit point is contained by an orthogonal composite state, than it is handled as a join, else as a junction.

  • Exiting a composite state via an exit point implies that the exit behavior of the composite state is executed after the action of the transition incoming the exit point.