eprintid: 2297
rev_number: 9
eprint_status: archive
userid: 59
dir: disk0/00/00/22/97
datestamp: 2014-10-08 13:21:57
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-08 13:21:57
type: book_section
metadata_visibility: show
creators_name: Caires, Luis
creators_name: Ferreira, Carla
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: A process calculus analysis of compensations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
abstract: 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.
date: 2009
series: Lecture notes in computer science
number: 5474
publisher: Springer
pagerange: 87-103
id_number: 10.1007/978-3-642-00945-7_6
refereed: TRUE
isbn: 978-3-642-00945-7
book_title: Trustworthy Global Computing
official_url: http://dx.doi.org/10.1007/978-3-642-00945-7_6
citation:   Caires, Luis and Ferreira, Carla and Torres Vieira, Hugo   A process calculus analysis of compensations.   In:  Trustworthy Global Computing.   Lecture notes in computer science  (5474).  Springer, pp. 87-103.  ISBN 978-3-642-00945-7      (2009)  
document_url: http://eprints.imtlucca.it/2297/1/TorresVieira_LNCS_5474.pdf