Inter-organizational workflow modeling and analysis of incident command systems

Incident command systems (ICS) play a critical role in saving human lives and minimizing the damages to various types of properties in the event of incidents such as flood and terrorist attack. Formal modeling of incident command and control workflows allows the examination of potential issues in the incident response procedures. In our previous work we introduced WIFA, a formalism that supports modeling, verification and enactment of workflows. In this paper, we extend WIFA to inter-organizational workflows to better address the needs of ICS workflows, because an ICS typically involves multiple agencies' effort.