eprintid: 281
rev_number: 10
eprint_status: archive
userid: 32
dir: disk0/00/00/02/81
datestamp: 2011-05-26 10:11:50
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-26 10:11:50
type: book_section
metadata_visibility: show
item_issues_count: 0
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: Sessions and Pipelines for Structured Service Programming
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: Service-oriented computing is calling for novel computational models and languages with primitives for client-server interaction, orchestration and unexpected events handling. We present CaSPiS, a process calculus where the notions of session and pipelining play a central role. Sessions are two-sided and can be equipped with protocols executed by each side. Pipelining permits 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 for the flexibility of the chosen set of primitives. Our 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: 2008
date_type: published
series: Lecture Notes in Computer Science
volume: 5051
publisher: Springer
pagerange: 19-38
id_number: 10.1007/978-3-540-68863-1_3
refereed: TRUE
isbn: 978-3-540-68862-4
book_title: Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008)
editors_name: Barthe, Gilles
editors_name: S. de Boer, Frank
official_url: http://dx.doi.org/10.1007/978-3-540-68863-1_3
citation:   Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele  Sessions and Pipelines for Structured Service Programming.   In:  Formal Methods for Open Object-Based Distributed Systems (FMOODS 2008).   Lecture Notes in Computer Science, 5051 .  Springer, pp. 19-38.  ISBN 978-3-540-68862-4      (2008)