| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 1.71 MB | Adobe PDF |
Advisor(s)
Abstract(s)
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.
Description
Keywords
Operational semantic Execution process Compensation process Execution context Type safety
Citation
Vaz C., Ferreira C., Ravara A; RAVARA, António – 2009 Dynamic Recovering of Long Running Transactions. In: Kaklamanis – TGC 2008. Lecture Notes in Computer Science, ISBN 978-3-642-00944-0. Vol. 5474, pp. 201-215
Publisher
Springer Nature