2、UMP - ST 插件：助力概率本体构建与管理

UMP - ST 插件：助力概率本体构建与管理

1. 需求可追溯性

需求可追溯性指的是能够在前后方向上描述和跟踪需求生命周期的能力。为实现可追溯性，需求应按规范树进行排列，使每个需求与其“父”需求相连，从而快速直观呈现需求间的依赖关系。在 UMP - ST 模型中，每个证据项与它支持的查询相连，而查询又与更高级别的目标相连，这种关联支持需求可追溯性。

除了规范树的层次分解，需求还应与其他学科的工作产品相链接，如分析与设计学科中的规则、实现学科中定义的概率分布，以及需求学科中引出的目标、查询和证据。这些链接提供的可追溯性对验证和变更管理至关重要。通常，不同学科工作产品之间的这种链接通过需求可追溯性矩阵（RTM）实现，但若无合适工具，跟踪 RTM 极为困难，因此 UMP - ST 插件纳入了这一关键特性。

2. PR - OWL 和 MEBN

OWL 作为语义网中创建本体的标准语言，缺乏对不确定性表示的适当支持。大量涉及不确定性的领域迫切需要一种能表示它们的语言。2005 年，Paulo Costa 创建了 PR - OWL（概率 OWL）语言，通过允许创建概率本体的语句扩展了 OWL。

PR - OWL 使用 MEBN 形式主义在标准 OWL 本体中表示不确定性。它将领域建模为 MEBN 理论（MTheory），这是一组由表示模型随机变量的节点组成的 MEBN 片段（MFrags）。MEBN 基于一阶逻辑和贝叶斯网络提供概率推理。

MEBN 是一种基于贝叶斯网络和一阶逻辑（FOL）表示概率知识的语言。它增强了贝叶斯网络的能力，增加了 FOL 的表达能力，还通过添加指定概率分布的方式扩展了 FOL。MEBN 解决了贝叶斯