Lists Home |
Date Index |
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:email@example.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
> 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