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

编号 zgly0001606768

文献类型 期刊论文

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

作者 陈月娟  张锦 

作者单位 太原理工大学矿业工程学院  内蒙古工业大学矿业学院 

母体文献 地理与地理信息科学 

年卷期 2018年02期

年份 2018 

分类号 P694  TD76 

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

文摘内容 针对煤炭开采所导致的矿山地面灾害,该文提出一种基于异常事件驱动的矿山地面灾害应急、预警服务链组合模型(Mining Event-driven Emergency early Warning Geospatial Service chain Model,MEWGSM)。首先通过业务流程执行语言BPEL对模型进行形式化描述;其次建立BPEL到随机Petri网的转换规则,将BPEL模型转化为随机Petri网(Stochastic Petri Nets,SPN)表示;最后通过SPN的可达性分析验证模型的正确性,借助SPN的数学分析计算功能,分析服务链组合模型的性能。结果表明:MEWGSM模型能够提供数据服务支持,及时发现灾害发生前表征信息的变化,并采取合理防灾措施。该文构建的服务链组合模型可为矿山地面灾害的预防提供决策辅助手段,满足矿山应急、预警服务快速响应等需求。