ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Model-based monitoring of software components

Irčne Grosclaude

The development of component-based software systems opens the possibility of using model-based diagnosis techniques for software systems. We have developed a simple monitoring system based on the modeling of the external behavior of software components by Petri nets. With each component is associated a local controller which observes the messages received and sent by the component and compares them with the specified behavior. As the components interact, information is collected on error emission and time constraint violation to infer indicators about the state of components.

Keywords: Model-based reasoning, Diagnosis, Software components, Supervision, Petri nets

Citation: Irčne Grosclaude: Model-based monitoring of software components. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.1025-1026.

[prev] [tofc] [next]

ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politčcnica de Valčncia on behalf of Asociación Espańola de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligčncia Artificial (ACIA).