KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — isReadOnly, semantics

Open Closed All
  • Key: KERML_-4
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    Read only features (Feature::isReadOnly=true) are described as

    Values of read only features on each instance of their domain are the same during the entire existence of that instance

    but this semantics is not model/mathed and depends on Kernel for instances existing in time.

    (Note. The resolution to KERML_-57 changes isReadOnly to isConstant, but the lack of formal semantics remains.)
  • Reported: KerML 1.0a1 — Thu, 13 Apr 2023 20:02 GMT
  • Disposition: Deferred — KerML 1.0b4
  • Disposition Summary:

    Defer to RTF

    The FTF considers this issue to have merit, but, due to lack of time, is deferring it to a future RTF.
  • Updated: Sat, 19 Jul 2025 18:58 GMT