Dynamic Recovering of Long Running Transactions

António Maria Lobo César Alarcão Ravara, Carla Maria Gonçalves Ferreira

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

20 Citations (Scopus)


Most business applications rely on the notion of long running transaction as a fundamental building block. This paper presents a calculus for modelling long running transactions within the framework of the π-calculus, with support for compensation as a recovery mechanism. The underlying model of this calculus is the asynchronous polyadic π-calculus, with transaction scopes and dynamic installation of compensation processes. We add to the framework a type system which guarantees that transactions are unequivocally identified, ensuring that upon a failure the correct compensation process is invoked. Moreover, the operational semantics of the calculus ensures both installation and activation of the compensation of a transaction.
Original languageUnknown
Title of host publicationLecture Notes in Computer Science
Publication statusPublished - 1 Jan 2009
EventInternational Symposium on Trustworthy Global Computing -
Duration: 1 Jan 2008 → …


ConferenceInternational Symposium on Trustworthy Global Computing
Period1/01/08 → …

Cite this