应急预案的形式化描述

文章编号:1673-193X(2006)-04-0029-06应急预案的形式化描述＊李红臣1,邓云峰1,刘艳军2(1.中国安全生产科学研究院,北京100029)(2.国家安全生产监督管理总局研究中心,北京100016)摘要:为了更好地利用信息技术支持应急管理,将应急预案与应急信息系统有机地关联起来,需要对应急预案进行形式化描述。应急预案形式化描述是建立应急预案理论框架的前提和基础。本文基于对应急预案和应急响应过程的分析,提出对应急预案的描述方法,包括组织结构描述、应急资源描述和应急过程描述。关键词:应急预案;预案模型;应急管理;应急信息系统中图分类号:X928.03文献标识码:AFormaldescriptionofemergencyplansLIHong-chen1,DENGYun-feng1,LIUYan-jun2(1.ChinaAcademyofSafetyScienceandTechnology,Beijing100029,China)(2.ResearchCenterofStateAdministrationofWorkSafety,Beijing100016,China)Abstract:Inordertotakeadvantageofinformationtechnologytosupportemergencymanagement,itneedstodescribee-mergencyplansformallysothattheycanbecorrelatedwithemergencyinformationsystemsclosely.Formaldescriptionofemergencyplansisthepreconditionandbasistoestablishthetheoreticalframeworkforemergencyplans.Basedontheanalysisofemergencyplansandemergencyresponseprocesses,thispaperproposesaformaldescriptionapproachfore-mergencyplans,includingthedescriptionoforganization,thedescriptionofemergencyresourcesandthedescriptionofemergencyprocesses.Keywords:emergencyplan;emergencyplanmodel;emergencymanagement;emergencyinformationsystem收稿日期:2006-05-11作者简介:李红臣(1970-),男,博士,副研究员。＊基金项目:国家自然科学基金项目(编号:70473018)资助1引言为了最大程度地减少突发事件造成或者可能造成的损失和破坏,应该制定正确的应急预案。应急预案又称应急计划(Emergencyplan),是为应对突发事件而预先制定的有关计划或者方案。为了更好地利用信息技术支持应急管理,将应急预案与应急信息系统有机地关联起来,需要对应急预案进行形式化描述,建立应急预案的理论框架。应急预案形式化描述就是将现实世界中的应急业务流程抽象出来,用一种形式化的、计算机可处理的方式来表示,这种形式化的结果称为预案模型。本文基于对现有应急预案和应急响应过程的分析,提出一个对应急预案的形式化描述方法。第2卷第4期2006年8月中国安全生产科学技术JournalofSafetyScienceandTechnologyVol.2No.4Aug.20062应急预案建模2.1相关研究目前,学术界还没有建立应急预案的理论框架。对于一个编制完成的应急预案,我们经常使用演习手段去检验应急预案的可操作性和正确性。然而,预案演习无法完全检验应急预案的适用性和正确性,而且在实际应用当中也是不可行的。因此,在应急预案缺少理论框架的情况下,我们很难去深入分析和定量地评价一个应急预案。在学术领域中,对应急预案分析和形式化描述问题的研究不多,而且也不深入。文献[3]使用基于事件的任务框架来描述应急响应过程中任务之间的依赖关系。作者认为:在应急响应过程中,很难完全按照应急预案执行规定的操作指令。因此,应急业务流程应该“即席制作”(Improvisation),并侧重于应急人员之间的信息交互(Communication)。文献[4]将形式逻辑应用于事故应急管理,使用形式逻辑描述有关应急知识,建立应急预案的逻辑模型。M.Hoogendoorn等人在文献[16]中讨论了应急预案的形式化建模和分析问题,其建模方法是基于形式化描述语言———时序轨迹语言(TTL:TemporalTraceLanguage)并对其