A Formal Refinement Method for Transactional Web Service Composition Compensation Based on Paired Petri Net

Long running Web Services composition has weaker notion of atomicity, which makes the traditional ACID mechanism for transaction processing no longer fit for Web Services composition transaction. Therefore, this paper first formally defines Web services composition compensation based on paired Petri net. Then it proposes five composition compensation patterns on the basis of paired Petri net: sequence, parallel, selection, discriminator and iteration. Finally, it discusses the refinement of Web services composition compensation process and the abstract replacement process of complex multi-partner Web services composition compensation business refinement. This refinement method not only can effectively eliminate the effects of accomplished activities, but also realize the abstract hierarchical modeling of complex multi- partner business process.