[发明专利]事件序列的校验方法及系统

说明书

本发明公开了一种事件序列的校验方法及系统。其中，该方法包括：构建校验脚本文件，其中，所述校验脚本文件中包含校验逻辑；获取待检验的事件序列文件，其中，所述事件序列文件中包含有按照时间顺序排列的多个事件；利用所述校验逻辑对所述事件序列文件中的每个事件进行校验，得到校验结果。本发明解决了相关技术中在自动检测控制作业是否符合校验逻辑时，校验困难的技术问题。

技术领域

本发明涉及事件处理技术领域，具体而言，涉及一种事件序列的校验方法及系统。

背景技术

在复杂的控制系统中，每一个控制分支的控制任务都由一系列的控制作业组成，每一个控制分支编排完毕后，都需要检查这一组控制作业的安排是否正确。是否正确的标准是多样的、复杂的。将每一个正确的标准定义为一种校验逻辑，则针对每一组控制作业，存在着多种校验逻辑。正确的控制作业需要符合所有控制逻辑。

传统的方案是由领域专家对控制作业进行人工检查，判断是否符合校验逻辑。随着控制作业体量和校验逻辑数量的增加，人工检查方式工作量越来越大，难以满足要求。

人工检查的方式工作量巨大，可靠性不高，随意性大，复杂情况下难以满足要求。

另一种方式是自动检测，但是实现自动检查需要领域专家编写校验程序。校验程序一般采用通用高级编程语言、编辑工具和运行环境。这种方式存在着如下缺点：

（一）编写困难：领域专家一般领域知识丰富，但通用编程能力一般不强。通用编程语言虽然功能强大，但涉及面广、掌握困难，编写校验程序对领域专家提出了较高的要求，这也是自动校验难以推广的主要原因。

（二）校核困难：通用编程语言的应用极为灵活，不同专家编写同样的校验逻辑时，表现形式存在巨大差异，第三方理解困难。因此，很难由第三方专家对校验逻辑进行校核，也不利于传承、学习和改进。

针对上述的问题，目前尚未提出有效的解决方案。

发明内容

本发明实施例提供了一种事件序列的校验方法及系统，以解决相关技术中在自动检测控制作业是否符合校验逻辑时，校验困难的技术问题。

根据本发明实施例的一个方面，提供了一种事件序列的校验方法，包括：构建校验脚本文件，其中，所述校验脚本文件中包含校验逻辑；获取待检验的事件序列文件，其中，所述事件序列文件中包含有按照时间顺序排列的多个事件；利用所述校验逻辑对所述事件序列文件中的每个事件进行校验，得到校验结果。

进一步地，所述校验脚本文件中包括多个构成元素，所述多个构成元素包括：状态空间定义，初始状态数据和/或结束状态数据，状态变迁数据，其中，所述状态空间定义中包含有至少一个状态分量，所述状态分量对应有状态名称和状态类型；所述初始状态数据对应于所述状态空间定义的实例数据，对每个状态分量，初始状态数据中包含有对应状态名称的名称字段和状态值；所述结束状态数据对应于所述状态空间定义的实例数据，对每个状态分量，结束状态数据对应有状态名称的名称字段和状态值，其中，所述状态变迁数据中包括下述分量：变迁名称、触发变迁的事件集、触发变迁的约束数据、变迁触发前的状态要求数据、变迁触发后的状态数据，所述触发变迁的事件集包含有：事件名称和备份事件间隔；所述触发变迁的约束数据包含有：约束名称和约束参数列表。

进一步地，构建校验脚本文件包括：确定与校验逻辑对应的所述多个构成元素；对每个所述构成元素进行可视化编辑，得到元素文件，其中，所述元素文件支持通过预设编程语言实现事件代号与事件名称对应查询；根据所述元素文件构建所述校验脚本文件。

进一步地，利用所述校验逻辑对所述事件序列文件中的每个事件进行校验，得到校验结果包括：按顺序判断所述事件序列中的每一事件状态的变迁触发是否满足预设条件，以确定所述事件是否符合所述校验逻辑，得到所述校验结果。