MBSE with GENESYS Oct 2023

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

317

Mapping State Transition Diagrams

Level of Detail: Medium Audience: System and software engineers Content: System states and the corresponding transitions Use: Insight into the system by taking an orthogonal look at behavior

318

MBSE with GENESYS