definition-variation-specialization

Available in: SysML

This checks that variation definitions do not specialize other variations.

Specification

A variation Definition may not specialize any other variation Definition.

Example

variation part def P;
variation part def D :> P; // error

Do not specialize other variations:

variation part def P;
variation part def D; // ok

Or specialize non-variations:

part def P;
variation part def D :> P; // ok