Chronicles for On-line Diagnosis of Distributed Systems

The formalism of chronicles has been proposed to monitor and diagnose dynamic physical systems. Even if efficient chronicle recognition algorithms exist, it is now well-known that distributed approaches are better suited to monitor real systems. In this article, we adapt the chronicle-based approach to a distributed context and illustrate this work on the monitoring of software components.

[1]  E. Mayer.  Inductive Learning of Chronicles , 1998, ECAI.

[2]  Malik Ghallab,et al.  Situation Recognition: Representation and Algorithms , 1993, IJCAI.

[3]  Marie-Odile Cordier,et al.  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , 2005, Artif. Intell..

[4]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

[5]  Jean-Jacques Bellanger,et al.  A Model-Based Approach for Learning to Identify Cardiac Arrhythmias , 1999, AIMDM.

[6]  Gregory Provan.  A Model-Based Diagnosis Framework for Distributed Systems , 2002 .

[7]  Albert Benveniste,et al.  Distributed Monitoring of Concurrent and Asynchronous Systems* , 2003, Discret. Event Dyn. Syst..

[8]  Y. Pencole,et al.  Incremental decentralized diagnosis approach for the supervision of a telecommunication network , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[9]  Nico Roos,et al.  An analysis of multi-agent diagnosis , 2002, AAMAS '02.

[10]  Alban Grastien,et al.  Monitoring Web service networks in a model-based approach , 2005, Third European Conference on Web Services (ECOWS'05).

[11]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[12]  Marie-Odile Cordier,et al.  Alarm Driven Monitoring Based on Chronicles , 2000 .

[13]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[14]  R. Boel,et al.  Petri Net model-based distributed diagnosis for large interacting systems , 2005 .

[15]  K. S. Fu,et al.  IEEETRANSACTIONS®ON SYSTEMS,MAN, AND CYBERNETICS , 1981 .

[16]  Joseba Quevedo,et al.  TIGER: real-time situation assessment of dynamic systems , 1994 .

[17]  Irene Grosclaude.  Model-based monitoring of component-based software systems , 2004 .

[19]  C. Gorman,et al.  PI , 2021, Encyclopedic Dictionary of Archaeology.

[20]  C. Dousson,et al.  Chronicles Construction Starting from the Fault Model of the System to Diagnose , 2004 .

[21]  Gianfranco Lamperti,et al.  Diagnosis of a class of distributed discrete-event systems , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[22]  Luciano Baresi,et al.  Smart monitors for composed services , 2004, ICSOC '04.

[23]  Christophe Dousson,et al.  Extending and Unifying Chronicle Representation with Event Counters , 2002, ECAI.

[24]  Marie-Odile Cordier,et al.  Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition , 2001, ILP.

[25]  Thierry Vidal,et al.  Distributed Chronicles for On-line Diagnosis of Web Services , 2007 .

[26]  Michel Dojat,et al.  Scenario recognition for temporal reasoning in medical domains , 1998, Artif. Intell. Medicine.

[27]  Christophe Dousson,et al.  Discovering Chronicles with Numerical Time Constraints from Alarm Logs for Monitoring Dynamic Systems , 1999, IJCAI.

[28]  Michel Dojat,et al.  Temporal Scenario Recognition for Intelligent Patient Monitoring , 1997, AIME.

[29]  Marco Aiello,et al.  Planning and monitoring the execution of web service requests , 2003, International Journal on Digital Libraries.

[30]  Wolfgang Nejdl,et al.  Formalizing Reasoning About Change: A Temporal Diagnosis Approach , 1995, AI*IA.

[31]  Liliana Ardissono,et al.  Cooperative Model-Based Diagnosis of Web Services , 2005 .

[32]  Monique Thonnat,et al.  Activity Recognition from Video Sequences using Declarative Models , 2000, ECAI.

[33]  Marie-Odile Cordier,et al.  Alarm Processing and Reconfiguration in Power Distribution Systems , 1998, IEA/AIE.