eprintid: 416
rev_number: 9
eprint_status: archive
userid: 31
dir: disk0/00/00/04/16
datestamp: 2011-06-15 08:00:24
lastmod: 2011-07-11 14:35:30
status_changed: 2011-06-15 08:00:24
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Lapadula, Alessandro
creators_name: Pugliese, Rosario
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: francesco.tiezzi@imtlucca.it
title: A Calculus for Orchestration of Web Services
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: ©Springer-Verlag Berlin Heidelberg 2007. The original publication is available at www.springerlink.com
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 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. 
date: 2007
date_type: published
series: Lecture Notes in Computer Science
volume: 4421
publisher: Springer
pagerange: 33-47
id_number: 10.1007/978-3-540-71316-6_4
refereed: TRUE
isbn: 978-3-540-71314-2
book_title: Programming Languages and Systems (ESOP 2007)
editors_name: De Nicola, Rocco
editors_id: r.denicola@imtlucca.it
official_url: http://dx.doi.org/10.1007/978-3-540-71316-6_4
funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004.
citation:   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)  
document_url: http://eprints.imtlucca.it/416/1/cows_esop_2007a.pdf