Source: Model Driven Solutions ( Ed Seidewitz)
The description of ForLoopActionUsage::seqArgument is (see 188.8.131.52 ForLoopActionUsage):
The Expression whose result provides the sequence of values to which the loopVariable is set for each iterative performance of the bodyAction. It is the owned parameter that redefines ForLoopAction::body.
The second sentence is clearly wrong. It should instead be
It is the Expression whose result is bound to the seq input parameter of this ForLoopActionUsage.
Similarly, the description of the constraint deriveForLoopActionUsageSeqArgument should be
The seqArgument of a ForLoopActionUsage is its first argument Expression.
and with the OCL
seqArgument = argument(1)
Reported: SysML 2.0a1 — Mon, 8 May 2023 21:50 GMT
Updated: Tue, 12 Sep 2023 01:00 GMT