- From: Steve Ross-Talbot <steve@pi4tech.com>
- Date: Sun, 28 Aug 2005 22:43:06 +0100
- To: Monika Solanki <monika@dmu.ac.uk>
- Cc: public-ws-chor@w3.org
Hello Monika, A simple example can be found at www.pi4tech.com. In this example (a buyer seller example) we show channel passing, which is the main feature in WS-CDL that necessitates mobility. If you register at the www.pi4tech.com website you can download the example and a document (Understanding WS-CDL). The same example is being used by Milner/Honda/Yoshida/Carbone in doing the advanced type stuff for WS-CDL. Best Regards Steve Ross-Talbot CEO Pi4 Technologies Chair W3C Web Services co-Chair W3C Web Services Choreography C: +44 7855 268 848 O: +44 207 870 2609 www.pi4tech.com On 24 Aug 2005, at 09:11, Monika Solanki wrote: > > Hello, > > I am trying to understand in a bit more detail, how the mobility part > in Pi calculus helps Web service composition. Please can someone help > me here. I have read a lot of papers that talk about establishing > behavioural equivalence between pi calculus and XML-Based languagaes, > Incidentally none of them highlighted the importance of mobility. > > Thanks, > > Monika > > >
Received on Sunday, 28 August 2005 21:43:16 UTC