Re: [soa-rm] [Question for Us From XML-DEV] FW: [xml-dev] Will The Real SOA Please Sit Down?

[Frank McCabe <frank.mccabe@us.fujitsu.com>]

To answer the second question, the answer is yes, CDL is based on pi- 
calculus.

On Jan 11, 2006, at 10:38 AM, Chiusano Joseph wrote:

> From the XML-DEV posting below:
>
> <Quote>
> I wonder if the SOA Reference Model can be described using a pi  
> calculus
> notation.  Really don't know....
> </Quote>
>
> Does anyone know the answer to this? I'm not an expert in
> 3.1415926535-calculus.
>
> On a separate related note (from the below): Does anyone know if W3C
> WS-CDL (Choreography Description Language) is based on pi-calculus? I
> have seen a large number of references to pi-calc on the public WS-CDL
> listserv, but I am not certain as to the exact relationship.
>
> Joe
>
> Joseph Chiusano
> Associate
> Booz Allen Hamilton
>
> 700 13th St. NW, Suite 1100
> Washington, DC 20005
> O: 202-508-6514
> C: 202-251-0731
> Visit us online@ http://www.boozallen.com
>
> -----Original Message-----
> From: Bullard, Claude L (Len) [mailto:len.bullard@intergraph.com]
> Sent: Wednesday, January 11, 2006 1:30 PM
> To: 'Mark Baker'; Michael Champion
> Cc: Chiusano Joseph; xml-dev@lists.xml.org
> Subject: RE: [xml-dev] Will The Real SOA Please Sit Down?
>
> Is it fair to say that given orchestration/choreography, a composition
> of processes using services could be described by a process calculus
> such as pi calculus?
>
> Readers of the CG list know the sources for this.  Lurkers may wish to
> query answers.com for a short overview of pi calculus and process
> calculus.
>
> I wonder if the SOA Reference Model can be described using a pi  
> calculus
> notation.  Really don't know....
>
> len