Expression::result has an incorrect subsetting
-
Key: KERML-155
-
Status: open
-
Source: Model Driven Solutions ( Ed Seidewitz)
-
Summary:
The Expression::result property in the KerML abstract syntax is suppose to subset Step::parameter, where Step is a superclass of Expression. However, in the normative KerML.xmi it is erroneously specified as subsetting Behavior::parameter, which is a different property than Step::parameter. Further, Behavior is not a direct or indirect superclass of Expression, so the subsetting is invalid in MOF/UML.
(Note that this error is not apparent in the specification document, because, in the annotation for subsetting, the subsetted parameter is shown without qualification – e.g., just parameter, not Behavior::parameter.)
-
Reported: API4KP 1.0b2 — Thu, 24 Aug 2023 03:01 GMT
-
Updated: Tue, 5 Sep 2023 19:07 GMT