Authors:
Lina Ye
and
Philippe Dague
Affiliation:
LRI, Univ. Paris-Sud, CNRS and Gemo, INRIA Saclay, Parc Club Orsay Université, France
Keyword(s):
BPEL Web services, Petri nets, consistency-based diagnosis, causal model, decentralized diagnosis.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Internet Technology
;
Protocols and Standards
;
System Integration
;
Web Information Systems and Technologies
;
Web Security and Privacy
;
Web Services and Web Engineering
Abstract:
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 global diagnoses.