Issue 18282: The bodyOutputLists for a loop node need to be cleared when the node fires again (fuml-rtf)
Source: Model Driven Solutions (Mr. Ed Seidewitz, ed-s(at)modeldriven.com)
Nature: Uncategorized Issue
Severity: 
Summary: Specification: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.1 RTF Beta (ptc/2012-10-18)

Subclause: 8.5.3.2.3 LoopNodeActivation

 

The beginning of LoopNodeActivation::doStructuredActivity creates the bodyOutputLists for the firing of a loop node. However, it does not first clear any bodyOutputLists that may have been created on a previous firing of the loop node. This can result in an exception if a loop node fires repeatedly (for instance, if it is nested in another loop node), because there will be more body output lists than there are result pins.

 

(Also, the variables loopVariables and resultPins are no longer used within doStructuredActivity.)


Resolution: Update LoopNodeActivation::doStructuredActivity

Agreed.
Revised Text: In 8.5.3.2.3 LoopNodeActivation, in operation doStructuredActivity, replace the lines
OutputPinList loopVariables = loopNode.loopVariable;
OutputPinList resultPins = loopNode.result;

ValuesList bodyOutputLists = this.bodyOutputLists;

with
this.bodyOutputLists.clear();
Actions taken:
November 26, 2012: received issue
October 8, 2015: Resolved
December 22, 2015: closed issue
Discussion: 

End of Annotations:=====

m: Ed Seidewitz <ed-s@modeldriven.com>
To: "issues@omg.org" <issues@omg.org>
Date: Mon, 26 Nov 2012 22:12:52 -0500
Subject: The bodyOutputLists for a loop node need to be cleared when the
 node fires again
Thread-Topic: The bodyOutputLists for a loop node need to be cleared when
 the node fires again
Thread-Index: Ac3MTRYVUGBhd57SRZCcVEK/tMgKjg==
Accept-Language: en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
acceptlanguage: en-US
X-Mailprotector-Decision: deliver
X-Mailprotector-Connection: TLSv1|[10.1.50.226]|10.1.50.226|outbound.mailprotector.net|0.0|0.0|0|||0|0|0|0
X-Mailprotector-Results: null_ptr subject_50_chars subject_10_spaces clean
X-Mailprotector-Score: 80
X-Mailprotector-IP-Analysis: 0, 10.1.50.226, Ugly c=0.744513 p=-0.98252 Source White
X-Mailprotector-Scan-Diagnostics:  0-0-0-6174-c
X-Mailprotector-ID: 45cc51d8-4e4d-4978-9056-4f940bbda96c


Specification: Semantics of a Foundational Subset for Executable UML Models (fUML), v1.1 RTF Beta (ptc/2012-10-18)

Subclause: 8.5.3.2.3 LoopNodeActivation

 

The beginning of LoopNodeActivation::doStructuredActivity creates the bodyOutputLists for the firing of a loop node. However, it does not first clear any bodyOutputLists that may have been created on a previous firing of the loop node. This can result in an exception if a loop node fires repeatedly (for instance, if it is nested in another loop node), because there will be more body output lists than there are result pins.

 

(Also, the variables loopVariables and resultPins are no longer used within doStructuredActivity.)