-
Key: SYSML2-634
-
Status: open
-
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
-
Updated: Mon, 8 Apr 2024 18:20 GMT
SYSML2 — VerificationCase::subVerificationCases is typed incorrectly
- Key: SYSML2-634
- OMG Task Force: Systems Modeling Language (SysML) 2.0 FTF