subsetting-uniqueness-conformance

Available in: KerML, SysML

This checks that unique features are only subsetted by other unique features.

Specification

If the subsetted_feature of a Subsetting has is_unique = true, then the subsetting_feature must have is_unique = true.

Example

part def A { attribute a; }
part def B :> A {
    attribute b :> a nonunique; // error
}

Instead, remove nonunique from the subsetting feature:

part def A { attribute a; }
part def B :> A {
    attribute b :> a; // ok
}