COWS (Calculus for Orchestration of Web Services) is a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. COWS has proved to be sufficiently expressive for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, for encoding other process and orchestration languages, e.g. Localized pi-calculus and Orc, and for modelling QoS requirement specifications and SLA achievements.

Hosts: Kohei Honda and Marco Carbone