A Process Calculus Analysis of Compensations

Luís Manuel Marques da Costa Caires; Carla Maria Gonçalves Ferreira

doi:10.1007/978-3-642-00945-7_6

A Process Calculus Analysis of Compensations

Luís Manuel Marques da Costa Caires, Carla Maria Gonçalves Ferreira

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

28 Citations (Scopus)

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.

Original language	Unknown
Title of host publication	Lecture Notes in Computer Science, Springer-Verlag
Pages	87-103
Volume	5474
DOIs	https://doi.org/10.1007/978-3-642-00945-7_6
Publication status	Published - 1 Jan 2009
Event	International Symposium on Trustworthy Global Computing - Duration: 1 Jan 2008 → …

Conference

Conference	International Symposium on Trustworthy Global Computing
Period	1/01/08 → …

Access to Document

10.1007/978-3-642-00945-7_6

Cite this

@inproceedings{5a11a231a92f4e8ab761c66898042cea,

title = "A Process Calculus Analysis of Compensations",

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.",

author = "Caires, {Lu{\'i}s Manuel Marques da Costa} and Ferreira, {Carla Maria Gon{\c c}alves}",

year = "2009",

month = jan,

day = "1",

doi = "10.1007/978-3-642-00945-7_6",

language = "Unknown",

isbn = "978-3-642-00944-0",

volume = "5474",

pages = "87--103",

booktitle = "Lecture Notes in Computer Science, Springer-Verlag",

note = "International Symposium on Trustworthy Global Computing ; Conference date: 01-01-2008",

}

TY - GEN

T1 - A Process Calculus Analysis of Compensations

AU - Caires, Luís Manuel Marques da Costa

AU - Ferreira, Carla Maria Gonçalves

PY - 2009/1/1

Y1 - 2009/1/1

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.

AB - 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.

U2 - 10.1007/978-3-642-00945-7_6

DO - 10.1007/978-3-642-00945-7_6

M3 - Conference contribution

SN - 978-3-642-00944-0

VL - 5474

SP - 87

EP - 103

BT - Lecture Notes in Computer Science, Springer-Verlag

T2 - International Symposium on Trustworthy Global Computing

Y2 - 1 January 2008

ER -