-
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 if the implied BindingConnector will be null. This means that the checkConnectorTypeFeaturing constraint for cannot be satisfied for the BindingConnector as specified.
-
Reported: KerML 1.0b2 — Wed, 7 May 2025 22:46 GMT
-
Updated: Fri, 20 Jun 2025 19:32 GMT
KERML11 — checkConnectorTypeFeaturing fails on implied BindingConnector of a FeatureReferenceExpression
- Key: KERML11-8
- OMG Task Force: Kernel Modeling Language (KerML) 1.1 RTF