MBSE with GENESYS 073122

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

303

Key Semantics of State Transition Diagrams, cont.

• Triggering events for transitions • Guard conditions (in brackets) • Type

• Call – EventName (condition) • Signal – EventName (condition) • Change – when condition

• Absolute Time – at condition • Relative Time – after condition • Service function for transition • Related behavior shown after triggering event information

Additional information available in Chapter 11 of A Practical Guide to SysML

304

MBSE with GENESYS