Transaction service for service grid and its correctness analysis based on Petri net

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.