Issue 17509: Sequence feature invocation expressions (alf-rtf) Source: Ivar Jacobson International AB (Mr. Ed Seidewitz, eseidewitz(at)ivarjacobson.com) Nature: Uncategorized Issue Severity: Summary: Subject: Sequence feature invocation expressions Subclauses: 8.3.10 Feature Invocation Expression, 13.2.17 FeatureInvocationExpression · A feature invocation expression with a primary whose multiplicity is 0..1 should not be considered a sequence feature expression, since the optionality is handled without the need for an expansion region. · Subclause 8.3.10 states that a sequence feature invocation expression is equivalent to a sequence expansions (collect) expression for the invocation. However, local names may not be assigned within the argument expression of a sequence expansion expression (because a sequence expansion expression maps to an expansion region, and fUML does not allow flows out of such regions other than through output expansion nodes). For a sequence feature invocation expression, the invocation tuple is repeatedly re-evaluated inside the argument expression of the equivalent sequence expansion expression. Therefore, local variable assignments should not be allowed within the expressions in the tuple of a feature invocation expression. These changes should also be accounted for in the constraints in Subclause 13.2.17. Resolution: The FTF agrees that this is an issue worth considering, but, due to lack of time, decided to defer its resolution to a future RTF working on this specification. Revised Text: None Disposition: Deferred Revised Text: Actions taken: July 19, 2012: received issue October 5, 2012: deferred Discussion: End of Annotations:===== s is issue # 17509 From: Ed Seidewitz Subject: Sequence feature invocation expressions Subclauses: 8.3.10 Feature Invocation Expression, 13.2.17 FeatureInvocationExpression · A feature invocation expression with a primary whose multiplicity is 0..1 should not be considered a sequence feature expression, since the optionality is handled without the need for an expansion region. · Subclause 8.3.10 states that a sequence feature invocation expression is equivalent to a sequence expansions (collect) expression for the invocation. However, local names may not be assigned within the argument expression of a sequence expansion expression (because a sequence expansion expression maps to an expansion region, and fUML does not allow flows out of such regions other than through output expansion nodes). For a sequence feature invocation expression, the invocation tuple is repeatedly re-evaluated inside the argument expression of the equivalent sequence expansion expression. Therefore, local variable assignments should not be allowed within the expressions in the tuple of a feature invocation expression. These changes should also be accounted for in the constraints in Subclause 13.2.17.