eprintid: 124
rev_number: 8
eprint_status: archive
userid: 29
dir: disk0/00/00/01/24
datestamp: 2011-03-02 14:55:46
lastmod: 2011-07-11 14:33:43
status_changed: 2011-03-02 14:55:46
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Buscemi, Maria Grazia
creators_name: Melgratti, Hernán C.
creators_id: m.buscemi@imtlucca.it
creators_id: 
title: Transactional Service Level Agreement
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: The final publication is available at www.springerlink.com.
abstract: Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service oriented applications. Nevertheless, the approaches appeared in the literature deal with these aspects as independent features. We claim that transactional mechanisms are relevant for programming multi-step SLA negotiations and, hence, it is worth investigating the interplay among such formal approaches. In this paper we propose a process calculus, the committed cc-pi, that combines two proposals: (i) cc-pi calculus accounting for SLA negotiation and (ii) cJoin as a model of long running transactions. We provide both a small- and a big-step operational semantics of committed cc-pi as labelled transition systems, and we prove a correspondence result. 
date: 2008
date_type: published
series: Lecture Notes in Computer Science
volume: 4912
publisher: Springer
pagerange: 124-139
id_number: 10.1007/978-3-540-78663-4_10
refereed: TRUE
isbn: 978-3-540-78662-7
book_title: Post-proceedings of the 3rd Symposium on Trustworthy Global Computing (TGC’07)
editors_name: Barthe, Gilles
editors_name: Fournet, Cédric
official_url: http://dx.doi.org/10.1007/978-3-540-78663-4_10
funders: Research supported by the FET-GC II Project IST-2005-16004 Sensoria and by the Italian FIRB Project Tocai.It.
citation:   Buscemi, Maria Grazia and Melgratti, Hernán C.  Transactional Service Level Agreement.   In:  Post-proceedings of the 3rd Symposium on Trustworthy Global Computing (TGC’07).   Lecture Notes in Computer Science, 4912 .  Springer, pp. 124-139.  ISBN 978-3-540-78662-7      (2008)