MBSE with CORE 100821

A Complete Set of Executable Constructs (SysML Representations) I TERATE

C ONCURRENCY

S EQUENCE

M ULTIPLE -E XIT

L OOP

R EPLICATE

S ELECT

311

Nesting Behavior Constructs

S EQUENCE

C ONCURRENCY

Constructs can be assembled and nested, as desired

I TERATE

L OOP

CORE will not allow invalid structures

S ELECT

M ULTI -E XIT

Any system behavior can be specified with these seven constructs

R EPLICATE

312

MBSE with CORE