MBSE with Genesys 120222

Allocating Functions and Incomplete Specification

Are these two behavioral specifications equivalent?

513

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

514

MBSE with GENESYS