SysML 2.0b4 FTF Avatar
  1. OMG Issue

SYSML2_ — VerificationKind should be VerificationMethodKind

Open Closed All
  • Key: SYSML2_-426
  • Status: closed  
  • Source: oose Innovative Informatik eG ( Mr. Tim Weilkiens)
  • Summary:

    In Clause 7.23.2, the first textual notation example includes

    metadata VerificationMethod {
  kind = VerificationKind::test;
}

    But it should be

    metadata VerificationMethod {
  kind = VerificationMethodKind::test;
}
  • Reported: SysML 2.0b2 — Thu, 26 Dec 2024 16:35 GMT
  • Disposition: Resolved — SysML 2.0b4
  • Disposition Summary:

    Correct verification case example.

    Agreed.
  • Updated: Sat, 19 Jul 2025 19:25 GMT