UML14 — UML 1.4 RTF issue: OCL: navigation context in iterate

he term "navigation context" is used to denote the
start of an OCL navigation expression. The standard navigation context
is "self", or the iterator name in a subexpression
that is the argument to collection operations like "forAll".

The standard navigation context in the argument expression of the
operation "iterate" is not clearly defined in the OCL specification. It
might either be the iterator or the accumulator.

Proposed solution:
Since none of these alternatives is clearly more intuitive than the
other, we would favour to demand the explicit qualification of the
navigation context in iterate's argument expression through either the
iterator or accumulator name or "self".

It might be noted that similarly, the default navigation context is not
clear if the operation "forAll" is used with two or more iterators.

No Data Available