-
Key: KERML_-117
-
Status: open
-
Source: Dassault Systemes ( Mr. Tomas Juknevicius)
-
Summary:
Pilot implementation creates implied Subsetting for SelectExpression::result, but there is nothing in the spec for this situation. There is no information in semantic chapter “8.3.4.8.15 SelectExpression”, no formal constraint. Is that a miss in the spec?
-
Reported: KerML 1.0b2 — Mon, 28 Oct 2024 07:39 GMT
-
Updated: Tue, 24 Dec 2024 17:40 GMT
KERML_ — InvocationExpresion::result specialization
- Key: KERML_-117
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2