SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — Enumeration definitions VerdictKind and VerificationMethodKind are missing from specification document

Open Closed All
  • Key: SYSML2-554
  • Status: closed  
  • Source: INCOSE ( Mr. Sanford A. Friedenthal)
  • Summary:

    The enumeration definitions VerdictKind and VerificationMethodKind, which are in the normative Systems Model Library package VerificationCases, are missing from Systems Model Library subclause 9.2.16 Verification Cases in the SysML Specification.
  • Reported: SysML 2.0b1 — Wed, 22 Nov 2023 18:58 GMT
  • Disposition: Resolved — SysML 2.0b2
  • Disposition Summary:

    Add VerdictKind and VerificationMethodKind to the specification document

    Documentation for VerdictKind and VerificationMethodKind needs to be added to the SysML Specification document.
  • Updated: Tue, 1 Jul 2025 14:51 GMT