KerML 1.1b1 RTF Avatar
  1. OMG Issue

KERML11 — isReadOnly, semantics

Open Closed All
  • Key: KERML11-16
  • Status: open  
  • 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
  • Updated: Fri, 20 Jun 2025 22:13 GMT