Steve
> WS-CDL using the open source www.pi4soa.org tool suite which is
itself using pi-calculus does not mean you
have to
> understand it.
I would find it very helpful to understand a bit
better the relationship between Choreography and Pi-Calculus. I understand
Pi-Calculus (like other process algebras) to be a conceptual device aimed at
understanding. Consider the Turing Machine: it was a conceptual device aimed at
understanding the nature of computability, and never intended to be a practical
machine. Similarly I don't think Pi-Calculus is
intended to be used "as is" (i.e., as described in Robin Milner's book) as a
practical language in the context of building business systems.
But I would like to understand better:
1. What are the specific theoretical insights that
the Pi-Calculus has enabled that are pertinent to Choreography? (Perhaps
the notion of process equivalence through bi-simulation? What else?).
2. If so, how significant are these insights to
Choreography? Could the Choreography issue be successfully addressed if the
Pi-Calculus had never beed invented?
Any help with these questions gratefully
received!
Rgds
Ashley
YAHOO! GROUPS LINKS
- Visit your group "service-orientated-architecture" on the web.
- To unsubscribe from this group, send an email to:
[EMAIL PROTECTED]
- Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.
