UML中的条件，语义的完整性可以通过树判断

受约束对象

条件谓词中的个体称为受约束对象。一般指条件谓词表达式中的变量。

受约束对象的全域

对于约束集COND中的任意谓词cond(CO)COND,受约束对象集CO={co1,co2,…,com},使cond (CO)为真和为假的受约束对象CO的个体域集分别为D和,则把D的论述范围称为受约束对象CO的全域,记为Dom(cond (CO))= D.

把约束集看成复合谓词的集合,这是最一般的情形.约束集的全域覆盖性通过复合谓词的个体域反映谓词的真值.约束集中的任意一个复合谓词condi都包含了多个受约束对象,使condi的真值取永真的个体域的组合形成了集合Di,所有的这种Di构成了约束集的全域。

实例

客户订单变更时,需要对订单的各种状态进行判断,包括订单的发货状态、生产状态、原材料供应商发货状态,并依据此进行生产变更、调整采购计划以及调整生产计划.因此,受约束对象以及原子谓词的形式如下。

受约束对象	原子谓词
发货状态	DLV1: 发货状态=已发货 DLV2: 发货状态=未发货
生产状态	PD1: 生产状态=已生产但未结束 PD2: 生产状态=未生产 PD3: 生产状态=已生产完
供应商发货状态	PVD1: 供应商状态=供应商已发货 PVD2: 供应商状态=供应商未发货

通过判定树剪枝，过程如下：

剪枝后的判定树F的叶节点都是可标识的,并且和语义集COND中的复合谓词一一对应,因此语义集COND满足全域覆盖性。