A process calculus analysis of compensations

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)

Preview

PDF (Pre-print version) Download (271kB) | Preview

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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-642-00945-7_6
Additional Information:	4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Hugo Vieria
Date Deposited:	08 Oct 2014 13:21
Last Modified:	08 Apr 2015 10:37
URI:	http://eprints.imtlucca.it/id/eprint/2297

Actions (login required)

Edit Item