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-722 Model library updates from KerML FTF Ballot #3 #520

Closed seidewitz closed 7 months ago

seidewitz commented 7 months ago

This PR implements resolutions of issues from KerML FTF Ballot 3 that called for updates to library models.

Resolutions of the following issues are implemented in this PR:

* Note. Checks have not been implemented for the new constraints validateStructureSpecialization and validateBehaviorSpecialization added in the resolution to issue KERML-43, pending the resolution of issue SYSML2-592.

Resolutions of the following issues were previously implemented in PR #504:

Resolutions of the following issues did not require any update to the library model files:

conradbock commented 7 months ago
seidewitz commented 7 months ago

@conradbock