Issue 16654: Error in ExpansionRegionActivation::takeOfferedTokens (fuml-rtf)
Source: Model Driven Solutions (Mr. Ed Seidewitz, ed-s(at)modeldriven.com)
Nature: Uncategorized Issue
Severity: 
Summary: Specification: Semantics of a Foundation Subset for Executable UML Models (fUML), v1.0 (formal/2011-02-01)

Subclause: 8.5.4.2.3 ExpansionRegionActivation

 

In the ExpansionRegionActivation class, operation [8] takeOfferedTokens is missing an initial call to super.takeOfferedTokens(). This means that, when an expansion region activation fires, it does not properly handle tokens on control flows incoming to the expansion region, nor does it fire any input pin activations for the region, both of which should be handled as usual for an action. Because of this, the subsequent copying of input tokens from input pin activations in ExpansionRegionActivation never actually produces any tokens, even though some may have been offered to the input pins.


Resolution: agreed


Revised Text: In Subclause 8.5.4.2.3, in ExpansionRegionActivation::takeOfferedTokens, at the beginning, add the statement:

super.takeOfferedTokens();

Actions taken:
November 7, 2011: received issue
January 7, 2013: closed issue
Discussion: 

End of Annotations:=====

m: Ed Seidewitz <ed-s@modeldriven.com>
To: "issues@omg.org" <issues@omg.org>
Date: Mon, 7 Nov 2011 18:48:13 -0500
Subject: Error in ExpansionRegionActivation::takeOfferedTokens
Thread-Topic: Error in ExpansionRegionActivation::takeOfferedTokens
Thread-Index: Acydp7auivCgePgzT6GiVxRVuK4c6A==
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.970068|0.793331|0|white|ugly|2172|33|0|0
X-Mailprotector-Results: null_ptr subject_50_chars clean
X-Mailprotector-Score: 60
X-Mailprotector-IP-Analysis: 0, 10.1.50.226, Ugly c=0.793331 p=-0.970068 Source White
X-Mailprotector-Scan-Diagnostics:  0-0-0-6322-c


Specification: Semantics of a Foundation Subset for Executable UML Models (fUML), v1.0 (formal/2011-02-01)

Subclause: 8.5.4.2.3 ExpansionRegionActivation

 

In the ExpansionRegionActivation class, operation [8] takeOfferedTokens is missing an initial call to super.takeOfferedTokens(). This means that, when an expansion region activation fires, it does not properly handle tokens on control flows incoming to the expansion region, nor does it fire any input pin activations for the region, both of which should be handled as usual for an action. Because of this, the subsequent copying of input tokens from input pin activations in ExpansionRegionActivation never actually produces any tokens, even though some may have been offered to the input pins.