Argumentation Graph Based Web Service Fault Diagnosis

Along with the standardization of Web services composition language and the widespread acceptance of composition technologies, Web services composition is becoming an efficient and cost-effective way to develop modern business applications. As Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to identifying incorrect activities in service process executions. In this paper, we present a diagnosis method based on the Service Argumentation Graph (SAG) model and the service execution test cases for handling service faults. By analyzing the dependence relations of activities in SAG model, our diagnosis method identifies the incorrect activities, based on the differences between successful and failed execution test cases, which the execution test cases are partial executions and re-executions of composite service. Experimental results show that our model is effective in diagnosing faults in web service composition of various scales.