KerML 1.1b1 RTF Avatar
  1. OMG Issue

KERML11 — FeatureDefinition should not be mandatory in Expression productions

Open Closed All
  • Key: KERML11-181
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    In the following productions, FeatureDefinition should not be mandatory (i.e., the reference should be "FeatureDefinition?").

    • 8.2.5.7.2 Expressions 
      Expression =
    FeaturePrefix
    'expr' FeatureDeclaration ValuePart?
    FunctionBody
    • 8.2.5.7.4 Boolean Expressions and Invariants 
      BooleanExpression =
    FeaturePrefix
    'bool' FeatureDeclaration ValuePart?
    FunctionBody

Invariant =
    FeaturePrefix
    'inv' ( 'true' | isNegated ?= 'false' )?
    FeatureDeclaration ValuePart?
    FunctionBody
  • Reported: KerML 1.0 — Fri, 20 Feb 2026 21:54 GMT
  • Updated: Fri, 20 Feb 2026 21:54 GMT