《计算机技术与发展杂志》发表论文赏析
作者:李新家;张崇超;刘梦佳;陈世晖;喻伟;李燕超
单位:1. 国网江苏省电力有限公司,江苏 南京 210024;2. 国网思极网安科技(北京)有限公司,北京 102200
摘要:作为新型电力系统的重要组成部分,用电信息采集系统需要与电网多个业务系统交互并提供计量结算基础数据,导致业务生态较为复杂,难以实现对业务行为的高效建模及分析。 为此,提出一种面向用电信息采集系统的业务行为模型自动化生成和形式化方法。 首先,利用自然语言处理技术对业务行为相关描述进行分析并提取关键词,生成中间模型,然后,利用 BPMN 对中间模型进行解析,转化生成基于 BPMN 的业务行为模型。 进一步,结合扩展 Petri 网模型,定义了 BPMN 模型形式化映射规则,实现对 BPMN 业务行为模型的形式化分析。 实验结果表明,该方法能够在合理的时间、内存和 CPU 开销下,实现业务行为模型的自动化生成和形式化分析,为有效理解、分析和改进用电信息采集系统整体业务布局提供重要支撑。
关键词:新型电力系统;业务行为;自动化生成;形式化;BPMN模型