一种图形化模型与文本模型的语义一致性比较方法
CN117688771BActive Publication Date: 2026-07-17XIAN FLIGHT SELF CONTROL INST OF AVIC
Patent Information
- Authority / Receiving Office
- CN · China
- Patent Type
- Patents(China)
- Current Assignee / Owner
- XIAN FLIGHT SELF CONTROL INST OF AVIC
- Filing Date
- 2023-12-15
- Publication Date
- 2026-07-17
Smart Images

Figure CN117688771B_ABST
Abstract
本申请提供一种图形化模型与文本模型的语义一致性比较方法,所述方法包括:步骤1:将图形化表示的模型M1转换为第一有向状态图G1;将文本化表示的模型M2转换为第二有向状态图G2;步骤2:对第一有向状态图G1和第二有向状态图G2分别进行分割和分层处理,形成与第一有向状态图G1对应的第一元素集合Set1,与第二有向状态图G2对应的第二元素集合Set2;步骤3:比较Set1和Set2中元素的数量,如不一致则提示模型信息不一致并结束,否则进行下一步;步骤4:对层级列表Set1_i和Set2_i中的元素Element进行着色;步骤5:比较集合Set1和Set2中的每一个元素是否相同,如果存在则认为对应的模型M1和M2信息等价,即二者一致;否则认为模型M1和M2信息不等价即不一致。
Need to check novelty before this filing date? Find Prior Art