SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — validateDefinitionVariationSpecialization and validateUsageVariationSpecialization OCL is wrong

Open Closed All
  • Key: SYSML2-299
  • Status: open  
  • Source: Model Driven Solutions ( Mr. 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: Mon, 8 Apr 2024 18:21 GMT