ALF 1.1 RTF Avatar
  1. OMG Issue

ALF11 — Multiplicity upper bound of a select or reject expression should be based on its primary expression

  • Key: ALF11-37
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    In subclause 8.3.20, it states that "The sequence expansion expression has the same...multiplicity upper bound as its primary expression...". However, subclause 13.2.44 includes the constraint selectOrRejectExpressionUpperDerivation, which states "A select or reject expression has a multiplicity upper bound of *", which is inconsistent with 8.3.20.

    Recommendation:
    Since a select or reject expression really cannot result in more values than produced by its primary expression, the statement in 8.3.20 make sense and the derivation in 13.2.44 should be updated to be consistent with it.

  • Reported: ALF 1.0 — Mon, 22 Jun 2015 21:05 GMT
  • Disposition: Resolved — ALF 1.1
  • Disposition Summary:

    Update selectOrRejectExpressionUpperDerivation constraint

    Agreed.

  • Updated: Thu, 22 Jun 2017 16:40 GMT