摘要
应急联动系统具有的跨组织特性、组织部门间任务协同模式的复杂性以及应急处置时间和资源消耗的不确定性,使得跨组织应急联动系统缺乏形式化的建模和分析方法.为此,文中针对跨组织应急联动系统的形式化建模和分析方法进行研究.首先给出了应急联动任务的形式化模型,分析了跨组织协作过程中任务之间存在的各种关系;在Petri网模型的基础上扩展了任务执行组织部门、资源消耗以及消息传递等任务要素,提出了OTRM_Net的概念,并以此为工具对跨组织应急联动系统中的任务协同模式和应急处置流程进行了形式化建模;最后,基于OTRM_Net模型研究了应急处置流程的时间性能分析、资源冲突检测以及部门内部任务化简等问题,针对上述问题提出了形式化的解决方案.
There is a shortage of formal modeling and analyzing method of ERS （Emergency Response System） due to the cross-organizational characteristics, i. e. , the complexity of cross- organizational coordination pattern, the uncertainty of disposal duration and the resource usage. To solve the above difficulties, a study of the formal modeling and analysis of cross-organizational emergency response system is given in this paper. First, this paper introduces the formal model of emergency response tasks and identifies five kinds of inter-task relations during the cross- organizational coordination process. Then we define the OTRM_Net by extending Petri nets with more task elements including execution organization, resource cost and message etc. Consequently, we can describe the task coordination patterns and disposal processes in the ERS in terms of OTRM_Net. Finally, we further study the timing performance of emergency response processes, resource conflict detection and the reduction or conceal of inner tasks. In addition, we figure out formal ways toward the above issues.
出处
《计算机学报》
EI
CSCD
北大核心
2013年第11期2290-2302,共13页
Chinese Journal of Computers
基金
国家自然科学基金(61170079
61202152)
教育部高校博士点基金(20103718110007)
山东科技大学杰出青年基金(2010KYJQ101)资助
