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.


Research Stream




Development Stream


Translation of WS-CDL into Scribble notation





Useful Information


Scribble Release Procedures