A Validation Framework for the Service-Oriented Process Designing

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.