服务网格中的事务服务及基于Petri网的正确性分析  

A Transaction Service for Service Grid and Its Correctness Analysis Based on Petri Net

作　　者：唐飞龙[1] 李明禄[1] 黄哲学[2] 王卓立[3] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030 [2]香港大学电子商业科技研究所 [3]香港大学计算机科学系

出　　处：《计算机学报》2005年第4期667-676,共10页Chinese Journal of Computers

基　　金：国家自然科学基金委项目基金(60473092;60433040);国家"九七三"重点基础研究发展规划项目基金(2002CB312002);教育部中国教育科研网格 China Grid项目基金;上海市科委科技攻关重大项目基金(03dz15027)资助.

摘　　要：面向服务的的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持.该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性.通过 Petri 网分析技术,将两种协调算法模型化为Petri网并验证了它们的正确性.网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明,为网格技术的商业化提供了有效的支持.Service oriented architecture is accelerating applications of grid computing from the science computing to the commerce area. Most of commercial applications need the support of the transaction. This paper proposes a grid transaction service (GridTS) for service grid. The GridTS can discovers dynamically grid services to perform sub transactions, execute coordination algorithms of the atomic or cohesion transaction for these services to achieve expected consistency, according to the type of a transaction. The paper models the two types of coordination algorithms in Petri nets, and validates their correctness. The GridTS can provide powerful ability to manage transaction and hide users from the complex process, provide effective supports for commercial grid applications.

关 键 词：服务网格 事务服务 PETRI网 模型 算法 

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