KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Expression::result has an incorrect subsetting

  • Key: KERML-155
  • Status: open  
  • Source: Model Driven Solutions ( Mr. 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, 9 Jan 2024 00:08 GMT