一种基于时序规约模式状态图的电力系统操作规程生成方法和系统技术方案

本发明专利技术公开了一种基于时序规约模式状态图的电力系统操作规程生成方法和系统，使用时序规约模式描述语言描述电力系统中各个业务模块对应的业务流程和相关操作要求，得到电力系统对应的时序规约集；根据电力系统中各组件的控制信息，对所述时序规约集进行划分，得到每个组件对应的时序规约子集；对时序规约子集进行解析，将解析结果合并生成时序规约模式状态图；对时序规约模式状态图进行检验；对检验合格的时序规约模式状态图进行翻译，得到可阅读格式的电力系统操作规程。本发明专利技术提供的电力系统操作规程生成方法所生成的电力系统操作规程可追踪、易理解，与手工设计电力系统操作规程相比，效率高，更为客观。更为客观。更为客观。

【技术实现步骤摘要】
一种基于时序规约模式状态图的电力系统操作规程生成方法和系统


[0001]本专利技术属于电力运行保障
，涉及一种基于时序规约模式状态图的电力系统操作规程生成方法和系统。

技术介绍

[0002]在电力运行保障
，为保证生产、工作能够安全、稳定、有效运转，相关人员在操作设备、系统或办理业务时必须遵循相应的电力系统操作规程。
[0003]电力系统操作规程的制定过程通常是依据相关的规程设计人员对设备、系统和业务特点的理解，根据需要执行的操作步骤去设计相应的电力系统操作规程。然而，这种方式效率较低，且不同的规程设计人员会给出差别显著的电力系统操作规程，主观性强，设计的电力系统操作规程与设备、系统和业务特点间的对应关系不明确，设计的正确性难以保障。
[0004]时序规约模式描述语言是一种以数学和逻辑为基础的形式语言，使用时序规约模式描述语言生成的状态图模型，在操作规程设计的正确性保障方面有独到的优势。

技术实现思路

[0005]为解决现有技术中存在的不足，本专利技术提供一种基于时序规约模式状态图的电力系统操作规程生成方法和系统，使用时序规约模式描述语言描述电力系统的操作步骤和业务流程，从而自动生成形式化的电力系统操作状态图，进而生成电力系统操作规程，所生成的电力系统操作规程可追踪、易理解，与手工设计电力系统操作规程相比，效率高，更为客观。
[0006]为了实现上述目标，本专利技术采用如下技术方案：
[0007]一种基于时序规约模式状态图的电力系统操作规程生成方法，包括以下步骤：
[0008]步骤1、使用时序规约模式描述语言描述电力系统中各个业务模块对应的业务流程和相关操作要求，得到电力系统对应的时序规约集；
[0009]步骤2、根据电力系统中各组件的控制信息，对所述时序规约集进行划分，得到每个组件对应的时序规约子集；
[0010]步骤3、对时序规约子集进行解析，将解析结果合并生成时序规约模式状态图；
[0011]步骤4、对时序规约模式状态图进行规约检验；
[0012]步骤5、对检验合格的时序规约模式状态图进行翻译，得到可阅读格式的电力系统操作规程。
[0013]本专利技术进一步包括以下优选方案：
[0014]优选地，步骤1中，针对电力系统中各个业务模块对应的业务流程和相关操作要求，使用规约引导工具进行建模，生成以时序规约描述语言描述的时序规约集；
[0015]所述时序规约集中的时序规约按照各个业务模块对应的业务流程和相关操作要求，规定在特定的时间区间内电力系统必须满足的状态条件。
[0016]优选地，时序规约采用的时序规约模式描述语言描述字段包括：scope、condition、component、timing以及response；
[0017]其中，scope、condition是可选字段；
[0018]scope用于指定规约成立的时间区间；
[0019]condition为前置条件，条件成立时会触发一个指定范围内的响应；
[0020]component用于指定规约项所描述的组件；
[0021]timing用于指定response相对于每个condition的预期响应时间
[0022]response用于指代需要满足的特定性质。
[0023]优选地，步骤2中，基于电力系统中各组件的控制信息对时序规约集进行划分，划分后得到每个组件对应的子规约集包含对组件行为的控制信息，并且同一个子规约集中的规约具有相同的输入输出变量。
[0024]优选地，步骤3具体包括：
[0025](1)对各个规约子集进行解析，根据各规约所包含的输入变量和输出变量关系确定规约之间的依赖关系和状态动作时序区间关系；
[0026](2)基于状态动作时序区间信息合成状态图的不同组成成分，包括状态进入或退出条件，状态进入或退出以及状态内行为；
[0027](3)基于规约之间的依赖关系和状态动作时序区间关系，将状态图的不同组成成分合并得到时序规约模式状态图。
[0028]优选地，时序规约模式状态图包括如下信息：
[0029]1)状态，分为包含活动状态以及非活动状态；
[0030]所述状态根据规约之间的依赖关系和状态动作时序区间关系设置层次关系，在同一个层次中，所有的状态只可能是互斥或并行两种关系中的一种；
[0031]互斥是指对于同层状态集来说，同一时刻只有一个状态处于活动态；而并行是指同层状态集中的所有状态都是活动态；
[0032]所述状态的标签包括状态名、注释信息以及状态动作；
[0033]状态动作分为三类：entry、exit以及during，其分别基于状态进入、状态退出以及状态内行为设置；
[0034]其中，entry表示状态激活时发生的动作，exit表示状态退出活动态时发生的动作，during表示状态处于活动态时发生的动作；
[0035]2)转移：用于描述状态图中的逻辑流；
[0036]转移包含如下关键属性：
[0037]Source属性、Destination属性以及Label属性；
[0038]其中，Source属性和Destination属性分别表示状态转移的源状态以及目标状态名；Label属性用于设置转移标签；
[0039]转移标签包含：事件、转移条件、条件动作以及转移动作；
[0040]只有当事件发生，并且满足转移条件时，状态才能发生转移；
[0041]条件动作在转移条件成立时执行，转移动作在转移发生时执行。
[0042]优选地，步骤4中，将时序规约集和时序规约模式状态图导入时序规约模式检验工具，对时序规约模式状态图进行检验，确保生成的时序规约模式状态图满足时序规约集中
的每一条时序规约；
[0043]若状态图与时序规约存在冲突，由检验工具给出该规约与状态图冲突的地方，通过人工验证，对不合理的部分进行修正，直到所有时序规约均被满足。
[0044]优选地，步骤5中，将检验合格的时序规约模式状态图翻译为流程图或甘特图数据结构，将数据结构中信息填入预先定义的电力系统操作规程文本模板，生成文本形式的电力系统操作规程。
[0045]优选地，时序规约模式状态图翻译过程为：
[0046]首先，对状态图中的每个状态进行拓扑排序，确定状态产生的先后顺序；
[0047]然后，按照状态产生的先后顺序，将状态图中的状态信息和转移条件映射为流程图中的流程图节点或甘特图中的一个任务。
[0048]优选地，步骤5中，对于状态图中的状态，将其翻译为电力系统操作过程中系统需要满足的状态，对状态图中的转移条件翻译为电力系统操作过程中需要执行的步骤，根据不同的业务需求，生成不同的电力系统操作规程。
[0049]本专利技术还提供一种基于时序规约模式状态图的电力系统操作规程生成系统，
[0050]时序规约集构建模块，用于使用时序规约模式描本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于时序规约模式状态图的电力系统操作规程生成方法，其特征在于：所述方法包括以下步骤：步骤1、使用时序规约模式描述语言描述电力系统中各个业务模块对应的业务流程和相关操作要求，得到电力系统对应的时序规约集；步骤2、根据电力系统中各组件的控制信息，对所述时序规约集进行划分，得到每个组件对应的时序规约子集；步骤3、对时序规约子集进行解析，将解析结果合并生成时序规约模式状态图；步骤4、对时序规约模式状态图进行规约检验；步骤5、对检验合格的时序规约模式状态图进行翻译，得到可阅读格式的电力系统操作规程。2.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方法，其特征在于：步骤1中，针对电力系统中各个业务模块对应的业务流程和相关操作要求，使用规约引导工具进行建模，生成以时序规约描述语言描述的时序规约集；所述时序规约集中的时序规约按照各个业务模块对应的业务流程和相关操作要求，规定在特定的时间区间内电力系统必须满足的状态条件。3.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方法，其特征在于：时序规约采用的时序规约模式描述语言描述字段包括：scope、condition、component、timing以及response；其中，scope、condition是可选字段；scope用于指定规约成立的时间区间；condition为前置条件，条件成立时会触发一个指定范围内的响应；component用于指定规约项所描述的组件；timing用于指定response相对于每个condition的预期响应时间response用于指代需要满足的特定性质。4.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方法，其特征在于：步骤2中，基于电力系统中各组件的控制信息对时序规约集进行划分，划分后得到每个组件对应的子规约集包含对组件行为的控制信息，并且同一个子规约集中的规约具有相同的输入输出变量。5.根据权利要求1所述的一种基于时序规约模式状态图的电力系统操作规程生成方法，其特征在于：步骤3具体包括：(1)对各个规约子集进行解析，根据各规约所包含的输入变量和输出变量关系确定规约之间的依赖关系和状态动作时序区间关系；(2)基于状态动作时序区间信息合成状态图的不同组成成分，包括状态进入或退出条件，状态进入或退出以及状态内行为；(3)基于规约之间的依赖关系和状态动作时序区间关系，将状态图的不同组成成分合
并得到时序规约模式状态图。6.根据权利要求5所述的一种基于时序规约模式状态图的电力系统操作规程生成方法，其特征在于：时序规约模式状态图包括如下信息：1)状态，分为包含活动状态以及非活动状态；所述状态根据规约之间的依赖关系和状态动作时序区间关系设置层次关系，在同一个层次中，所有的状态只可能是互斥或并行两种关系中的一种；互斥是指对于同层状态集来说，同一时刻只有一个状态处于活动态；而并行是指同层状态集中的所有状态都是活动态；所述状态的标签包括状态名、注释信息以及状态动作；状态动作分为三类：entry、exit以及during，其分别基于状态进入、状态退出以及状态内行为设置；其中，ent...

【专利技术属性】
技术研发人员：徐忠锴，解凯，
申请(专利权)人：南京南瑞继保工程技术有限公司，
类型：发明
国别省市：