Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site A Process Calculus Analysis of Compensations
Luis Caires, Carla Ferreira, Hugo Vieira
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.