KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — isAbstract, semantics

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

    Abstract types (Type::isAbstract=true) are described as

    instances of this Type must also be instances of at least one of its specialized Types.

    but this semantics is not math/modeled.
  • Reported: KerML 1.0a1 — Sat, 15 Apr 2023 14:22 GMT
  • Disposition: Deferred — KerML 1.0b2
  • Disposition Summary:

    Defer

    The FTF considers this issue to have merit, but, due to lack of time, is deferring it to a future FTF or RTF.
  • Updated: Tue, 1 Jul 2025 15:00 GMT