KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — The OCL for isFeaturedWithin is still not correct

  • Key: KERML_-70
  • Status: closed  
  • 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
  • Disposition: Resolved — KerML 1.0b4
  • Disposition Summary:

    Correct the OCL

    Agreed.

  • Updated: Sat, 19 Jul 2025 18:58 GMT