relation: http://eprints.imtlucca.it/416/
title: A Calculus for Orchestration of Web Services
creator: Lapadula, Alessandro
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: De Nicola, Rocco
date: 2007
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/416/1/cows_esop_2007a.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-540-71316-6_4
relation: 10.1007/978-3-540-71316-6_4