TY  - CHAP
T2  - Programming Languages and Systems (ESOP 2007)
PB  - Springer
ID  - eprints416
EP  - 47
N2  - 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 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. 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. 
ED  - De Nicola, Rocco
SN  - 978-3-540-71314-2
A1  - Lapadula, Alessandro
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
UR  - http://dx.doi.org/10.1007/978-3-540-71316-6_4
M1  - 4421
Y1  - 2007///
TI  - A Calculus for Orchestration of Web Services
SP  - 33
T3  - Lecture Notes in Computer Science
N1  - ©Springer-Verlag Berlin Heidelberg 2007. The original publication is available at www.springerlink.com
AV  - public
ER  -