Model-Based Diagnosability Analysis for Web Services
作者： Stefano Bocconi , Claudia Picardi , Xavier Pucel , Daniele Theseider Dupré , Louise Travé-Massuyès
DOI: 10.1007/978-3-540-74782-6_4
关键词:
摘要: In this paper we deal with the problem of model-based diagnosability analysis for Web Services. The goal is to determine whether information one can observe during service execution sufficient precisely locate (by means diagnostic reasoning) source problem. major difficulty in context Services that models are distributed and no single entity has a global view complete model. propose an approach computes decentralized framework, described [1], based on Supervisor coordinating several Local Diagnosers. We also show be performed without requiring Diagnosers different operations than those needed diagnosis. proposed incremental: each fault first analyzed independently occurrence other faults, then results used analyze combinations behavioral modes, avoiding most cases exhaustive check all combinations.
springer.com
sci-hub.st 参考文章(13)
Markus Stumptner, Wolfgang Mayer, Debugging Failures in Web Services Coordination. software engineering and knowledge engineering. pp. 536- 543 ,(2006)
Yannick Pencolé, Anika Schumann, Scalable diagnosability checking of event-driven systems international joint conference on artificial intelligence. pp. 575- 580 ,(2007)
Peter Struss, Oskar Dressler, A TOOLBOX INTEGRATING MODEL-BASED DIAGNOSABILITY ANALYSIS AND AUTOMATED GENERATION OF DIAGNOSTICS ,(2005)
Charles Pecheur, Roberto Cavada, Alessandro Cimatti, Formal verification of diagnosability via symbolic model checking international joint conference on artificial intelligence. pp. 363- 369 ,(2003)
Luca Console, Claudia Picardi, Daniele Theseider Dupré, A framework for decentralized qualitative model-based diagnosis international joint conference on artificial intelligence. ,vol. 1, pp. 286- 291 ,(2007)
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis, Diagnosability of discrete-event systems IEEE Transactions on Automatic Control. ,vol. 40, pp. 1555- 1575 ,(1995) , 10.1109/9.412626
Yannick Pencolé, Diagnosability analysis of distributed discrete event systems european conference on artificial intelligence. pp. 38- 42 ,(2004)
Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré, Enhancing Web services with diagnostic capabilities european conference on web services. pp. 182- 191 ,(2005) , 10.1109/ECOWS.2005.12
Raymond Reiter, A theory of diagnosis from first principles Artificial Intelligence. ,vol. 32, pp. 352- 371 ,(1987) , 10.1016/0004-3702(87)90062-2
L. Trave-Massuyes, T. Escobet, X. Olive, Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations systems man and cybernetics. ,vol. 36, pp. 1146- 1160 ,(2006) , 10.1109/TSMCA.2006.878984