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 Dynamic Recovering of Long Running Transactions
Cátia Vaz, Carla Ferreira, António Ravara
abstract:
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 $\pi$-calculus, with support for compensation as a
recovery mechanism. The underlying model of this calculus is the
asynchronous polyadic $\pi$-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.
