Decentralized Diagnosis for BPEL Web Services

This paper proposes a decentralized diagnosis approach for BPEL Web services, where a local diagnoser is provided to each BPEL service and should cooperate with a coordinator. It should noted that there is no global model in this approach but local model for each service. The strategy of local consistency-based diagnosis consists in abstracting diagnostic knowledge base from data dependencies contained in the enriched BPEL Petri net model of each service and then reasoning from the observations with a set of local possible source faults. The coordinator has to put together all the local diagnosis information from local diagnosers and infer