TY  - CHAP
T3  - Lecture Notes in Computer Science
N2  - 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. 
EP  - 290
PB  - Springer
ED  - B. Jones, Cliff
ED  - Liu, Zhiming
ED  - Woodcock, Jim
T2  - Theoretical Aspects of Computing ? ICTAC 2007
AV  - public
SN  - 978-3-540-75290-5
M1  - 4711
SP  - 275
ID  - eprints418
Y1  - 2007///
N1  - ©Springer-Verlag Berlin Heidelberg 2007. The original publication is available at www.springerlink.com
TI  - COWS: A Timed Service-Oriented Calculus
A1  - Lapadula, Alessandro
A1  - Pugliese, Rosario
A1  - Tiezzi, Francesco
UR  - http://dx.doi.org/10.1007/978-3-540-75292-9_19
ER  -