TY  - CHAP
N2  - 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. 
ID  - eprints124
EP  - 139
SN  - 978-3-540-78662-7
ED  - Barthe, Gilles
ED  - Fournet, Cédric
T2  - Post-proceedings of the 3rd Symposium on Trustworthy Global Computing (TGC?07)
PB  - Springer
SP  - 124
TI  - Transactional Service Level Agreement
T3  - Lecture Notes in Computer Science
N1  - The final publication is available at www.springerlink.com.
AV  - none
A1  - Buscemi, Maria Grazia
A1  - Melgratti, Hernán C.
UR  - http://dx.doi.org/10.1007/978-3-540-78663-4_10
M1  - 4912
Y1  - 2008///
ER  -