Formal analysis of empirical traces in incident management

conference paper
2005
Hoogendoorn, M.

Jonker, C.M.

Konur, S.

Maanen, P.P. van

Popova, V.

Sharpanskykh, A.

Treur, J.

Xu, L.

Yolum, P.
The project CIM, started in 2003, addresses the problem of automated support for incident management. In this paper some intermediate results are shown, especially on automated support of analysis of errors in traces of incident management. For such traces it can be checked automatically which dynamic properties hold and which fail. The potential of the approach is shown in the formal analysis of a given empirical trace. The approach can also be applied in conjunction with simulation experiments.
TNO Identifier
462336
Repository link
https://resolver.tno.nl/uuid:595419d2-41b5-4d26-a7ba-04374cfd7dc0
Publisher
Springer Verlag
Source title
Applications and Innovations in Intelligent Systems XII, Proceedings of AI-2004, the 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Editor(s)
Macintosh, A.
Ellis, R.
Allen, T.
Place of publication
Cambridge, UK
Pages
237-250
Files
To receive the publication files, please send an e-mail request to TNO Repository.