MBSE with GENESYS 073122

Nesting Behavior Constructs

S EQUENCE

C ONCURRENCY

Constructs can be assembled and nested, as desired

I TERATE

L OOP

GENESYS will not allow invalid structures

S ELECT

M ULTI -E XIT

Any system behavior can be specified with these seven constructs

R EPLICATE

313

Setting Requirements: Graphical Notation Objectives for Behavior

To show behavior graphically, the notation must • Capture process flow and control • Capture observables • Be understandable (support information hiding and abstraction) • Be executable • Preserve behavior under • Decomposition • Aggregation • Allocation

Any system can be described as a “black box” that transforms inputs to outputs, AND any system can be decomposed as “black boxes”

314

MBSE with GENESYS