KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Occurrences can be data values

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

    7.4.1 (Kernel Overview) says

    ... data types cannot also be classes or associations, or share instances with them.

    ... data types classify things that do not exist in time or space ...

    Clauses 8.4.4.2 (Data Types Semantics) and 8.4.4.3 (Classes Semantics) say:

    The Type Base::DataValue is disjoint with Occurrences::Occurrence and Links::Link,

    The Class Occurrences::Occurrence is disjoint with Base::DataValues

    but Occurrence::Occurrence and Base::DataValue are not disjoint in the libraries.
  • Reported: KerML 1.0a1 — Thu, 27 Apr 2023 16:03 GMT
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    Make Occurrence::Occurrence disjoint from Base::DataValue

    Occurrence::Occurrence should be declared as disjoint from Base::DataValue.
  • Updated: Tue, 1 Jul 2025 15:01 GMT