data-type-specialization

Available in: KerML, SysML

This checks that data types do not specialize classes or associations.

Specification

A DataType must not specialize a Class or an Association.

Example

part def P;
attribute def A :> P; // error

Instead, specialize other data types:

attribute def P;
attribute def A :> P; // ok