KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — isDerived, semantics

  • Key: KERML_-54
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    Derived features (Feature::isDerived=true) are described as

    Such a feature is typically expected to have a bound feature value expression that completely determines its value at all times.

    Whether the values of this Feature can always be computed from the values of other Feature.

    but this semantics is not model/mathed.

  • Reported: KerML 1.0b1 — Thu, 14 Dec 2023 15:32 GMT
  • Disposition: Deferred — KerML 1.0b4
  • Disposition Summary:

    Defer to RTF

    This issue was submitted after the end of the comment period, and the FTF has decided to defer its consideration to a future RTF.

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