[发明专利]基于json格式规约描述的6016B规则测试的文本模型构建方法

说明书

本发明公开了一种基于json格式规约描述的6016B规则测试的文本模型构建方法。本发明通过设计特定的json规约描述格式；构建状态变量表；构建规则库；使用启发式规则分析多规则间的依赖关系：通过判断json格式的规约描述中的条件和结果字段内的状态变量是否有交集来确定依赖关系；验证文本模型的正确性：将处理得到的规则对应的json格式规约描述文件输入DEVS仿真模型，观察其能否正确建模并是否可产生正确响应。本发明使用特定的json格式规约描述可明确地表示6016B单条规则内的逻辑关系及多条规则间的依赖关系。使用归纳好的正则表达式模板库，可较为高效地处理与之相似的规则，并且模板库可拓展。

技术领域

本发明涉及6016B规则测试及DEVS仿真建模技术领域，特别涉及一种基于json格式规约描述的6016B规则测试的文本模型构建方法。

背景技术

MIL-STD-6016B系列消息规则(后简称6016B规则)是由美国军师司令部制定的标准消息格式和通信协议，其作用在于链接传感器、指挥控制系统和武器平台，从而实时自动地传输战场态势、指挥引导、战术协同、武器控制等格式化数据。根据6016B规则，可以实现多个参与单元之间的数据互联互通，美军及其盟军利用其互操作性装备大容量、抗干扰、保密的战术信息分发系统，同时使其具备相对导航、网内识别、任务管理、武器协同、目标监视、空中控制、数字保密话音和电子战支持能力，是美军数据链实现互联互通互操作的基础。

离散事件系统规范(Discrete Event System Specification，DEVS)是一种用于系统建模与仿真的模块化、层次化和形式化的机制，提供了一种对离散事件系统以分级和模块化方式进行建模的方法。DEVS通过6016B规则文本建模得到的测试模型可在真实的硬件/软件系统上执行测试，以验证6016B规则文本的规范性。

由于6016B消息标准一般采用自然语言编写，计算机无法自动识别，无法支撑大规模的智能分析，故需要将消息标准转换成计算机可识别的系统行为表示方法，同时，也要求该表示方法符合DEVS的标准定义，从而实现自动建模。

发明内容

本发明实施例的目的是提供一种基于json格式的规约描述文件的6016B规则测试的文本模型构建方法，通过提供基于json格式的规约描述文件，使6016B规则原文转换成符合DEVS仿真模型所需的格式，实现了对已处理的6016B规则的自动解析，同时，该方法也支持对于尚未处理的6016B新规则的手动扩充；其中应用特定json格式规约描述、正则表达式及启发式规则等方法实现对6016B规则原文的解析及多规则间依赖关系的自动分析。

为实现以上的目的，本发明是通过以下技术方案来实现的：

(1)设计特定的规约描述，该规约描述可将自然语言描述的6016B规则原文与DEVS仿真建模的输入相对应，其中，所述规约描述文件为json格式，主要包含五个字段：输入消息(Input messages)、输出消息(Output messages)、条件(Condition)、结果(Do)和依赖关系(Dependency)；

(2)构建状态变量表，步骤(1)中6016B规则原文与DEVS仿真建模输入的对应需要通过预先规定好的状态变量表来实现，具体地，规约描述中的条件和结果字段填充的即为状态变量；

(3)建立规则库，使用正则表达式实现步骤(1)中将非结构化的6016B原文转换成结构化的规约描述，建立规则库的目的是存储原文与规约描述中各字段对应关系的对应表，其具体形式是解析规则所对应的正则表达式；

(4)分析6016B规则间的依赖关系，通过判断json格式的规约描述中的条件和结果字段内的状态变量是否有交集来确定依赖关系；

(5)将上述步骤处理后得到的6016B规则原文所对应的json格式规约描述文件输入到DEVS仿真模型中进行验证；

经过测试，本发明具有的有益效果是：