13pm2d-73 Pi Rbt-Calculus Protocol For Web Service Long Running Transactions

Jw Yin,Ag Memon,Jx Dong,Mur Maree
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 pi-calculus with compensation and exception handling. We study the practice of pi(RBT)-calculus, by discussing few paradigmatic examples, its theory, by defining semantics and providing a correct encoding Of pi(RBT)-calculus into asynchronous pi-calculus. pi(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.
What problem does this paper attempt to address?