Re: Partial executability/ determinism of a Chor description language

Ricky Ho wrote:

> 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
>
mm1:  I would say that the WSDL MAY be legally binding, but it is not 
the contract.

Received on Sunday, 1 June 2003 22:31:42 UTC