【技术实现步骤摘要】
事件序列的校验方法及系统
本专利技术涉及事件处理
，具体而言，涉及一种事件序列的校验方法及系统。
技术介绍
在复杂的控制系统中，每一个控制分支的控制任务都由一系列的控制作业组成，每一个控制分支编排完毕后，都需要检查这一组控制作业的安排是否正确。是否正确的标准是多样的、复杂的。将每一个正确的标准定义为一种校验逻辑，则针对每一组控制作业，存在着多种校验逻辑。正确的控制作业需要符合所有控制逻辑。传统的方案是由领域专家对控制作业进行人工检查，判断是否符合校验逻辑。随着控制作业体量和校验逻辑数量的增加，人工检查方式工作量越来越大，难以满足要求。人工检查的方式工作量巨大，可靠性不高，随意性大，复杂情况下难以满足要求。另一种方式是自动检测，但是实现自动检查需要领域专家编写校验程序。校验程序一般采用通用高级编程语言、编辑工具和运行环境。这种方式存在着如下缺点：(一)编写困难：领域专家一般领域知识丰富，但通用编程能力一般不强。通用编程语言虽然功能强大，但涉及面广、掌握困难，编写校验程序对领域专家提出了较高...
【技术保护点】
1.一种事件序列的校验方法，其特征在于，包括：/n构建校验脚本文件，其中，所述校验脚本文件中包含校验逻辑；/n获取待检验的事件序列文件，其中，所述事件序列文件中包含有按照时间顺序排列的多个事件；/n利用所述校验逻辑对所述事件序列文件中的每个事件进行校验，得到校验结果。/n
【技术特征摘要】
1.一种事件序列的校验方法，其特征在于，包括：
构建校验脚本文件，其中，所述校验脚本文件中包含校验逻辑；
获取待检验的事件序列文件，其中，所述事件序列文件中包含有按照时间顺序排列的多个事件；
利用所述校验逻辑对所述事件序列文件中的每个事件进行校验，得到校验结果。
2.根据权利要求1所述的方法，其特征在于，所述校验脚本文件中包括多个构成元素，所述多个构成元素包括：状态空间定义，初始状态数据和/或结束状态数据，状态变迁数据，其中，所述状态空间定义中包含有至少一个状态分量，所述状态分量对应有状态名称和状态类型；所述初始状态数据对应于所述状态空间定义的实例数据，对每个状态分量，初始状态数据中包含有对应状态名称的名称字段和状态值；所述结束状态数据对应于所述状态空间定义的实例数据，对每个状态分量，结束状态数据对应有状态名称的名称字段和状态值，其中，所述状态变迁数据中包括下述分量：变迁名称、触发变迁的事件集、触发变迁的约束数据、变迁触发前的状态要求数据、变迁触发后的状态数据，所述触发变迁的事件集包含有：事件名称和备份事件间隔；所述触发变迁的约束数据包含有：约束名称和约束参数列表。
3.根据权利要求2所述的方法，其特征在于，构建校验脚本文件包括：
确定与校验逻辑对应的所述多个构成元素；
对每个所述构成元素进行可视化编辑，得到元素文件，其中，所述元素文件支持通过预设编程语言实现事件代号与事件名称对应查询；
根据所述元素文件构建所述校验脚本文件。
4.根据权利要求2所述的方法，其特征在于，利用所述校验逻辑对所述事件序列文件中的每个事件进行校验，得到校验结果包括：
按顺序判断所述事件序列中的每一事件状态的变迁触发是否满足预设条件，以确定所述事件是否符合所述校验逻辑，得到所述校验结果。
5.根据权利要求4所述的方法，其特征在于，按顺序判断所述事件序列中的每一事件状态的变迁触发是否满足预设条件，以确定所述事件是否符合所述校验逻辑包括：
判断事件状态的变迁触发是否满足约束条件，并在所述变迁触发不满足所述约束条件的情况下，确定所述事件状态的变迁触发不符合所述校验逻辑；
在所述变迁触发满足所述约束条件的情况下，判断所述事件是否为备份事件，并在所述事件...
【专利技术属性】
技术研发人员：董扬威，邹雪梅，李亮，彭德云，朱华，
申请(专利权)人：北京航天飞行控制中心，
类型：发明
国别省市：北京;11
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。