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:

 

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