MBSE with GENESYS 040323

Allocating Functions and Incomplete Specification, cont.

When we allocate, we must account for every line “cut” Triggers replace cut control lines to coordinate across processes

513

Seeing the Problem of Non-Unique Allocation

514

MBSE with GENESYS