A part usage nested in (owned by) an occurrence and declared nonunique must be a referential «ref part» (that subsets the nonunique Parts::parts) not a composite «ref part» (that subsets the UNIQUE Items::Item::subparts), otherwise it fails this constraint:
validateSubsettingUniquenessConformanceIf
'If the subsettedFeature of a Subsetting has isUnique = true, then the subsettingFeature must have isUnique = true.'
subsettedFeature.isUnique implies subsettingFeature.isUnique
For a full explanation visit:
Note that this does not apply to part usages owned directly by a package (which is not an occurrence), since such part usages are referential anyway.
Webel does the detailed do's and don'ts SysMLv2 analysis for you and provides clear modelling solutions that work!
To learn SysMLv2 with easy-to-follow, fully worked examples attend a Webel SysMLv2 Workshop Seminar group course or learn at your own pace with the Webel SysMLv2 Online course with self-test Quizzes:
