SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — OCL errors in specialization constraints

Open Closed All
  • Key: SYSML2-210
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    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
  • Reported: SystemsModelingAPI 1.0b1 — Fri, 19 May 2023 21:31 GMT
  • Disposition: Resolved — SysML 2.0b2
  • Disposition Summary:

    Correct the OCL

    Agreed.
  • Updated: Tue, 1 Jul 2025 14:49 GMT