structure-specialization

Available in: KerML, SysML

This checks that structures do not specialize behaviours.

Specification

A Structure must not specialize a Behavior.

Example

calc def C;
item def I :> C; // error

Instead, specialize other classes or structures:

part def C;
item def I :> C; // ok