SCC: A Service Centered Calculus

Boreale, Michele and Bruni, Roberto and Caires, Luis and De Nicola, Rocco and Lanese, Ivan and Loreti, Michele and Martins, Francisco and Montanari, Ugo and Ravara, Antonio and Sangiorgi, Davide and Vasconcelos, Vasco Thudichum and Zavattaro, Gianluigi SCC: A Service Centered Calculus. In: Web Services and Formal Methods (WS-FM 2006). Lecture Notes in Computer Science, 4184 . Springer, pp. 38-57. ISBN 3-540-38862-1 (2006)

Preview

PDF - Accepted Version Download (254kB) | Preview

Abstract

We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC’s session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/11841197_3
Additional Information:	The original publication is available at www.springerlink.com
Funders:	Research supported by the Project FET-GC II IST-2005-16004 Sensoria.
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Rocco De Nicola
Date Deposited:	25 May 2011 09:13
Last Modified:	11 Jul 2011 14:36
URI:	http://eprints.imtlucca.it/id/eprint/295

Actions (login required)

Edit Item