KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Remove disjointness of LinkObject

  • Key: KERML-251
  • Status: open  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    In Objects.kerml, in the declaration of LinkObject:

    abstract assoc struct LinkObject specializes Link, Object disjoint from SelfLink, SelfSameLifeLink, HappensLink
    

    remove disjoint from SelfLink, SelfSameLifeLink, HappensLink.

  • Reported: KerML 1.0b1 — Tue, 19 Dec 2023 19:03 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT