MBSE with GENESYS Oct 2023

Recognizing All States of Our System

315

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

316

MBSE with GENESYS