SysML 2.1b1 RTF Avatar
  1. OMG Issue

SYSML21 — Error in constraint deriveSatisfyRequirementUsageSatisfyingFeature

Open Closed All
  • Key: SYSML21-13
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    In the constraint deriveSatisfyRequirementUsageSatisfyingFeature, in the if condition, the subexpression

    bindings->first().relatedElement->exits(r | r <> subjectParameter)

    should be

    not bindings->first().relatedElement->exists(r | r <> subjectParameter)
  • Reported: SysML 2.0b2 — Fri, 9 May 2025 22:11 GMT
  • Updated: Thu, 11 Sep 2025 22:38 GMT