Chapter 7
Semantics

Overview

What Are Semantics?

• Event broadcasting
• Processing states
• Processing transitions
• Taking transition paths

List of Semantic Examples

Contents of Section "Transitions to and from Exclusive (OR) States"

• "Example: Processing of One Event"
• "Example: Processing of a Second Event"
• "Example: Processing of a Third Event"
• "Example: Transition from a Substate to a Substate"

Contents of Section "Condition Actions"

• "Example: Actions Specified as Condition Actions"
• "Example: Actions Specified as Condition and Transition Actions"
• "Example: Using Condition Actions in For Loop Construct"
• "Example: Using Condition Actions to Broadcast Events to Parallel (AND) States"
• "Example: Cyclic Behavior to Avoid When Using Condition Actions"

Contents of Section "Default Transitions"

• "Example: Default Transition in an Exclusive (OR) Decomposition"
• "Example: Default Transition to a Junction"
• "Example: Default Transition and a History Junction"
• "Example: Labeled Default Transitions"

Contents of Section "Inner Transitions"

• "Example: Processing One Event Within an Exclusive (OR) State"
• "Example: Processing a Second Event Within an Exclusive (OR) State"
• "Example: Processing a Third Event Within an Exclusive (OR) State"
• "Example: Processing One Event with an Inner Transition to a Connective Junction"
• "Example: Processing a Second Event with an Inner Transition to a Connective Junction"
• "Example: Inner Transition to a History Junction"

Contents of Section "Connective Junctions"

• "Example: If-Then-Else Decision Construct"
• "Example: Self Loop"
• "Example: For Loop Construct"
• "Example: Flow Diagram Notation"
• "Example: Transitions from a Common Source to Multiple Destinations"
• "Example: Transitions from Multiple Sources to a Common Destination"
• "Example: Transitions from a Source to a Destination Based on a Common Event"

Contents of Section "Event Actions"

• "Example: Event Actions and Superstates"

Contents of Section "Parallel (AND) States"

• "Example: Event Broadcast State Action"
• "Example: Event Broadcast Transition Action (Nested Event Broadcast)"
• "Example: Event Broadcast Condition Action"

Contents of Section "Directed Event Broadcasting"

• "Example: Directed Event Broadcast Using send"
• "Example: Directed Event Broadcasting Using Qualified Event Names"