Abstract. We introduce COWS (Calculus for Orchestration of Web Services), 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 wellknown process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages.
Another related work is COWS (Calculus for Orchestration of Web Services) REF , which is a process calculus for Service Oriented Computing whose design has been influenced by WS-BPEL, although it is not specifically tied to any current Web Services description language.
A calculus for orchestration of web services
LECTURE NOTES IN COMPUTER SCIENCE
Computer Science