Skip to main content

Formal Modelling and Comparing of Disaster Plans.

Hoogedoorn, M., Jonker, C., Popova, V., Sharpanskykh, A. and Xu, L., 2005. Formal Modelling and Comparing of Disaster Plans. In: ISCRAM’05: The Second International Conference on Information Systems for Crisis Response and Management,, 18-20 April 2005, Brussels, Belgium.

Full text available as:

Formal Modelling and Comparing of Disaster Plans.pdf - Accepted Version


Official URL:


Every municipality in The Netherlands has its own disaster plan. A disaster plan contains the blueprint of how to handle incidents in the municipality with the aim of preventing incidents to grow into disasters. Given that each municipality has its own organisations, enterprises, infrastructure, and general layout, the disaster plans also differ. On the other hand, the disaster plans have a lot in common. Some municipalities use a common starting point, others develop their own disaster plan from scratch. In this paper two independently developed disaster plan are compared using formal modelling techniques. The analysis reveals that some interesting differences do not stem from a difference in the makings of the municipality. These differences touch the fundamentals of the communication during incident management, and might well have a critical impact in dealing with pending disasters.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Disaster plan; formal analysis; comparison.
Group:Faculty of Science & Technology
ID Code:37224
Deposited By: Symplectic RT2
Deposited On:18 Jul 2022 12:04
Last Modified:18 Jul 2022 12:04


Downloads per month over past year

More statistics for this item...
Repository Staff Only -