|
|||||
|
|
| 服务网格中的事务服务及基于Petri网的正确性分析 | |
| 引用本文： | 唐飞龙,李明禄,黄哲学,王卓立.服务网格中的事务服务及基于Petri网的正确性分析[J].计算机学报,2005,28(4):667-676. |
| 作者姓名： | 唐飞龙 李明禄 黄哲学 王卓立 |
| 作者单位： | 1. 上海交通大学计算机科学与工程系,上海,200030 2. 香港大学电子商业科技研究所,香港 3. 香港大学计算机科学系,香港 |
| 基金项目： | 国家自然科学基金委项目基金(60473092，60433040)，国家“九七三”重点基础研究发展规划项目基金(2002CB312002)，教育部中国教育科研网格 China Grid项目基金，上海市科委科技攻关重大项目基金(03dz15027)资助. |
| 摘 要： | 面向服务的架构(SOA)推动着网格技术从科学计算走向商业领域，大部分商业应用需要事务的支持．该文提出了服务网格环境下用于事务管理的网格事务服务，它能够动态地发现执行子事务的网格服务；根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性．通过Petri网分析技术，将两种协调算法模型化为Petri网并验证了它们的正确性．网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明，为网格技术的商业化提供了有效的支持． |
| 关 键 词： | 服务网格 事务服务 Petri网 模型 算法 |
A Transaction Service for Service Grid and Its Correctness Analysis Based on Petri Net |
|
| TANG Fei-Long,LI Ming-Lu,HUANG Zhe-Xue,WANG Cho-Li.A Transaction Service for Service Grid and Its Correctness Analysis Based on Petri Net[J].Chinese Journal of Computers,2005,28(4):667-676. | |
| Authors: | TANG Fei-Long LI Ming-Lu HUANG Zhe-Xue WANG Cho-Li |
| Affiliation: | TANG Fei Long 1) LI Ming Lu 1) HUANG Zhe Xue 2) WANG Cho Li 3) 1) |
| 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. |
| Keywords: | service grid transaction service Petri net model algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |