SYSML2 — OCL errors in specialization constraints

There are errors in the OCL for the following specialization constraints:

8.3.12.5 PortDefinition

checkPortDefinitionSpecialization – specializeFromLibrary should be specializesFromLibrary

8.3.16.7 DecisionNode

checkDecisionNodeOutgoingSuccessionSpecialization – this should be self

8.3.16.10 IfActionUsage

checkIfActionUsageSpecialization – specifiesFromLibrary should be specializesFromLibrary (two instances)

8.3.16.13 MergeNode

checkMergeNodeIncomingSuccessionSpecialization – this should be self

8.3.21.3 CaseUsage

checkCaseUsageSpecialization – specializeFromLibrary should be specializesFromLibrary

8.3.23.4 VerificationCaseUsage

checkVerificationCaseUsageSubVerificationCaseSpecialization – The OCL is incomplete, missing the implied specializesFromLibrary

8.3.25.6 RenderingUsage

checkRenderingUsageSpecialization – specializeFromLibrary should be specializesFromLibrary