[Home] [By Thread] [By Date] [Recent Entries]


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.

len


From: Chiusano Joseph [mailto:chiusano_joseph@b...]

> 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
RM. 

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member