definition-variation-owned-feature-membership

Available in: SysML

This checks that variation definitions have no owned features. variants are member features and are allowed.

Specification

If a Definition is a variation, then it must not have any owned_feature_memberships.

Example

variation part def D {
    part p; // error
}

Use variant:

variation part def D {
    variant part p; // ok
}