Categories of Semantic Examples

Transition from State to State with Events

Transition from a Substate to a Substate with Events

Condition Action Behavior

Condition and Transition Action Behavior

Create Condition Actions Using a For-Loop

Broadcast Events to Parallel (AND) States Using Condition Actions

Avoid Cyclic Behavior

Default Transition in Exclusive (OR) Decomposition

Default Transition to a Junction

Default Transition and a History Junction

Labeled Default Transitions

Process One Event in an Exclusive (OR) State

Process a Second Event in an Exclusive (OR) State

Process a Third Event in an Exclusive (OR) State

Process the First Event with an Inner Transition to a Connective Junction

Process a Second Event with an Inner Transition to a Connective Junction

Inner Transition to a History Junction

If-Then-Else Decision Construct

Self-Loop Transition

For-Loop Construct

Flow Chart Notation

Transition from a Common Source to Multiple Destinations

Transition from Multiple Sources to a Common Destination

Transition from a Source to a Destination Based on a Common Event

Broadcast Events in State Actions

Broadcast Events in Transition Actions

Broadcast Events in Condition Actions

Directed Event Broadcast Using Send

Directed Event Broadcast Using Qualified Event Name