W3C home > Mailing lists > Public > public-ws-chor-comments@w3.org > January 2005

Fw: Last Call Issue: CHOICE WITH MIXTURE OF BLOCKING AND NON-BLOCKING ELEMENTS

From: Gary Brown <gary@enigmatec.net>
Date: Mon, 10 Jan 2005 15:56:23 -0000
Message-ID: <007301c4f72c$f5856bc0$0200a8c0@LATTITUDEGary>
To: <public-ws-chor-comments@w3.org>

----- Original Message ----- 
From: Gary Brown 
To: public-ws-chor@w3.org 
Sent: Wednesday, January 05, 2005 2:21 PM
Subject: Last Call Issue: CHOICE WITH MIXTURE OF BLOCKING AND NON-BLOCKING ELEMENTS


If a choice construct has a mixture of blocking and non-blocking elements, then it is not clear how these should be processed.

"If the choice has Work Units with guard conditions, the first Work Unit that matches the guard condition is selected and the other Work Units are disabled."

Does this mean the 'first' with respect to time, or the first in lexical order?

For example, if the choice construct has two elements, the first one blocks awaiting some information, while the second element is non-blocking:

- should the choice construct evaluate the first item and then suspend until the first element has a known value.

- or should the blocking element be skipped as its value cannot be determined, and therefore the second element is evaluated?

However, if this second element evaluates to false, then does this mean that the choice suspends awaiting one of the blocked elements (i.e. the first element in this case) to be evaluated to true, or until no elements remain to be evaluated?

The semantics of the choice construct are unclear in this situation.

Regards

Gary and Steve
Received on Monday, 10 January 2005 15:56:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:20:10 GMT