Model-based diagnosability analysis for web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4733 LNAI, Issue , 2007, Pages 24-35

  Bocconi, Stefano ^a   Picardi, Claudia ^a   Pucel, Xavier ^b   Dupré, Daniele Theseider ^c   Travé Massuyès, Louise ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITÉ DE TOULOUSE   (France)

^c UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION ANALYSIS; MATHEMATICAL MODELS; PROBLEM SOLVING;

COMPUTES DIAGNOSABILITY; DIAGNOSABILITY; DIAGNOSTIC REASONING; SUPERVISOR COORDINATING;

WEB SERVICES;

EID: 38049129335     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74782-6_4     Document Type: Conference Paper

References (14)

1. 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)
2. 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)
3. Yan, Y., Cordier, M.O., Pencóle, 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)
4. Mayer, W., Stumptner, M.: Debugging failures in web services coordination. In: DX'06. Proceedings of the 17th International Workshop on Principles of Diagnosis, pp. 171-179 (2006)
5. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-96 (1987)
6. Pencole, Y.: Diagnosability analysis of distributed discrete event systems. In: 16th European Conference on Artificial Intelligence, 4th edn., pp. 43-47 (2004)
7. Schumann, A., Pencolé, Y.: Scalable diagnosability checking of event-driven systems. In: IJCAI'07, pp. 575-580 (2007)
8. Sampath, M., Sengputa, R., Lafortune, S., Sinnamohideen, K., Teneketsis, D.: Diagnosability of discrete-event systems. IEEE Trans. AC 40, 1555-1575 (1995)
9. Cimatti, A., Pecheur, C., Cavada, R.: Formal verification of diagnosability via symbolic model checking. In: Proceedings of IJCAI'03, pp. 363-369 (2003)
10. 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)
11. Struss, P., Dressier, O.: A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics. In: DX'03. Proceedings of the 14th International Workshop on Principles of Diagnosis (2003)
12. 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)
13. 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)
14. Cordier, M.O., Travé-Massuyès, L., Pucel, X.: Comparing diagnosability in continuous and discrete-event systems. In: DX'06. Proceedings of the 17th International Workshop on Principles of Diagnosis, pp. 55-60 (2006)