SysML 2.0 FTF Avatar
  1. OMG Issue

SYSML2 — validateOccurrenceUsageIndividualDefinition OCL is wrong

Open Closed All
  • Key: SYSML2-302
  • Status: open  
  • Source: Model Driven Solutions ( 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
  • Updated: Tue, 12 Sep 2023 01:00 GMT