MBSE with CORE 100821

Allocating Functions and Incomplete Specification

Are these two behavioral specifications equivalent?

505

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

506

MBSE with CORE