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

Research on Business Process Reliability Detection Method in Power Grid Dispatching Management Information System

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

GBPL, a graphical process modeling language used in power grid dispatching management information system, due to lack of formal semantics and analysis techniques, it is difficult to ensure the reliability of business processes modeling. This paper presents a mapping method for transforming business processes modeled by GBPL into Petri nets. The generated Petri nets are used to provide a formal semantics of those business processes. Thus, the reliability of business processes modeling can be transformed to checking the soundness of the corresponding Petri nets, using analysis techniques and analysis tools of Petri nets. Finally, the experimental results show that this method can identify the unreliable business processes in power grid dispatching management information system.