MBSE with GENESYS thru Dec 2024

Allocating Functions and Incomplete Specification

Are these two behavioral specifications equivalent?

525

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

526