eprintid: 1493
rev_number: 18
eprint_status: archive
userid: 6
dir: disk0/00/00/14/93
datestamp: 2013-02-26 14:19:14
lastmod: 2015-03-03 09:50:55
status_changed: 2013-02-26 14:19:14
type: monograph
metadata_visibility: show
creators_name: Boreale, Michele
creators_name: Bruni, Roberto
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_id: 
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: CaSPiS: A Calculus of Sessions, Pipelines and Services
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: imt_cs_techninal_report
note: Published in: Mathematical Structures in Computer Science, Volume 25, Issue 03, March 2015, pp 666-709
abstract: Service-oriented computing is calling for novel computational models and languages with well
disciplined primitives for client-server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented systems. CaSPiS sessions are two-sided, uniquely named and can be nested. CaSPiS pipelines permit orchestrating the flow of data produced by different sessions. The calculus is also equipped with operators for handling (unexpected) termination of the partner’s side of a session. Several examples are presented to provide evidence of the flexibility of the chosen set of primitives. One key contribution is a fully abstract encoding of Misra et al.’s orchestration language Orc. Another main result shows that in CaSPiS it is possible to program a “graceful termination” of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner.
date: 2013-02
date_type: published
number: 03
publisher: IMT Institute for Advanced Studies Lucca
pages: 46
institution: IMT Institute for Advanced Studies Lucca
projects: Research supported by the Project FET-GC II IST-2005-16004 Sensoria
citation:   Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele  CaSPiS: A Calculus of Sessions, Pipelines and Services.  CSA Technical Report  #03/2013    IMT Institute for Advanced Studies Lucca         
document_url: http://eprints.imtlucca.it/1493/1/CSA_TR_2013_3.pdf