OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   RE: [xml-dev] Will The Real SOA Please Sit Down?

[ Lists Home | Date Index | Thread Index ]

Thanks Joe.

Given that pi calculus is a process calculus, is it true 
that no process calculus is particularly relevant and if 
true, why?  Is this because the SOA can be considered an 
enabling layer but separate from the process layer?

The ambient calculus may be relevant to SOA systems given 
a requirement for mobile identity in single sign on systems.


From: Chiusano Joseph [mailto:chiusano_joseph@bah.com]

> 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?

Yes - in fact, W3C Choreography Description Language (WS-CDL) is based
on 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....

Answer from the SOA-RM list: Pi-calculus may be an important notation,
but it is neither used in the RM, nor is it particularly relevant to the


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS