RE: Partial executability/ determinism of a Chor description language

A contract in programming terms anyway (e.g. design by contract). 
Whether it is a legal contrcat is another matter!

Martin.

> -----Original Message-----
> From: public-ws-chor-request@w3.org
> [mailto:public-ws-chor-request@w3.org]On Behalf Of Ricky Ho
> Sent: Sunday, June 01, 2003 7:23 PM
> To: Monica J. Martin
> Cc: Burdett, David; public-ws-chor@w3.org
> Subject: Re: Partial executability/ determinism of a Chor description
> language
> 
> 
> 
> Monica,
> 
> 
> >>mm1: The choreography definition should not be a contract, although it 
> >>may understand the contract when its parameters are expressed in logic 
> >>(whether in or referenced by the choreography 
> definition,....we'll see).,
> 
> If Choreography is a sequence of message exchange that every 
> involved party 
> agree to follow, then it is a "contract".  Is WSDL a "contract" ? 
> (I think so).
> 
> Best regards,
> Ricky
> 
> 

Received on Monday, 2 June 2003 17:37:41 UTC