behavior-specialization

Available in: KerML, SysML

This checks that behaviors do not specialize structures.

Specification

A Behavior must not specialize a Structure.

Example

metadata def M;
action def A :> M; // error

Instead, specialize other behaviors:

action def M;
action def A :> M; // ok