KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Semantic constraint needed for result type of a "constructor" expression

Open Closed All
  • Key: KERML-244
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    In the KerML semantics, 8.4.4.9.4 Invocation Expressions, the semantic equivalent model for an InvocationExpression used as a "constructor" for a type T (i.e., T(...)) is shown as having its result parameter redefined with a FeatureTyping relationship to T. However, there is no semantic constraint in the abstract syntax to enforce this. Note that this typing is important, because it is to be expected that the result of a constructor is of the type being constructed.
  • Reported: KerML 1.0b1 — Fri, 1 Dec 2023 20:59 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 14:59 GMT