Paper Info
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.
Year
DOI
Venue
2008
10.1007/978-3-642-00945-7_6
TGC
Keywords
Field
DocType
related result,structured compensating transaction,process calculus analysis,service-oriented computation,compensation mechanism,structured compensation,process calculus model,convenient technique,stateful model,certain structured compensation programming,general notion,service oriented computing,process calculus,side effect,computer model,transaction processing,independent set
Compensating transaction,Embedding,Programming language,Abstraction,Conversation,Computer science,Correctness,Theoretical computer science,Stateful firewall,Process calculus,Computation
Conference
Volume
ISSN
Citations 
5474
0302-9743
18
PageRank 
References 
Authors
0.77
13
3
Name
Order
Citations
PageRank
Luís Caires1103763.30
Carla Ferreira2674.04
Hugo Torres Vieira313411.17