Abstract
 
In the service-oriented software systems, the services composition process is modeled using the service orchestration languages whose fault-handling and compensation mechanisms are crucial to guarantee the process running successfully. In this paper we propose to extend the syntax of BPEL to improve these two mechanisms. In order to validate their correctness, the composition is transformed to the planning graph. Then the validation of the fault-handling mechanism is regarded as a problem of seeking solution from the solution sets gained from the planning graph. We analyze the services composition structures and construct a relationship matrix to complete the validation of the compensation mechanism. A validation framework is proposed and an experiment is implemented to show our method effectiveness

In service-oriented software systems, the service composition process is modelled using service orchestration languages, whose fault-handling and compensation mechanisms are crucial to ensure that the process is executed correctly. In this paper we propose to extend the syntax of BPEL to improve these two mechanisms. To validate your correction, the composition becomes the planning chart. Next, validation of the fault handling mechanism is considered a solution search problem from the solution sets obtained from the planning graph. We analyse the service composition structures and construct a relationship matrix to complete the validation of the compensation mechanism. A validation framework is proposed and an experiment is implemented to show the effectiveness of our method.