Automated support for adaptive incident management
Authors: Abbink, H., Xu, L. et al.
Journal: Proceedings of ISCRAM 2004 - 1st International Workshop on Information Systems for Crisis Response and Management
Pages: 69-74
ISBN: 9789076971087
Abstract: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 or 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. © Proceedings ISCRAM 2004.
Source: Scopus
Automated Support for Adaptive Incident Management
Authors: Abbink, H., Xu, L. et al.
Conference: First International Workshop on Information Systems for Crisis Response and Management, ISCRAM’04
Dates: May 2004
Abstract: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 or 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.
http://www.few.vu.nl/~sharp/papers/iscram2004.pdf
Source: Manual
Preferred by: Lai Xu