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