SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — validateDefinitionVariationSpecialization and validateUsageVariationSpecialization OCL is wrong

Open Closed All
  • Key: SYSML2-299
  • Status: closed  
  • 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
  • Disposition: Resolved — SysML 2.0b2
  • Disposition Summary:

    Correct the OCL

    Correct the OCL for both of the identified constraints.
  • Updated: Tue, 1 Jul 2025 14:49 GMT