eprintid: 295
rev_number: 20
eprint_status: archive
userid: 32
dir: disk0/00/00/02/95
datestamp: 2011-05-25 09:13:57
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-25 09:13:57
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Boreale, Michele
creators_name: Bruni, Roberto
creators_name: Caires, Luis
creators_name: De Nicola, Rocco
creators_name: Lanese, Ivan
creators_name: Loreti, Michele
creators_name: Martins, Francisco
creators_name: Montanari, Ugo
creators_name: Ravara, Antonio
creators_name: Sangiorgi, Davide
creators_name: Vasconcelos, Vasco Thudichum
creators_name: Zavattaro, Gianluigi
creators_id: 
creators_id: 
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
title: SCC: A Service Centered Calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: The original publication is available at www.springerlink.com
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.

date: 2006
date_type: published
series: Lecture Notes in Computer Science
volume: 4184
publisher: Springer
pagerange: 38-57
id_number: 10.1007/11841197_3
refereed: TRUE
isbn: 3-540-38862-1
book_title: Web Services and Formal Methods (WS-FM 2006)
editors_name: Bravetti, Mario
editors_name: Nunez, Manuel
editors_name: Zavattaro, Gianluigi
official_url: http://dx.doi.org/10.1007/11841197_3
funders: Research supported by the Project FET-GC II IST-2005-16004 Sensoria.
citation:   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)  
document_url: http://eprints.imtlucca.it/295/1/wsfm_2006a.pdf