[wsbpel] Issue - R2 - Proposal for Vote

[Dieter Koenig1 <dieterkoenig@de.ibm.com>]

Second revised Submitters Proposal (more specific about the BPEL elements
<for>, <until>, and <repeatEvery>).

I propose that language is added which specifies that
(a) wait and onAlarm are immediately executed if a specified duration has a
zero or negative value or a deadline value that is not in the future
(b) zero or negative values are disallowed for repeatEvery

10.7. Delayed Execution - Wait
 - Add to the end of the first paragraph: "If the specified duration value
in <for> is zero or negative, or a specified deadline in <until> has
already been reached or passed, then the <wait> activity completes
immediately."

11.5. Selective Event Processing – Pick
 - Add to the end of the second bullet in the second paragraph: "If the
specified duration value in <for> is zero or negative, or a specified
deadline in <until> has already been reached or passed, then the <onAlarm>
event is executed immediately. Again, the handling of race conditions is
implementation dependent."

12.7.2. Alarm Events
 - Add after the seventh sentence (before "The optional <repeatEvery>
expression ...") in the first paragraph: "If the specified duration value
in <for> is zero or negative, or a specified deadline in <until> has
already been reached or passed, then the <onAlarm> event is executed
immediately."
 - Add to the end of the first paragraph: "If the specified duration value
for <repeatEvery> is zero or negative then the standard fault
bpel:invalidExpressionValue MUST be thrown."

12.7.4.1. Alarm Events
 - Add to the end of the first paragraph: "If the specified duration value
for <repeatEvery> is zero or negative then the standard fault
bpel:invalidExpressionValue MUST be thrown."