SysML 2.1b1 RTF Avatar
  1. OMG Issue

SYSML21 — Confusion over what verify-requirement-node represents and when it should be used

Open Closed All
  • Key: SYSML21-629
  • Status: open  
  • Source: UNICOM Systems ( Mark Gregory)
  • Summary: 
    usage-node =| verification
verification = usage shape with parameters containing verification-name-compartment
verification-name-compartment =
    '«' OccurrenceUsagePrefix 'verification' '»'
    usage-name-with-alias

    This is present in the overview in 7.24.1 so I understand what this represents, a VerificationCaseUsage.

    verify-requirement-node = usage shape containing verify-requirement-name-compartment
verify-requirement-name-compartment =
    '«' OccurrenceUsagePrefix 'verify' 'requirement' '»'
    usage-name-with-alias
usage-node |= verify-requirement-node

    This is not present in the overview section 7.24.1.
    If this also represents a VerificationCaseUsage then I need to know what determines this presentation other than some additional property I add to support it.
  • Reported: SysML 2.0 — Fri, 15 May 2026 10:23 GMT
  • Updated: Sat, 23 May 2026 20:36 GMT