Automated support for adaptive incident management
| Autor: | Abbink, H., van Dijk, R, Dobos, T., Hoogendoorn, M., Jonker, C.M., Konur, S., van Maanen, P., Popova, V., Sharpanskykh, O., van Tooren, P., Treur, J., van der Valk, J.., Xu, L., Yolum, P., Walle, B. van de, Carle, B. |
|---|---|
| Přispěvatelé: | Walle, B. van de, Carle, B., Artificial intelligence, Network Institute, Social AI, TNO Technische Menskunde |
| Jazyk: | angličtina |
| Rok vydání: | 2004 |
| Předmět: | |
| Zdroj: | Walle, B. van deCarle, B., Proceedings of the International Workshop on Information Systems for Crisis Response and Management '04, Brussels, Belgium, May, 2004 ISCRAM2004, 69-74 Scopus-Elsevier Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04, 69-74. Brussels : International Community on Information systems for crisis response and management STARTPAGE=69;ENDPAGE=74;TITLE=Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04 Abbink, H, van Dijk, R, Dobos, T, Hoogendoorn, M, Jonker, C M, Konur, S, van Maanen, P, Popova, V, Sharpanskykh, O, van Tooren, P, Treur, J, van der Valk, J, Xu, L & Yolum, P 2004, Automated Support For Adaptive Incident Management . in B V D Walle & B Carle (eds), Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004) . pp. 69-74 . < http://citeseer.ist.psu.edu/669379.html; http://www.cs.vu.nl/ wai/Papers/ISCRAM04CIM.pdf > Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004), 69-74 STARTPAGE=69;ENDPAGE=74;TITLE=Proceedings of the First International Workshop on Information Systems for Crisis Response and Management (ISCRAM 2004) Vrije Universiteit Amsterdam Walle, B. van de; Carle, B. (ed.), Proceedings of the first International Workhop on Information Systems for Crisis Responce and Management ISCRAM'04, pp. 69-74 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|