KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — LinkObject disjointness is redundant

Open Closed All
  • Key: KERML-231
  • Status: open  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    The disjointness of LinkObject in Objects.kerml

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

    is redundant because SelfSameLifeLink and HappensLink are declared disjoint with Occurrence (a generalization of Object) and SelfLink specializes SelfSameLifeLink in Occurrences.kerml.
  • Reported: KerML 1.0b1 — Wed, 15 Nov 2023 15:34 GMT
  • Updated: Mon, 8 Apr 2024 21:42 GMT