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

Workunit (non-blocking) clarification

From: Steve Ross-Talbot <steve@enigmatec.net>
Date: Mon, 28 Feb 2005 20:28:20 +0000
Message-Id: <16bc181faf8d3e3be9b003d013d8c48d@enigmatec.net>
To: "'WS-Choreography List'" <public-ws-chor@w3.org>

Where G is the guard condition and R is the repeat condition a Body is 
the body of code inside the workunit

Thus it is really modeled in the following three cases

	IF G and R are not empty and so need evaluation THEN:

	while (G)
	{	
		Body
	} until (R)

	IF G is always T THEN:

	repeat
	{
		Body
	} until (R)

	IF R is always F THEN:

	if (G)
	{
		Body
	}
Received on Monday, 28 February 2005 20:28:25 GMT

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