%S Lecture Notes in Computer Science
%A Michele Boreale
%A Roberto Bruni
%A Luis Caires
%A Rocco De Nicola
%A Ivan Lanese
%A Michele Loreti
%A Francisco Martins
%A Ugo Montanari
%A Antonio Ravara
%A Davide Sangiorgi
%A Vasco Thudichum Vasconcelos
%A Gianluigi Zavattaro
%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.

%E Mario Bravetti
%E Manuel Nunez
%E Gianluigi Zavattaro
%L eprints295
%D 2006
%B Web Services and Formal Methods (WS-FM 2006)
%R 10.1007/11841197_3
%P 38-57
%T SCC: A Service Centered Calculus
%O The original publication is available at www.springerlink.com
%I Springer
%V 4184