W3C home > Mailing lists > Public > public-ws-chor@w3.org > January 2006

Re: WS-CDL and (polyadic) Pi-Calculus

From: Steve Ross-Talbot <steve@pi4tech.com>
Date: Tue, 17 Jan 2006 10:00:00 +0000
Message-Id: <a52aa57ba77e95c0a607aa64ae44fc48@pi4tech.com>
Cc: <public-ws-chor@w3.org>
To: "Paul Bouche \(HPI\)" <paul.bouche@hpi.uni-potsdam.de>

Deal Paul,

Yes the channels where inspired by pi-calculus. They are a channel or 
port pairing. The work of our invited experts looks at providing a new 
calculus called CG (Global Calculus). When we project participants we 
do so to an EPC (End Point Calculus) which is pi-calculus with session 
types. The session information comes from the identity tokens described 
as part of a channel type. This EPC is what we use to enforce liveness 
and other relevant properties (bi-simulation etc).

The plan is to publish the finished treatment of GC and EPC sometime in 
Q22006 as a working note.

Hope this helps

Steve T

On 16 Jan 2006, at 21:54, Paul Bouche ((HPI)) wrote:

> Hello,
> I am doing a research presentation as part of a seminar "Business 
> Process Managment II" on the topic of "Is WS-CDL 'based' on 
> Pi-Calculus?"..
> I have read some material that the invited experts have publizied and 
> could not find a concluding answer. Maybe there is none?
> It would be very helpful for me if anyone of the invited experts could 
> post a clarification on this issue. From the material I have read and 
> from reading the WS-CDL specification my opinion is that some parts of 
> WS-CDL (namely: channelTypes, channelType instance variables, sending 
> of those and some other parts) have be inspired by the concepts 
> Pi-Calculus or other process calculi.
> Thanks for your help.
> Kind Regards,
> Paul Bouché
Received on Tuesday, 17 January 2006 10:00:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:34 UTC