%0 Book Section
%A Boreale, Michele
%A Bruni, Roberto
%A Caires, Luis
%A De Nicola, Rocco
%A Lanese, Ivan
%A Loreti, Michele
%A Martins, Francisco
%A Montanari, Ugo
%A Ravara, Antonio
%A Sangiorgi, Davide
%A Vasconcelos, Vasco Thudichum
%A Zavattaro, Gianluigi
%B Web Services and Formal Methods (WS-FM 2006)
%D 2006
%E Bravetti, Mario
%E Nunez, Manuel
%E Zavattaro, Gianluigi
%F eprints:295
%I Springer
%P 38-57
%S Lecture Notes in Computer Science
%T SCC: A Service Centered Calculus
%U http://eprints.imtlucca.it/295/
%V 4184
%X 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.  
%Z The original publication is available at www.springerlink.com