SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — The description and derivation of ForLoopActionUsage::seqArgument is wrong

  • Key: SYSML2-190
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The description of ForLoopActionUsage::seqArgument is (see 8.3.16.9 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