-
Key: KERML11-8
-
Status: open
-
Source: Model Driven Solutions ( Mr. Ed Seidewitz)
-
Summary:
The semantic constraint checkFeatureReferenceExpressionBindingConnector requires that a FeatureReferenceExpression have an implied BindingConnector between its referent and its result. However, since the FeatureReferenceExpression owns its result parameter, but the referent will be outside the expression, the defaultFeaturingType of the implied BindingConnector will be null. This means that the checkConnectorTypeFeaturing constraint cannot be satisfied for the BindingConnector as specified.
-
Reported: KerML 1.0b2 — Wed, 7 May 2025 22:46 GMT
-
Updated: Thu, 11 Sep 2025 20:31 GMT
KERML11 — checkConnectorTypeFeaturing fails on implied BindingConnector of a FeatureReferenceExpression
- Key: KERML11-8
- OMG Task Force: Kernel Modeling Language (KerML) 1.1 RTF