Scribble

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, research and development.

 

Research Stream

 

The reseach stream is focusing on the identification of formal theories based on the pi calculus.

 

 

Development Stream

 

The development stream is focusing on the creation of a tool chain to leverage the theories from the research stream.

 

 

 

Translation of WS-CDL into Scribble notation

 

 

 

 

Useful Information

 

Scribble Release Procedures