(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202210651164.5 (22)申请日 2022.06.09 (71)申请人 中国兵器 工业信息中心 地址 100089 北京市海淀区车道沟10号 (72)发明人 王栓奇　宇航　盛珂　武秀华　 李之博　王宇龙　武伟　刘钊　 (74)专利代理 机构 北京慕达星云知识产权代理 事务所 (特殊普通合伙) 11465 专利代理师 符继超 (51)Int.Cl. G06F 30/20(2020.01) G06F 30/15(2020.01) G06F 111/04(2020.01) (54)发明名称 一种基于举证结构建模语言的建模系统 (57)摘要 本发明公开了一种基于举证结构建模语言 的建模系统， 通过元模型描述构建软件可信性举 证结构时所需的核心概念、 相关属性和语义， 形 成举证结构建模语 言， 基于举证结构建模语言建 立软件可信性举证结构建模系统， 解决了举证结 构建模语言表达力不足的问题， 将软件可信性举 证元模型与软件生命周期过程包进行关联、 融合 和集成， 促进了软件可信性举证结构构建与软件 过程信息交互和互操作， 可视化地创建和编辑举 证结构模型， 以提高举证结构构建的自动化水 平。 权利要求书1页 说明书13页 附图6页 CN 115062463 A 2022.09.16 CN 115062463 A 1.一种基于举证结构建模语言的建模系统， 其特征在于， 包括模型编 辑模块、 工具面板 模块、 属性区模块、 缩略图区模块和模型保存 模块； 工具面板模块， 根据举证结构建模语言， 提供GSN基本模型元素以及举证模式扩展元素 和举证模块扩展元 素的对应工具项； 模型编辑模块， 调用所述工具面板模块的模型元素工具项， 输入和编辑模型元素标识 符和对应元类属性， 生成举 证结构模型； 属性区模块， 根据举 证结构建模语言修改和显示举 证结构模型 元素属性； 缩略图区模块， 显示所述模型编辑模块的局部内容或全部内容； 模型保存 模块， 将所述举 证结构模型的工程信息保存为模型文件和模型图表文件。 2.根据权利要求1所述的一种基于举证结构建模语言的建模系统， 其特征在于， 举证结 构建模语言包括抽象语法、 具体语法和 语义； 其中， 抽象语法包括构造块和约束规则， 所述 构造块采用软件 可信性举证元模型来表示， 所述通用规则采用OCL表达式； 具体语法采用图 形化符号， 在GSN基本元素符号基础上进行扩展， 包括GSN基本元素符号、 GSN模式扩展符号 和GSN模块扩展符号； 语义包括软件可信性举 证元模型文本描述和实例化变换规则。 3.根据权利要求2所述的一种基于举证结构建模语言的建模系统， 其特征在于， 软件可 信性举证元模型包括AMG元模型包和SDM元模型包， 并在AMG元模型包、 SDM元模型包与软件 开发过程元模型之间建立联系； AMG元模型包和SDM元模型包均包括若干元类， 以及 元类属性、 元类语义、 元类间关联关 系； AMG元模型包用以表述和刻画举证结构中基本论证元素以及基本论证元素之 间的关系， 包括举证模式和举 证模块相关元 素； SDM元模型包根据MOF规范设置， 通过关联修饰来表述元类之间具体关系。 4.根据权利要求3所述的一种基于举证结构建模语言的建模系统， 其特征在于， AMG元 模型和SDM元模型包之间通过元模型包合并的方式实现访问和引用， 获取举证结构元素中 所需的未实例化变量， 实现AMG和S DM两个元模型包之间元类关联和数据交 互。 5.根据权利要求2所述的一种基于举证结构建模语言的建模系统， 其特征在于， 约束规 则包括通用规则、 约束 条件和举证结构模型元素标记规则； 利用OCL表达式构建通用规则和 约束条件， 所述通用规则包括标识符唯一性、 论证关系元素约束、 论证内容元素约束和举证 模式相关约束， 约束条件 包括单类论证元 素和举证全局结构。 6.根据权利要求2所述的一种基于举证结构建模语言的建模系统， 其特征在于， GSN模 式扩展符号包括结构抽象和元素实体抽象， 所述结构抽象支持GSN元素多样性关系和选择 性关系， 元 素实体抽象表示元 素未开发和未实例化； GSN模块扩展符号包括举 证模块符号、 客元 素符号和扩展论证关系符号。 7.根据权利要求2所述的一种基于举证结构建模语言的建模系统， 其特征在于， 所述实 例化变换规则包括内容规则集和结构规则集， 在举证结构模型构建过程中保持自顶向下构 建顺序， 对具体举证模式GSN结构根据实例化变化规则进 行实例化变换得到相应举证模块， 利用GSN模块扩展符号再经过 组装得到完整的举证结构模 型实例； 其中， 根据内容规则集对 举证模式GSN结构未实例化元素中变量进行具体赋值、 对举证模式中上下文所需信息进行 搜集和引用、 对证据信息进 行收集和整理； 根据结构规则集对举证模式中GSN多样性符号进 行展开、 对GSN选择性扩展 进行选择。权　利　要　求　书 1/1 页 2 CN 115062463 A 2一种基于举证结构建模语言的建模系统 技术领域 [0001]本发明涉及软件可信性工程技术领域， 更具体的说是涉及一种基于举证结构建模 语言的建模系统。 背景技术 [0002]目前， 计算机系统已经成为应用最广泛的人工信息系统， 渗透到政治、 经济、 军事、 文化以及社会生活的各个层面。 软件是计算机系统的灵魂、 信息化系统的核心以及互联网 应用的基石。 随着人们对功能需求不断增加， 软件系统变得日趋庞大复杂和难以驾驭， 缺陷 和漏洞难以避免。 同时由于计算 实体行为存在不可控性和不确定性， 软件系统越来越脆弱， 很多时候 不以人们期望的方式工作， 不总是 让人信任的， 这 就是所谓的“软件可信性 ”问题。 [0003]目前软件可信性研究已成为学术界的研究热点， 软件可信性评估是其中一个极为 重要的方向， 国内外众多知名研究机构都已将软件可信性评估技术作为可信软件领域研究 重点。 如何确定一个软件资源是否可信以及如何评价其可信程度是该方向的一个核心科学 问题， 国内外不少学者已经对此进行了深入研究， 包括基于完整性的可信度量方法、 软件行 为可信度量方法等。 但总体上来讲， 目前还处于探索阶段并不成熟， 有效的度量方法还比较 匮乏且差异性较大， 并存在着不少问题。 [0004]相比之下， 举证技术适用性较强， 具有较为明显的优势和研究前景。 它通过有力和 合理的论证结构来表明论证目标 的实现， 并强调与软件开发过程紧密结合。 它在系统安全 性领域已经研究多年且较为成熟， 并在一些国外军用和民用标准进行了明确 规定， 已从安 全性向可靠性、 信息安全等领域扩展。 但将该方法应用在可信性领域(尤其软件可信性领 域)还处于探索阶段， 在构建和开 发软件可信性举证结构时还存在着一些有待解决 的问题： 缺乏软件可信性内涵的统一认识； 举证结构建模语言表达力不足； 举证结构构建有效性不 够； 举证结构构建与软件开发过程 缺少交互。 [0005]因此， 如何描述举证结构， 提高举证结构的有效性， 促进举证结构构建和软件开发 过程的交 互是本领域 技术人员亟需解决的问题。 发明内容 [0006]有鉴于此， 本发明提供了一种基于举证结构建模语言的建模系统， 通过元模型描 述构建软件可信性举证结构时所需的核心 概念、 相关属性和语义， 形成举证结构建模语言， 基于举证结构建模语言建立软件可信性举证结构建模系统， 解决了举证结构建模语言表达 力不足导致举证结构模型表达不 足的问题。 同时通过将软件可信性举证元模型与软件生命 周期过程包进行关联、 融合和集成， 促进了软件可信性举证结构构建与软件过程信息交互 和互操作， 通过建模系统实现可视化地创建和编辑举证结构模型， 以提高举证结构构建的 自动化水平。 [0007]为了实现上述目的， 本发明采用如下技 术方案： [0008]一种基于举证结构建模语言的建模系统， 包括模型编辑模块、 工具面板模块、 属性说　明　书 1/13 页 3 CN 115062463 A 3