(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 20221095120 5.2 (22)申请日 2022.08.09 (71)申请人 南京南瑞继保电气有限公司 地址 211102 江苏省南京市江宁区江宁经 济技术开发区苏源大道69号 申请人 南京南瑞继保工程 技术有限公司 (72)发明人 徐忠锴　解凯　 (74)专利代理 机构 北京智绘未来专利代理事务 所(普通合伙) 11689 专利代理师 肖继军 (51)Int.Cl. G06Q 10/06(2012.01) G06Q 50/06(2012.01) (54)发明名称 一种基于时序规约模式状态图的电力系统 操作规程生成方法和系统 (57)摘要 本发明公开了一种基于时序规约模式状态 图的电力系统操作规程生 成方法和系统， 使用时 序规约模式描述语言描述电力系统中各个业务 模块对应的业务流程和相关操作要求， 得到电力 系统对应的时序规约集； 根据电力系统中各组件 的控制信息， 对所述时序规约集进行划分， 得到 每个组件对应的时序规约子集； 对时序规约子集 进行解析， 将解析结果合并生 成时序规约模式状 态图； 对时序规约模式状态图进行检验； 对检验 合格的时序规约模式状态图进行翻译， 得到可阅 读格式的电力系统操作规程。 本发 明提供的电力 系统操作规程生成方法所生成的电力系统操作 规程可追踪、 易理解， 与手工设计电力系统操作 规程相比， 效率高， 更为 客观。 权利要求书3页 说明书9页 附图2页 CN 115456336 A 2022.12.09 CN 115456336 A 1.一种基于时序规约模式状态图的电力系统操作规 程生成方法， 其特 征在于： 所述方法包括以下步骤： 步骤1、 使用时序规约模式描述语言描述电力系统中各个业务模块对应的业务流程和 相关操作要求， 得到电力系统对应的时序规约集； 步骤2、 根据电力系统中各组件的控制信息， 对所述时序规约集进行划分， 得到每个组 件对应的时序规约子集； 步骤3、 对时序规约子集进行解析， 将解析 结果合并生成时序规约模式状态图； 步骤4、 对时序规约模式状态图进行规约检验； 步骤5、 对检验合格的时序规约模式状态图进行翻译， 得到可阅读格 式的电力系统操作 规程。 2.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方 法， 其特征在于： 步骤1中， 针对电力系统中各个业务模块对应的业务流程和相关操作要求， 使用规约引 导工具进行建模， 生成以时序规约描述语言描述的时序规约集； 所述时序规约 集中的时序规约按照各个业务模块对应的业务流程和相关操作要求， 规 定在特定的时间区间内电力系统必须满足的状态条件。 3.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方 法， 其特征在于： 时序规约 采用的时序规约 模式描述语言描述字段包括： scope、 condition、 comp onent、 timing以及respo nse； 其中， scope、 co ndition是可选字段； scope用于指定规约成立的时间区间； condition为前置条件， 条件成立时会触发一个指定范围内的响应； component用于指定规约项所描述的组件； timing用于指定respo nse相对于每 个condition的预期响应时间 response用于指代需要满足的特定性质。 4.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方 法， 其特征在于： 步骤2中， 基于电力系统中各组件的控制信 息对时序规约 集进行划分， 划分后得到每个 组件对应的子规约集包含对组件行为的控制 信息， 并且同一个子规约集中的规约具有相同 的输入输出变量。 5.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方 法， 其特征在于： 步骤3具体包括： (1)对各个规约子集进行解析， 根据各规约所包含的输入变量和输出变量关系确定规 约之间的依赖关系和状态动作时序区间关系； (2)基于状态动作时序区间信息合成状态图的不同组成成分， 包括状态进入或退出条 件， 状态进入或退 出以及状态内行为； (3)基于规约之间的依赖关系和状态动作时序区间关系， 将状态图的不同组成成分合权　利　要　求　书 1/3 页 2 CN 115456336 A 2并得到时序规约模式状态图。 6.根据权利要求5所述的一种基于时序规约模式状态图的电力系统操作规程生成方 法， 其特征在于： 时序规约模式状态图包括如下信息： 1)状态， 分为包 含活动状态以及非活动状态； 所述状态根据规约之间的依赖关系和状态动作时序区间关系设置层次关系， 在同一个 层次中， 所有的状态只可能是互斥或并行两种关系中的一种； 互斥是指对于同层状态集来说， 同一时刻只有一个状态处于活动态； 而并行是指同层 状态集中的所有状态都是活动态； 所述状态的标签包括状态名、 注释信息以及状态动作； 状态动作分为三类： entry、 exit以及during， 其分别基于状态进入、 状态退出以及状态 内行为设置； 其中， entry表示状态激活时发生的动作， exit表示状态退出活动态时发生的动作， during表示状态处于活动态时发生的动作； 2)转移： 用于描述状态图中的逻辑 流； 转移包含如下关键属性： Source属性、 Desti nation属性以及Label属性； 其中， Source属性和Destination属性分别表示状态转移的源状态以及目标状态名； Label属性用于设置转移标签； 转移标签包 含： 事件、 转移条件、 条件动作以及转移动作； 只有当事 件发生， 并且 满足转移条件时， 状态才能发生 转移； 条件动作在转移条件成立时执 行， 转移动作在转移发生时执 行。 7.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方 法， 其特征在于： 步骤4中， 将时序规约集和时序规约模式状态图导入时序规约模式检验工具， 对时序规 约模式状态图进 行检验， 确保生成的时序规约模式状态图满足时序规约集中的每一条时序 规约； 若状态图与时序规约存在冲突， 由检验工具给出该规约与状态图冲突的地方， 通过人 工验证， 对不 合理的部分进行修 正， 直到所有时序规约均被满足。 8.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方 法， 其特征在于： 步骤5中， 将检验合格的时序规约模式状态图翻译为流程图或甘特图数据 结构， 将数据 结构中信息填入预先定义的电力系统操作规程文本模板， 生成文本形式的电力系统操作规 程。 9.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方 法， 其特征在于： 时序规约模式状态图翻译过程 为： 首先， 对状态图中的每 个状态进行拓扑排序， 确定状态产生的先后顺序； 然后， 按照状态产生的先后顺序， 将状态图中的状态信息和转移条件 映射为流程图中权　利　要　求　书 2/3 页 3 CN 115456336 A 3