relation: http://eprints.imtlucca.it/418/
title: COWS: A Timed Service-Oriented Calculus
creator: Lapadula, Alessandro
creator: Pugliese, Rosario
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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. 
publisher: Springer
contributor: B. Jones, Cliff
contributor: Liu, Zhiming
contributor: Woodcock, Jim
date: 2007
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/418/1/cows_ictac_2007c.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-540-75292-9_19
relation: 10.1007/978-3-540-75292-9_19