The Scribble project aims to develop a language (protocol specification) and tools to help describe, validate, implement and monitor systems built around distributed interactions (such as a Service Oriented Architecture).
The project is diviided into two streams:
a) Reseach, focusing on the identification of formal theories based on the pi calculus
b) Development, focusing on the creation of a tool chain to leverage the theories from the research stream
The following sections provide more detail and links to discuss various topics related to each stream.