Web服务事务的动态补偿模型  

A dynamic compensation model for web service transactions

作　　者：钟发荣[1] 吴佳杰[1] 

机构地区：[1]浙江师范大学数理与信息工程学院,浙江金华321004

出　　处：《浙江师范大学学报（自然科学版）》2010年第3期248-255,共8页Journal of Zhejiang Normal University:Natural Sciences

基　　金：国家自然科学基金资助项目(60873234)

摘　　要：对π-演算进行扩展,提出了作为Web服务事务动态补偿模型的Exπ-演算.该演算的补偿可随着Web服务的交互动态地建立起来,同时给出了结构同余关系和操作语义.为了保证事务的唯一性,定义了一个简单的类型系统.最后,将该简化的Exπ模型与静态补偿模型和并行动态补偿模型进行比较,结果表明:本演算比其他演算更灵活,表达能力更强.The Exit-calculus was presented as a dynamic compensation model for web service transactions. The extended calculus could support compensation associated with interactions, in which compensation processes could be dynamically installed according to interactions. It was also equipped with structural congruence and operational semantics. In order to guarantee uniqueness of transactions, a simple type system was intro- duced. Moreover, the expressiveness of the simplified model was compared with static compensation model and dynamic compensation model. It was found that the extended calculus was more flexible and expressive than others.

关 键 词：WEB服务 服务组合 事务 补偿 表达能力 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]