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 Sunday, 1 June 2003 22:23:47 UTC