[图书][B] Automated support for adaptive incident management
H Abbink, R van Dijk, T Dobos, M Hoogendoorn… - 2004 - idl.iscram.org
2004•idl.iscram.org
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.
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.
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.
idl.iscram.org
以上显示的是最相近的搜索结果。 查看全部搜索结果