基于SPN的矿山地面灾害应急预警服务BPEL建模分析  

Modeling and Analysis of Mine Ground Hazard Emergency Warning Service with BPEL Based on SPN

作　　者：陈月娟[1,2] 张锦 CHEN Yuejuan;ZHANG Jin(College of Mining Engineering,Taiyuan University of Technology,Taiyuan 030024;College of Mining,Inner Mongolia University of Technology,Hohhot 010051,China)

机构地区：[1]太原理工大学矿业工程学院,山西太原030024 [2]内蒙古工业大学矿业学院,内蒙古呼和浩特010051

出　　处：《地理与地理信息科学》2018年第2期47-52,共6页Geography and Geo-Information Science

基　　金：国家重点研发计划地球观测与导航专项(2016YFB0502601);国家自然科学基金项目(41771443、41371373)

摘　　要：针对煤炭开采所导致的矿山地面灾害,该文提出一种基于异常事件驱动的矿山地面灾害应急、预警服务链组合模型(Mining Event-driven Emergency early Warning Geospatial Service chain Model,MEWGSM)。首先通过业务流程执行语言BPEL对模型进行形式化描述;其次建立BPEL到随机Petri网的转换规则,将BPEL模型转化为随机Petri网(Stochastic Petri Nets,SPN)表示;最后通过SPN的可达性分析验证模型的正确性,借助SPN的数学分析计算功能,分析服务链组合模型的性能。结果表明:MEWGSM模型能够提供数据服务支持,及时发现灾害发生前表征信息的变化,并采取合理防灾措施。该文构建的服务链组合模型可为矿山地面灾害的预防提供决策辅助手段,满足矿山应急、预警服务快速响应等需求。According to the ground hazard caused by coal mining,which affect the safety production of mining area,a unusual Mining Events-driven Emergency early Warning Geospatial Service chain Model(MEWGSM)was proposed in the paper.The MEWGSM was described formally by the Business Process Execution Language(BPEL)which has become the de facto standard in the Web services composition area.The Stochastic Petri Net(SPN)was introduced,then conversion rules was built to convert the BPEL model to SPN model.With the accessibility analysis functions of the SPN,the correctness of the models was verified.With the help of another mathematical analysis and calculation function of SPN,the performance analysis of the service chain combination model was carried out by establishing the corresponding Markov chain based on isomorphic relation between SPN and Markov chain.The results show that the MEWGSM created by this paper can provide data services support,and can be used as a decision-making assistant for disaster prevention.With the assistance of MEWGSM,the decision-makers can detect the information representation changes in time before the formation of a disaster,and take reasonable disaster prevention measures,which can meet the demands of the mine emergency and early warning service.

关 键 词：地理信息服务组合 BPEL 随机PETRI网 MEWGSM模型 服务性能分析 

分 类 号：P694[天文地球—地质学] P208