Execution Analysis of Failure Recovery for Reliable Web Services Transaction

Web Services composition is constituted by long-running transactions, failure and cancellation often occur in business logic of Web services composition, service compensation has become a hotspot in the research of Service-Oriented Computing (SOC). In this paper, we propose a composition compensation mechanism based on Petri nets to automatically implement partial or full compensation of committed tasks, where SCPN can be dynamically constructed and corresponding compensation strategy is triggered. To verify the relaxed atomicity of compensation execution, the execution semantics of two typical composition compensation patterns (selection and iteration) based on Petri nets are analyzed in detail.