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