KerML 1.0b2 FTF Avatar
  1. OMG Issue

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

  • Key: KERML-244
  • Status: open  
  • 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
  • Updated: Tue, 9 Apr 2024 23:30 GMT