W3C home > Mailing lists > Public > public-ws-chor@w3.org > November 2004

Boolean conditions and their evaluation relative to work units

From: Steve Ross-Talbot <steve@enigmatec.net>
Date: Thu, 18 Nov 2004 15:05:20 +0000
Message-Id: <440D780C-3973-11D9-A394-000393D13C9A@enigmatec.net>
To: WS-Choreography List <public-ws-chor@w3.org>

I wanted to make sure we are all on the same page on this issue.

On page 29 of the latest draft (the pdf) it states:

A Work Unit that completes successfully MUST be considered again for  
matching (based on its guard condition), if its repetition condition 
evaluates to  "true".

On page 30:

The optional repeat attribute allows, when the condition it specifies 
evaluates to  "true", to make the current Work Unit that completed 
successfully to be  considered again for matching (based on the guard 
attribute).

 From a brief discussion with Nick if we have the following example:

<work-unit   guard C1      repeat C2>
</work-unit>

Then the evaluation of booleans (C1 and C2) is as follows for n 
iterations in which 1<  i < n:

Interation 1:	C1
Interation i:    	C2 then if true C1
Interation n:	C2 fails

I think when you read the text in the spec with the example above it is 
very clear that this is what is going on.

Cheers

Steve T
Received on Thursday, 18 November 2004 15:05:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 18 December 2010 01:01:11 GMT