Welcome to the Pi4 Technologies Foundation
The foundation was established to aid communication and collaboration between industrial and academic organizations interested in applying process algebra and other concurrency formalisms to software development for web services and other distributed architectures. It started from theory-engineering collaboration within W3C's WS-CDL working group based on the pi-calculus, but it's scope is not limited to WS-CDL or Web Services: we believe it is time to have broad dialogues between theoretical works and practice in software engineering, and wish to help and promote such dialogues, in collaboration with like-minded individuals and organizations.
Building complex distributed systems, without introducing unintended consequences, is a real challenge. Although the Choreography Description Language provides a means of describing complex systems at a higher level, and therefore help to reduce such complexity, it does not necessarily guarantee that erronous situations cannot occur due to inappropriately specified interactions. The research into the global model and endpoint projection is targeted at identifying potential unintended consequences, to ensure that a global description of a system can be reliably executed and can be free from unintended consequences.