W3C home > Mailing lists > Public > public-ws-chor@w3.org > June 2003

RE: Partial executability/ determinism of a Chor description language

From: Martin Chapman <martin.chapman@oracle.com>
Date: Mon, 2 Jun 2003 14:35:53 -0700
To: "Ricky Ho" <riho@cisco.com>, "Monica J. Martin" <monica.martin@sun.com>
Cc: "Burdett, David" <david.burdett@commerceone.com>, <public-ws-chor@w3.org>
Message-ID: <PEEBJKKCFNCENDPJDEMIGEHFDEAA.martin.chapman@oracle.com>

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 GMT

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