TY  - CHAP
T2  - Trustworthy Global Computing
PB  - Springer
UR  - http://dx.doi.org/10.1007/978-3-642-00945-7_6
A1  - Caires, Luis
A1  - Ferreira, Carla
A1  - Torres Vieira, Hugo 
Y1  - 2009///
TI  - A process calculus analysis of compensations
SP  - 87
T3  - Lecture notes in computer science
N2  - Conversations in service-oriented computation are frequently long running. In such a setting, traditional ACID properties of transactions cannot be reasonably implemented, and compensation mechanisms seem to provide convenient techniques to, at least, approximate them. In this paper, we investigate the representation and analysis of structured compensating transactions within a process calculus model, by embedding in the Conversation Calculus certain structured compensation programming abstractions inspired by the ones proposed by Butler, Ferreira, and Hoare. We prove the correctness of the embedding after developing a general notion of stateful model for structured compensations and related results, and showing that the embedding induces such a model.
ID  - eprints2297
EP  - 103
SN  - 978-3-642-00945-7
AV  - public
N1  - 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
ER  -