Formalizing Description of Long Running Transaction Based on Extended π-calculus
Jisheng Wang · Journal of Jiangxi University of Science and Technology · 2008
With the fundamental concepts of long-running transaction in web services and the syntax and semantic of π-calculus to introduce concisely,a model of extended π-calculus is proposed to formalize the complex process of long-running transaction.This model not only partrays the characteristics of long-running transaction,but also resolve fault and compensation mechanism,which make the process of long-running transaction more clearly and directly.