A paired-net based compensation mechanism for verifying Web composition transactions

Service compensation is a hot spot in web services research. The existing protocols support compensation in static way or in specific environment. A novel Web services transaction compensation mechanism based on paired Petri net is proposed, which can implement composition compensation dynamically and abstract hierarchy modeling of complicated multi-partners business process. Then process is dynamically transferred to reverse compensation process and compensation is executed automatically. The important properties such as reachability, deadlock-free and liveness of compensation paired net system is discussed in detail. Finally, an instance is utilized to implement structured composition compensation with ActiveBPEL. The result shows the feasibility of proposed compensation mechanism.