eprintid: 287
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/02/87
datestamp: 2011-05-26 13:08:13
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-26 13:08:13
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Session Centered Calculi for Service Oriented Computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Process Algebras; Service Oriented Computing; Process Calculi
abstract: 	Within the European project SENSORIA, we are developing formalisms for service description that lay the mathematical basis for analysing and experimenting with components interactions, for combining services and formalising crucial aspects of service level agreement. One of the outcome of this study is pSCC, a process calculus with explicit primitives for service definition and invocation. Central to pSCC are the notions of session and pipelining. Sessions are two sided and can be equipped with protocols executed by each side during an interaction and permit interaction patterns that are more structured than the simple one-way and request-response ones. Pipeline permits exchange of values between among sessions. The calculus is also equipped with operators for handling (unexpected) session closures that permit programming smooth propagation of session closures to partners and subsessions, so as to avoid states with dangling or orphan sessions. In the talk we will present SCC and discuss other alternatives that are (or have been) considered within the project.
date: 2007
date_type: published
publisher: World Scientific
pagerange: 6-10
id_number: 10.1142/9789812770998_0004
refereed: TRUE
isbn: 981-277-098-4
book_title: THEORETICAL COMPUTER SCIENCE Proceedings of the 10th Italian Conference on (ICTCS '07I
editors_name: Italiano, Giuseppe F.
editors_name: Moggi, Eugenio
editors_name: Laura, Luigi
official_url: http://dx.doi.org/10.1142/9789812770998_0004
citation:   De Nicola, Rocco  Session Centered Calculi for Service Oriented Computing.   In:  THEORETICAL COMPUTER SCIENCE Proceedings of the 10th Italian Conference on (ICTCS '07I.   World Scientific, pp. 6-10.  ISBN 981-277-098-4      (2007)