KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Some types not given any semantics

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

    The Type metaclass is concrete (like all the metaclasses in the abstract syntax), making it it syntactically valid to create a Type that is not a Classifier or a Feature. However, Clause 8.4.3.1.2 (Core Semantics Mathematical Preliminaries) requires the set of Types in a model to be the union of the set of Classifiers and Features. This means instances of Type in a model that are not Classifiers or Features are syntactically valid, but not given semantics (it's not possible to tell if instances of such types are valid or not).
  • Reported: KerML 1.0a1 — Fri, 28 Apr 2023 20:16 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