SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — validateOccurrenceUsageIndividualDefinition OCL is wrong

Open Closed All
  • Key: SYSML2-302
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The OCL for the constraint validateOccurrenceUsageIndividualDefinition is

    occurrenceDefinition->select(isIndividual).size() <= 1

    However, the type of OccurrenceUsage::occurrenceDefinition is actually Class, not OccurrenceDefinition, but the property isIndividual is only defined on OccurrenceDefinition.
  • Reported: SysML 2.0b1 — Fri, 14 Jul 2023 18:26 GMT
  • Disposition: Resolved — SysML 2.0b2
  • Disposition Summary:

    Correct the OCL

    Correct the OCL to only check for OccurrenceDefinitions that are individual definitions.
  • Updated: Tue, 1 Jul 2025 14:49 GMT