Logo eprints

A Calculus for Orchestration of Web Services

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. In: Programming Languages and Systems (ESOP 2007). Lecture Notes in Computer Science, 4421 . Springer, pp. 33-47. ISBN 978-3-540-71314-2 (2007)

PDF - Accepted Version
Download (185kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-540-71316-6_4
Additional Information: ©Springer-Verlag Berlin Heidelberg 2007. The original publication is available at www.springerlink.com
Funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 31 not found.
Date Deposited: 15 Jun 2011 08:00
Last Modified: 11 Jul 2011 14:35
URI: http://eprints.imtlucca.it/id/eprint/416

Actions (login required)

Edit Item Edit Item