- From: Steve Ross-Talbot <steve@enigmatec.net>
- Date: Mon, 28 Feb 2005 20:28:20 +0000
- 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 UTC