Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes

Document Type

Article

Publication Date

8-1-2020

Abstract

When an emergency occurs, one of the important challenges is how to form an effective and timely response. An emergency disposal plan is usually organized as a series of emergency response processes manipulated by one emergency command center and several subordinate emergency organizations. Moreover, these subordinate organizations are usually geographically dispersed and need to collaborate with each other. In this case, designing and verifying such cross-organizational collaborative emergency response processes are complicated and time-consuming. To address this problem, we propose a hierarchical modeling and correctness verification approach. A general framework for hierarchical modeling and correctness verification of such processes is first introduced. Then, a top-level model and two kinds of bottom-level models (complex and simple bottom-level ones) are proposed to model such processes and collaboration patterns from different abstraction levels. Next, Petri net refinement operation is adopted to refine the top-level model by using its corresponding bottom-level models to obtain the refined model. Finally, the correctness of the refined model is verified based on reachability graph. A typical running case of cross-organization collaborative fire emergency response processes is given to validate our proposed method.

Identifier

85059046723 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

https://doi.org/10.1109/TSMC.2018.2838053

e-ISSN

21682232

ISSN

21682216

First Page

2845

Last Page

2859

Issue

8

Volume

50

Grant

2014GGX101035

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS