[
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.
len
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 (WSCDL) is based
on picalculus.
> 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 SOARM list: Picalculus may be an important notation,
but it is neither used in the RM, nor is it particularly relevant to the
RM.
