(Tool demo)

SOCK and JOLIE: from the formal basis to a service oriented
programming language.

Claudio Guidi and Ivan Lanese

SOCK is a calculus for modelling web services using request and
request-response primitives inspired by WS-BPEL and WSDL. It provides
a formal model to concepts such as service instantiation, correlation
sets, orchestration and dynamic compensations. JOLIE is a running
implementation of SOCK which aims at being a concrete language for
programming service oriented applications.  JOLIE provides all the
basic mechanisms formalized within SOCK by means of a simple and
intuitive syntax which resembles those of C and Java.