Final state

The final state is an element of a state machine. When it is reached, the containing region is completed (it satisfies the completion condition). The containing state of this region is considered completed when all contained regions are completed.

A final state belongs to a region.

Symbol

A final state is shown as a circle surrounding a small solid filled circle.

images/download/attachments/2785299/final_state_symbol.png

Symbol in context

Example 1

images/download/attachments/2785299/final_state_symbol_context_1.png

  • The 'Composite state 1' is entered and becomes active (via the transition emanating from the outer initial pseudostate).

  • The states 'Simple state 1' and 'Simple state 2' are entered and become active (via the transitions emanating from the inner initial pseudostates).

  • 'Simple state 1' and 'Simple state 2' are exited and each of the regions are finished (completed) because final states are reached. Thus 'Composite state 1' is finished as well.

Example 2

images/download/attachments/2785299/final_state_symbol_context_2.png

  • The 'Composite state 1' is entered and becomes active (via the transition emanating from the initial pseudostate).

  • The states 'Simple state 1' and 'Simple state 2' are entered and become active (via the transitions emanating from the inner initial pseudostates).

  • The first region of 'Composite state 1' is finished, but the second region is not. Thus 'Composite state 1' is not finished.

Characteristics

  • A final state has no outgoing transitions.

  • A final state has no regions.

  • A final state has no behaviors (entry, exit and do).

Interpretation of and deviation from the UML specification

There is no interpretation of and deviation from the UML specification for a state machine's final state.