KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — HappensLink disjointness documentation inconsistent

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

    [From Steve Jenkins ] In 9.2.4.2.5 (HappensLink), Description, second sentence says

    They cannot happen in time (be Occurrences), making them disjoint with LinkObject.

    and in Transfer.kerml, HappenLink documentation, starting in the second sentence, says

    ... they cannot also be Occurrences that happen in time. Therefore HappensLink is disjoint with LinkObject, that is, no HappensLink can also be a LinkObject.

    which give disjointness more narrowly than the justifications just before them. The declaration of HappenLink in Transfer.kerml is

    assoc HappensLink specializes BinaryLink disjoint from Occurrence { ...
    

    aligning with the disjointness justifications above.

  • Reported: KerML 1.0b2 — Mon, 29 Jul 2024 19:22 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:57 GMT