摘要
电网调度管理信息系统中使用的图形化流程建模语言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.
作者
陈金
王向东
胡玲辉
潘华
CHEN Jin;WANG Xiong-dong;HU Ling-hui;PA N Hua(Power Dispatching Control Center, Guizhou Power Grid Co., Ltd., Guizhou 550000, China;Yunnan Yundian Tongfang Technology Co., Ltd., Kunming 650000, China)
出处
《电力信息与通信技术》
2018年第4期82-87,共6页
Electric Power Information and Communication Technology
关键词
电网调度管理
业务流程
PETRI网
合理性
power grid dispatching management
business process
Petri net
soundness