A Novel Web Services Composition Compensation Method Based on Extended Petri-Net

Web Services Composition (WSC)-based applications are widely using in the heterogeneous environment, which has inevitably led to the need for reliable methods for the WSC paradigm Firstly this paper presents formal description of Web service and then proposes a novel WSC compensation method based on paired net which can dynamically construct agile compensation business process according to original business process and implements it. Secondly, we introduce a formal definition of execution logs, which ensures the reliability and consistency of composition execution. Finally, Composition-based application of trip reservation process shows that it is feasible.