KerML 1.0b3 FTF Avatar
  1. OMG Issue

KERML_ — OCL for checkFeatureParameterRedefinition is wrong

Open Closed All
  • Key: KERML_-59
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The description of the checkFeatureParameterRedefinition constraint is

    If a Feature is a parameter of an owningType that is a Behavior or Step, other than the result parameter (if any), then, for each direct supertype of its owningType that is also a Behavior or Step, it must redefine the parameter at the same position, if any.

    However, the OCL for the constraint does not exclude the result parameter as stated in the description.
  • Reported: KerML 1.0b2 — Wed, 17 Apr 2024 19:50 GMT
  • Updated: Mon, 22 Apr 2024 12:37 GMT