KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — validateMultiplicityRangeBoundResultTypes constraint is too strong

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

    The validateMultiplicityRangeBoundResultTypes constraint requires "The results of the bound Expression(s) of a MultiplicityRange must be typed by ScalarValues::Natural from the Kernel Data Types Library." However, multiplicity bounds are often given by literals, and the result type of LiteralInteger is actually Integer, which does not conform to Natural.
  • Reported: KerML 1.0b1 — Fri, 20 Oct 2023 13:38 GMT
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    Update the validateMultiplicityRangeBoundResultTypes constraint

    Agreed. However, if a bound is model-level evaluable, then it can still be checked to have a non-negative value.
  • Updated: Tue, 1 Jul 2025 15:01 GMT