Issue 6349: Control at joins (uml2-superstructure-ftf)
Source:  (, )
Nature: Revision
Severity: Significant
Summary: Where are control nodes buffered when directing control to a join?

Resolution: see above
Revised Text: 
Actions taken:
October 20, 2003: received issue
March 8, 2005: closed issue
Discussion: 
Control only means that an action may start, so multiple control tokens have the
same effect as one. There is no need to buffer them. Clarify as indicated below.
In JoinNode class, Semantics section, after the numbered list, add this sentence
before the one that's there:
"Multiple control tokens offered on the same incoming edge are combined
into one before applying the above rules."
In Action class, Semantics section,
in the numbered list, in [2], after the first sentence add: "If multiple control
tokens are available on a single edge, they are all consumed."
in the second paragraph after the numbered list, about reentrancy, modify
the beginning of the third sentence as follows: "In this case, control tokens
are discarded, and data tokens collect ..."
End of Annotations:=====
me: uml-forum
Company: Unknown
mailFrom: Unknown
Nature:  Revision
Severity: Significant
Subject: Control at joins


Where are control nodes buffered when directing control to a join?
OMG Issue No: 6349 
Title:	Control at joins
Source:
	
Summary:	
Where are control nodes buffered when directing control to a join?
Discussion:
Control only means that an action may start, so multiple control tokens have the same effect as one.  There is no need to buffer them.  Clarify as indicated below.
In JoinNode class, Semantics section, after the numbered list, add this sentence before the one that's there:
"Multiple control tokens offered on the same incoming edge are combined into one before applying the above rules."
In Action class, Semantics section,
in the numbered list, in [2], after the first sentence add: "If multiple control tokens are available on a single edge, they are all consumed."
in the second paragraph after the numbered list, about reentrancy, modify the beginning of the third sentence as follows: "In this case, control tokens are discarded, and data tokens collect ..."
Disposition:	Resolved