usage-variation-specialization

Available in: SysML

This checks that variation usages do not specialize other variations.

Specification

A variation Usage may not specialize any variation Definition or Usage.

Example

variation part def P;
variation part d : P; // error

Do not specialize other variations:

variation part def P;
variation part d; // ok

Or specialize non-variations:

part def P;
variation part d : P; // ok