Source: Model Driven Solutions ( Ed Seidewitz)
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.
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
Update selectOrRejectExpressionUpperDerivation constraint
Updated: Thu, 22 Jun 2017 16:40 GMT
ALF11 — Multiplicity upper bound of a select or reject expression should be based on its primary expression
- Key: ALF11-37
- OMG Task Force: Action Language for fUML 1.1 (ALF) RTF