calculus Protocol forWeb service Long RunningTransactions
Jianwei Yin, AbdulGhafoor Memon, Jinxiang Dong, M. Mujeeb-u-Rehman · 2005
Several existing research protocols havealready studied long-running transactions within a formal context. Manyofthemseemed touseconcepts which arenotsuitable. However, therestill exists a greatchallenge toperform transactions intheloosely coupled environment. Inthis paper weformally modelforcompositional protocol withthe asynchronous x-calculus withcompensation andexception handling. We studythepractice of rRBT-calculus, by discussing fewparadigmatic examples, itstheory, bydefining semantics andproviding acorrect encoding ofXRBT-calculus intoasynchronous x-calculus. ;RBT-calculus isa business process modeling protocol andadistinctive feature ofthe language isits support forcompensation. Compensation isan action taken torecover fromerror orcopewithachange of plan, especially whenrollback ofaprocess isnotpossible.