节点文献

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

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

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 唐飞龙李明禄黄哲学王卓立

【Author】 TANG Fei Long 1) LI Ming Lu 1) HUANG Zhe Xue 2) WANG Cho Li 3) 1) (Department of Computer Science & Engineering, Shanghai Jiao Tong University, Shanghai 200030) 2) (E Business Technology Institute, University of Hong Kong, Hong Kong) 3) (Department of Computer Science, University of Hong Kong, Hong Kong)

【机构】 上海交通大学计算机科学与工程系香港大学电子商业科技研究所香港大学计算机科学系 上海200030上海200030香港香港

【摘要】 面向服务的的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持.该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性.通过 Petri 网分析技术,将两种协调算法模型化为Petri网并验证了它们的正确性.网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明,为网格技术的商业化提供了有效的支持.

【Abstract】 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网模型算法
【Key words】 service gridtransaction servicePetri netmodelalgorithm
【基金】 国家自然科学基金委项目基金(60473092;60433040);国家“九七三”重点基础研究发展规划项目基金(2002CB312002);教育部中国教育科研网格 China Grid项目基金;上海市科委科技攻关重大项目基金(03dz15027)资助.
  • 【文献出处】 计算机学报 ,Chinese Journal of Computers , 编辑部邮箱 ,2005年04期
  • 【分类号】TP393.09
  • 【被引频次】26
  • 【下载频次】494
节点文献中: 

本文链接的文献网络图示:

本文的引文网络