KerML 1.0b4 FTF Avatar
  1. OMG Issue

KERML_ — Impossible to specialize (redefine, subset) unnamed features in textual syntax

  • Key: KERML_-85
  • Status: closed   Implementation work Blocked
  • Source: Budapest University of Technology and Economics ( Dr. Vince Molnar)
  • Summary:

    Since unnamed features cannot be referred to by name, there is no textual syntax to specialize them in a type subtyping the featuring type, even though the abstract syntax can express this relationship.

    Specialization is key in execution, where our current approach is to specialize and restrict user-defined types to a model that has a single (family of) interpretations, which is included in the set of original interpretatios (see Annex A). This involves redefining and subsetting the user-defined type's features.

    Based on the above, we can conclude that there is currently no way to describe an execution trace in the textual syntax for a model which contains unnamed elements.

  • Reported: KerML 1.0b2 — Mon, 27 May 2024 03:01 GMT
  • Disposition: Deferred — KerML 1.0b4
  • Disposition Summary:

    Defer to RTF

    This issue was submitted after the end of the comment period, and the FTF has decided to defer its consideration to a future RTF.

  • Updated: Sat, 19 Jul 2025 18:58 GMT