The occurrenceUsageSuboccurrenceSpecialization constraint in the SysML v2 specification requires that "A composite OccurrenceUsage, whose ownedType is a Class, another OccurrenceUsage, or any kind of Feature typed by a Class, must directly or indirectly specialize Occurrences::Occurrence::suboccurrences." This PR corrects the implicit specialization implementation in the OccurrenceUsageAdapter so that an OccurrenceUsage gets the proper implicit subsetting of suboccurrences whenever its owningType is an OccurrenceUsage, regardless of the direct typing of the owning OccurrenceUsage.
The
occurrenceUsageSuboccurrenceSpecializationconstraint in the SysML v2 specification requires that "A compositeOccurrenceUsage, whoseownedTypeis aClass, anotherOccurrenceUsage, or any kind ofFeaturetyped by aClass, must directly or indirectly specializeOccurrences::Occurrence::suboccurrences." This PR corrects the implicit specialization implementation in theOccurrenceUsageAdapterso that anOccurrenceUsagegets the proper implicit subsetting ofsuboccurrenceswhenever itsowningTypeis anOccurrenceUsage, regardless of the direct typing of the owningOccurrenceUsage.