-
Key: KERML11-70
-
Status: open
-
Source: Model Driven Solutions ( Mr. Ed Seidewitz)
-
Summary:
Both of the constraints checkFeatureChainExpressionSourceTargetRedefinition and checkFeatureChainExpressionTargetRedefinition have OCL that starts with
let sourceParameter : Feature = .... However, the rest of the OCL uses the name sourceTargetFeature. In both cases, the name declared in the let clause should be sourceTargetFeature. -
Reported: KerML 1.0b2 — Thu, 3 Jul 2025 19:34 GMT
-
Updated: Thu, 3 Jul 2025 19:34 GMT
KERML11 — FeatureChainExpression semantic constraint OCL is wrong
- Key: KERML11-70
- OMG Task Force: Kernel Modeling Language (KerML) 1.1 RTF