KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Error in Expression modelLevelEvaluable operation OCL

  • Key: KERML-248
  • Status: open  
  • Source: Self ( Jim Ciarcia)
  • Summary:

    Operations
    modelLevelEvaluable
    I'm not convinced the OCL expression is the same as the lexical explanation directly above it.
    Also the OCL may just be wrong in the 6th line
    "f.ownedFeature->isEmpty() f.valuation = null and or"
    This OCL needs to be very carefully looked at to align with the lexical explanation directly above it.
    I didn't spend more time on this but there were other concerns I had about the Relationships check and passing visited without adding itself to the visited list.
    It could be as simple as "((directionOf(f) = ... result) and f.ownedFeature->isEmpty() and f.valuation = null) or"

  • Reported: KerML 1.0b1 — Sun, 3 Dec 2023 02:58 GMT
  • Updated: Tue, 9 Jan 2024 00:10 GMT