TY  - CHAP
T3  - Lecture Notes in Computer Science
SP  - 38
PB  - Springer
A1  - Boreale, Michele
A1  - Bruni, Roberto
A1  - Caires, Luis
A1  - De Nicola, Rocco
A1  - Lanese, Ivan
A1  - Loreti, Michele
A1  - Martins, Francisco
A1  - Montanari, Ugo
A1  - Ravara, Antonio
A1  - Sangiorgi, Davide
A1  - Vasconcelos, Vasco Thudichum
A1  - Zavattaro, Gianluigi
Y1  - 2006///
ED  - Bravetti, Mario
ED  - Nunez, Manuel
ED  - Zavattaro, Gianluigi
M1  - 4184
N2  - 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.

SN  - 3-540-38862-1
UR  - http://dx.doi.org/10.1007/11841197_3
AV  - public
TI  - SCC: A Service Centered Calculus
T2  - Web Services and Formal Methods (WS-FM 2006)
EP  - 57
ID  - eprints295
N1  - The original publication is available at www.springerlink.com
ER  -