eprintid: 418
rev_number: 9
eprint_status: archive
userid: 31
dir: disk0/00/00/04/18
datestamp: 2011-06-15 08:37:37
lastmod: 2011-07-11 14:35:30
status_changed: 2011-06-15 08:37:37
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: COWS: A Timed Service-Oriented Calculus
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: COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that 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. In this paper, we extend COWS with timed orchestration constructs, this way we obtain a language capable of completely formalizing the semantics of WS-BPEL, the ‘de facto’ standard language for orchestration of web services. We present the semantics of the extended language and illustrate its peculiarities and expressiveness by means of several examples. 
date: 2007
date_type: published
series: Lecture Notes in Computer Science
volume: 4711
publisher: Springer
pagerange: 275-290
id_number: 10.1007/978-3-540-75292-9_19
refereed: TRUE
isbn: 978-3-540-75290-5
book_title: Theoretical Aspects of Computing – ICTAC 2007
editors_name: B. Jones, Cliff
editors_name: Liu, Zhiming
editors_name: Woodcock, Jim
official_url: http://dx.doi.org/10.1007/978-3-540-75292-9_19
funders: This work has been supported by the EU project SENSORIA, IST-2 005-016004.
citation:   Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco  COWS: A Timed Service-Oriented Calculus.   In:  Theoretical Aspects of Computing – ICTAC 2007.   Lecture Notes in Computer Science, 4711 .  Springer, pp. 275-290.  ISBN 978-3-540-75290-5      (2007)  
document_url: http://eprints.imtlucca.it/418/1/cows_ictac_2007c.pdf