电网调度管理信息系统中业务流程可靠性检测方法研究

摘要

电网调度管理信息系统中使用的图形化流程建模语言GBPL缺少形式化的语义分析技术,使得建模者无法确保建模产生的业务流程的可靠性.提出了一种映射方法,可将GBPL定义的业务流程转换为Petri网,从而使用Petri网来形式定义业务流程的语义;并借助Petri网的分析技术和分析工具,将对业务流程的可靠性检测转换为对Petri网的合理性检测.实验结果表明,该方法可有效识别出电网调度管理信息系统中不可靠的业务流程.