usage-variation-owned-feature-membership

Available in: SysML

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

Specification

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

Example

variation part d {
    part p; // error
}

Use variant:

variation part d {
    variant part p; // ok
}