State Machines

State Machines illustrate how an element (often a Class) can move between states, classifying its behavior according to transition triggers and constraining guards.

Naming:

  • State Machines were formerly known as State diagrams
  • State Machine representations in UML are based on the Harel State Chart Notation and therefore are sometimes referred to as State Charts

State Tables:

You can display a State Machine as a diagram, or as a table in one of three relationship formats.

How to:

To select the display format, follow the steps below:

Step

Action

See Also

1

Right-click on the diagram background to display the context menu

 

2

Select the Statechart Editor option

 

3

Select the appropriate display option:

  • Diagram
  • Table (State-Next State)
  • Table (State-Trigger)
  • Table (Trigger-State)

 

Example Diagram:     Example State Machine Diagram

Tools:  

Select State Machine elements and connectors from the State pages of the Toolbox; click on the elements and connectors below for more information.

State Machine Diagram Elements

State Machine Diagram Connectors

e_State

c_Transition

e_statemachine

c_ObjectFlow

e_Initial

 

e_Final

 

e_History

 

e_Synch

 

e_Object

 

e_Choice

 

e_Junction

 

e_Entry

 

e_Exit

 

e_Terminate

 

c_ForkJoinAcross

 

c_ForkJoinUp

 

Learn More: