节点文献
服务网格中的事务服务及基于Petri网的正确性分析
A Transaction Service for Service Grid and Its Correctness Analysis Based on Petri Net
【摘要】 面向服务的的架构(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.
【Key words】 service grid; transaction service; Petri net; model; algorithm;
- 【文献出处】 计算机学报 ,Chinese Journal of Computers , 编辑部邮箱 ,2005年04期
- 【分类号】TP393.09
- 【被引频次】26
- 【下载频次】494