TY - GEN
T1 - Model-based diagnosability analysis for web services
AU - Bocconi, Stefano
AU - Picardi, Claudia
AU - Pucel, Xavier
AU - Dupré, Daniele Theseider
AU - Travé-Massuyès, Louise
N1 - Funding Information:
This work was fi~ndedb y the U.S. Department of Energy, Energy Research and Generation, ~ ~ n d Ge rrant # DE-FG03 93ER81504. Preparation of ceramic powders and nitriding was per-fol-med by Cercorn Inc., Vista CA, while centrifirgal spinning was performed by isc cons in CentriS~rgalM, 'a~tkcshaWI.
PY - 2007
Y1 - 2007
N2 - In this paper we deal with the problem of model-based diagnosability analysis for Web Services. The goal of diagnosability analysis is to determine whether the information one can observe during service execution is sufficient to precisely locate (by means of diagnostic reasoning) the source of the problem. The major difficulty in the context of Web Services is that models are distributed and no single entity has a global view of the complete model. In the paper we propose an approach that computes diagnosability for the decentralized diagnostic framework, described in [1], based on a Supervisor coordinating several Local Diagnosers. We also show that diagnosability analysis can be performed without requiring the Local Diagnosers different operations than those needed for diagnosis. The proposed approach is incremental: each fault is first analyzed independently of the occurrence of other faults, then the results are used to analyze combinations of behavioral modes, avoiding in most cases an exhaustive check of all combinations.
AB - In this paper we deal with the problem of model-based diagnosability analysis for Web Services. The goal of diagnosability analysis is to determine whether the information one can observe during service execution is sufficient to precisely locate (by means of diagnostic reasoning) the source of the problem. The major difficulty in the context of Web Services is that models are distributed and no single entity has a global view of the complete model. In the paper we propose an approach that computes diagnosability for the decentralized diagnostic framework, described in [1], based on a Supervisor coordinating several Local Diagnosers. We also show that diagnosability analysis can be performed without requiring the Local Diagnosers different operations than those needed for diagnosis. The proposed approach is incremental: each fault is first analyzed independently of the occurrence of other faults, then the results are used to analyze combinations of behavioral modes, avoiding in most cases an exhaustive check of all combinations.
UR - http://www.scopus.com/inward/record.url?scp=38049129335&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-74782-6_4
DO - 10.1007/978-3-540-74782-6_4
M3 - Conference contribution
AN - SCOPUS:38049129335
SN - 9783540747819
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 24
EP - 35
BT - AI IA 2007
PB - Springer Verlag
T2 - 10th Congress of the Italian Association for Artificial Intelligence, AI IA 2007
Y2 - 10 September 2007 through 13 September 2007
ER -