SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — VerificationCase::subVerificationCases is typed incorrectly

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

    In the Systems Model Library file VerificationCases.sysml, the feature VerificationCase::subVerificationCases is declared as having the type Case. It should instead be VerificationCase. (Note that this is actually specified correctly in the SysML Specification document, 9.2.16.2.2 VerificationCase.)
  • Reported: SysML 2.0b1 — Tue, 9 Jan 2024 00:04 GMT
  • Disposition: Resolved — SysML 2.0b2
  • Disposition Summary:

    Correct the declaration of subVerificationCases

    The typing of subVerificationCases should be corrected in VerificationCases.sysml.
  • Updated: Tue, 1 Jul 2025 14:51 GMT