COWS: A Timed Service-Oriented Calculus

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)

Preview

PDF - Accepted Version Download (303kB) | Preview

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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-540-75292-9_19
Additional Information:	©Springer-Verlag Berlin Heidelberg 2007. The original publication is available at www.springerlink.com
Funders:	This work has been supported by the EU project SENSORIA, IST-2 005-016004.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Users 31 not found.
Date Deposited:	15 Jun 2011 08:37
Last Modified:	11 Jul 2011 14:35
URI:	http://eprints.imtlucca.it/id/eprint/418

Actions (login required)

Edit Item