This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools
This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).