πRBT-calculus protocol for web service long running transactions

Jianwei Yin,Memon Abdul Ghafoor,Jinxiang Dong,M. U R Maree
DOI: https://doi.org/10.1109/ISCIT.2005.1567166
2005-01-01
Abstract:Several existing research protocols have already studied long-running transactions within a formal context. Many of them seemed to use concepts which are not suitable. However, there still exists a great challenge to perform transactions in the loosely coupled environment. In this paper we formally model for compositional protocol with the asynchronous π-calculus with compensation and exception handling. We study the practice of πRBT-calculus, by discussing few paradigmatic examples, its theory, by defining semantics and providing a correct encoding of πRBT-calculus into asynchronous π-calculus. πRBT-calculus is a business process modeling protocol and a distinctive feature of the language is its support for compensation. Compensation is an action taken to recover from error or cope with a change of plan, especially when rollback of a process is not possible. © 2005 IEEE.
What problem does this paper attempt to address?