Abstract
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.
This work was partially supported by the EU, grant IST-516933, project WS-DIAMOND.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Console, L., Picardi, C., Theseider Dupré, D.: A framework for decentralized qualitative model-based diagnosis. In: IJCAI-07. Proc. 20th Int. Joint Conference on Artificial Intelligence (2007)
Ardissono, L., Console, L., Goy, A., Petrone, G., Picardi, C., Segnan, M., Theseider Dupré, D.: Enhancing Web Services with diagnostic capabilities. In: Proceedings of the 3rd IEEE European Conference on Web Services, IEEE Computer Society Press, Los Alamitos (2005)
Yan, Y., Cordier, M.O., Pencolé, Y., Grastien, A.: Monitoring web service networks in a model-based approach. In: Proceedings of the 3rd IEEE European Conference on Web Services, IEEE Computer Society Press, Los Alamitos (2005)
Mayer, W., Stumptner, M.: Debugging failures in web services coordination. In: DX 2006. Proceedings of the 17th International Workshop on Principles of Diagnosis, pp. 171–179 (2006)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–96 (1987)
Pencole, Y.: Diagnosability analysis of distributed discrete event systems. In: 16th European Conference on Artificial Intelligence, 4th edn., pp. 43–47 (2004)
Schumann, A., Pencolé, Y.: Scalable diagnosability checking of event-driven systems. In: IJCAI 2007, pp. 575–580 (2007)
Sampath, M., Sengputa, R., Lafortune, S., Sinnamohideen, K., Teneketsis, D.: Diagnosability of discrete-event systems. IEEE Trans. AC 40, 1555–1575 (1995)
Cimatti, A., Pecheur, C., Cavada, R.: Formal verification of diagnosability via symbolic model checking. In: Proceedings of IJCAI 2003, pp. 363–369 (2003)
Jiang, S., Huang, Z., Chandra, V., Kumar, R.: A polynomial time algorithm for diagnosability of discrete event systems. IEEE Trans. AC 46(8), 1318–1321 (2001)
Struss, P., Dressler, O.: A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics. In: DX 2003. Proceedings of the 14th International Workshop on Principles of Diagnosis (2003)
Travé-Massuyès, L., Escobet, T., Olive, X.: Diagnosability analysis based on component supported analytical redundancy relations. IEEE Trans. SMC, Part A 36(6) (2006)
Cordier, M.O., Dague, P., Lévy, F., Montmain, J., Staroswiecki, M., Travé-Massuyès, L.: Conflicts versus analytical redundancy relations: A comparative analysis of the model-based diagnostic approach from the artificial intelligence and automatic control perspectives. IEEE Trans. SMC. Part B. 34(5), 2163–2177 (2004)
Cordier, M.O., Travé-Massuyès, L., Pucel, X.: Comparing diagnosability in continuous and discrete-event systems. In: DX 2006. Proceedings of the 17th International Workshop on Principles of Diagnosis, pp. 55–60 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bocconi, S., Picardi, C., Pucel, X., Theseider Dupré, D., Travé-Massuyès, L. (2007). Model-Based Diagnosability Analysis for Web Services. In: Basili, R., Pazienza, M.T. (eds) AI*IA 2007: Artificial Intelligence and Human-Oriented Computing. AI*IA 2007. Lecture Notes in Computer Science(), vol 4733. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74782-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-74782-6_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74781-9
Online ISBN: 978-3-540-74782-6
eBook Packages: Computer ScienceComputer Science (R0)