Re: pi-calculus ...

Burdett, David wrote:

> So how about as a requirement ...
>
> "The choreography specification must provide a method of defining the 
> rules and sequence for exchanging messages between two or more roles 
> (e.g. buyer, seller, etc) that:
>
> a) Provides a single choreography definition that covers all the 
> behaviors of all of the roles
> b) Treats each role equally
> c) Specifies messages in an abstract way, i.e. independent of the 
> precise data structures and transport binding."
>
> David
>
Of course I would say +1 to this, since it defines the problem we're 
trying to solve and provides a good pattern for any solution.

arkin

Received on Monday, 12 May 2003 18:45:58 UTC