SysML 2.0 FTF Avatar
  1. OMG Issue

SYSML2 — validateDefinitionVariationSpecialization and validateUsageVariationSpecialization OCL is wrong

Open Closed All
  • Key: SYSML2-299
  • Status: open  
  • Source: Model Driven Solutions ( Ed Seidewitz)
  • Summary:

    The OCL for both of the constraints validateDefinitionVariationSpecialization and validateUsageVariationSpecialization is:

    isVariation implies
    not ownedSpecialization.specific->exists(isVariation)

    These constraints should be checking Specialization::general, not Specialization::specific. In addition, the type of both specific and general is Type, which doesn't have an isVariation property. Only Definition and Usage types have such a property.
  • Reported: SysML 2.0b1 — Fri, 14 Jul 2023 15:50 GMT
  • Updated: Fri, 20 Oct 2023 13:04 GMT