search

Systems-Modeling / SysML-v2-Pilot-Implementation

Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
GNU Lesser General Public License v3.0
114 stars 23 forks source link

ST6RI-741 Model-library/example-related issues from SysML v2 FTF Ballot #11 #543

Closed seidewitz closed 4 months ago

seidewitz commented 4 months ago

This PR implements resolutions of issues from SysML v2 FTF Ballot 11 that called for updates to library models.

Resolution of the following issue is implemented in this PR:

In addition, the .meta.json and .project.json files in the model library directories have been updated to reflect the new normative SysML URI https://www.omg.org/spec/SysML/240201 and the versions have been updated to 2.0.0-beta2. KerML library projects are now required to be version 1.0.0-beta2, as will be implemented in PR #541.

conradbock commented 4 months ago

Reminds me we couldn't add intersections in the SysML libs, eg, VerificationCases::subVerificationCases.