[发明专利]ForCES系统中逻辑功能块拓扑正确性的验证方法

摘要

本发明所公开的一种ForCES系统中逻辑功能块拓扑正确性的验证方法。本发明根据逻辑功能块拓扑能力穷尽并构造可行边，将逻辑功能块拓扑正确性的验证问题转化为每一条实际边的合法性验证问题；通过对可行边和实际边的字符化处理，将原本复杂的实际边的合法性验证问题简化成单纯的字符串的模式匹配问题，进而为利用各种模式匹配算法提高验证效率奠定了基础。本发明的显著技术优点是：1.容易实现，所涉及的字符化处理和模式匹配都是十分常见的技术，几乎所有的编程环境都提供了类似功能；2.可扩展性强，模式匹配中正文和模式的格式可以根据实际需要进行定制以提高匹配精度，允许用户引入或改进各种模式匹配算法以大幅度地提高匹配效率。

主权项

ForCES系统中逻辑功能块拓扑正确性的验证方法，其特征在于与包括如下步骤：步骤(1) 从类名为FEObject（转发件对象）的逻辑功能块中，读取其拓扑能力部件所包含的信息，并根据读取的拓扑能力部件的信息构造拓扑能力链表，使拓扑能力链表上的每个节点对应逻辑功能块拓扑中的一条可行边；所述可行边为逻辑功能块拓扑中的可被允许的有向边；所述的类名为FEObject的逻辑功能块的拓扑能力部件是一个数组，数组的元素是一个结构体，每个结构体对应一个逻辑功能块特征；所述结构体描述了其所对应的逻辑功能块的实例化限制和被允许的邻接关系，结构体的成员包含当前逻辑功能块的类名、当前逻辑功能块的类ID、当前逻辑功能块的最大实例数、当前逻辑功能块的端口限制、与前置邻居逻辑功能块的邻接关系、与后置邻居逻辑功能块的邻接关系；所述的步骤(1)中拓扑能力链表的构造过程具体包含如下步骤：1‑1. 遍历步骤(1)中所述名为FEObject的逻辑功能块的拓扑能力部件数组，从数组元素所对应的结构体中，读取其包含的与前置邻居逻辑功能块的邻接关系和与后置邻居逻辑功能块的邻接关系，然后穷尽并构造所有的可行边；该可行边所包含的信息格式为：起点逻辑功能块的类ID、起点逻辑功能块的输出端口组名、终点逻辑功能块的类ID、终点逻辑功能块的输入端口组名； 1‑2.根据步骤1‑1所述的与前置邻居逻辑功能块的邻接关系所构造的可行边，其起点是前置邻居逻辑功能块，终点是当前逻辑功能块；1‑3.根据步骤1‑1所述的与后置邻居逻辑功能块的邻接关系所构造的可行边，其起点是当前逻辑功能块，终点是后置邻居逻辑功能块；所述的与前置邻居逻辑功能块的邻接关系和与后置邻居逻辑功能块的邻接关系只是表示一种许可，并不表示在实际的逻辑功能块拓扑中必须存在；步骤(2) 遍历步骤(1)所述的拓扑能力链表中的每一条可行边，以可行边的所包含信息中的端口组名为关键字，到该端口组名所属的逻辑功能块的定义文件中，查找该端口组名所对应的端口组的详细信息，重新构造可行边的信息组成，使其包含：起点逻辑功能块类ID、起点逻辑功能块的输出信息、终点逻辑功能块类ID、终点逻辑功能块的输入信息；步骤(3) 遍历步骤(2)所述的拓扑能力链表中新构造的可行边，构造字符串形式的匹配正文，具体包含如下步骤：3‑1. 遍历步骤(2) 所述的拓扑能力链表中的每一条新构造的可行边，对新构造的可行边中所含信息进行字符化处理，得到一个字符串，称之为正文子串，格式为：“起点逻辑功能块类ID：起点逻辑功能块的输出信息：终点逻辑功能块类ID：终点逻辑功能块的输入信息”，“：”为引入的分割字符；3‑2.将步骤3‑1中所述的所有正文子串首尾拼接成一个字符串作为模式匹配的匹配正文，格式为：“正文子串1&正文子串2&﹒﹒﹒”，“&”为引入的分割字符；步骤(4) 从类名为FEObject的逻辑功能块中，读取其拓扑属性部件获得当前配置拓扑；所述当前配置拓扑是一个数组，数组元素是一个结构体，每个结构体对应逻辑功能块拓扑中的一条实际存在的有向边，称之为实际边；构造实际边，使其所含信息包括：起点逻辑功能块类ID、起点逻辑功能块实例号、起点逻辑功能块输出端口组名、起点逻辑功能块输出端口编号、终点逻辑功能块类ID、终点逻辑功能块实例号、终点逻辑功能块输入端口组名、终点逻辑功能块输入端口编号；步骤(5) 遍历步骤(4)所述的当前配置拓扑中的每一条实际边，以实际边的所包含信息中的端口组名为关键字，到该端口组名所属的逻辑功能块的定义文件中，查找该端口组名所对应的端口组的详细信息；重新构造实际边的信息组成，使其包含：起点逻辑功能块类ID、起点逻辑功能块的输出信息、终点逻辑功能块类ID、终点逻辑功能块的输入信息；步骤(6) 遍历步骤(5)所述的当前配置拓扑中新构造的实际边，对每一条实际边所含信息进行字符化处理，得到一个字符串，格式为：“起点逻辑功能块类ID：起点逻辑功能块的输出信息：终点逻辑功能块类ID：终点逻辑功能块的输入信息”，“：”为引入的分割字符；步骤(7) 执行模式匹配，匹配过程中将步骤(3)所述的匹配正文作为模式匹配中的目标，将步骤(6)所述的字符串作为模式与目标逐一地进行匹配；只有在步骤(6)所述的每个字符串都匹配成功的情况下，才返回成功，否则返回失败；所述的成功表示当前的逻辑功能块拓扑正确，失败则表示不正确；所述的步骤(2)和步骤(5)中起点逻辑功能块的输出信息、终点逻辑功能块的输入信息都包含帧和元数据两部分。