KerML 1.0b3 FTF Avatar
  1. OMG Issue

KERML_ — The OCL for isFeaturedWithin is still not correct

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

    The OCL for the operation Feature::isFeaturedWithin, as updated in the resolution to KERML-82, is still not correct. If a Feature has no featuringTypes, then it is implicitly "featured within" any Type. Therefore, isFeaturedWithin(type) should always return true in this case. Currently, though, the OCL specifies that it only returns true if type = null.
  • Reported: KerML 1.0b2 — Fri, 3 May 2024 18:48 GMT
  • Updated: Tue, 28 May 2024 00:12 GMT