基于扩展π演算的长事务处理形式化描述  

Formalizing Description of Long Running Transaction Based on Extended π-calculus

作　　者：李淑芝[1] 吴问春[1] 王继升[1] 

机构地区：[1]江西理工大学信息工程学院,江西赣州341000

出　　处：《江西理工大学学报》2008年第4期1-4,共4页Journal of Jiangxi University of Science and Technology

基　　金：江西省教育厅科技资助项目(赣教技字[2007]208号)

摘　　要：为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.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.

关 键 词：WEB服务 长事务处理 Π演算 补偿机制 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]