MBSE with Genesys 093022

Recognizing All States of Our System

311

Key Semantics of State Transition Diagrams

• States

• Shown as rounded rectangles • Indicate state name plus

• entry – functions invoked when state entered • exit – functions invoked when state left • do – functions (preferably root function) executed while in the state

• Transitions

• Lines connecting states • Reflect valid transition paths

312

MBSE with GENESYS