31、基于CORAS的变化和演进系统风险分析

基于CORAS的变化和演进系统风险分析

1. 区间算术与风险图语义

在风险图的设定中，区间算术的定义如下：
- ([p_i, p_j] \cdot [p_k, p_l] \stackrel{\text{def}}{=} [p_i \cdot p_k, p_j \cdot p_l])
- ([p_i, p_j] \cdot p \stackrel{\text{def}}{=} [p_i \cdot p, p_j \cdot p])
- ([p_i, p_j] + [p_k, p_l] \stackrel{\text{def}}{=} [p_i + p_k, p_j + p_l])
- ([p_i, p_j] + p \stackrel{\text{def}}{=} [p_i + p, p_j + p])
- ([p_i, p_j] - [p_k, p_l] \stackrel{\text{def}}{=} [p_i - p_k, p_j - p_l])
- ([p_i, p_j] - p \stackrel{\text{def}}{=} [p_i - p, p_j - p])
- (p - [p_k, p_l] \stackrel{\text{def}}{=} [p - p_k, p - p_l])

风险图 (D) 的语义 ([[D]]) 是 (D) 中元素所定义表达式的合取，形式上定义为 ([[D]] \stackrel{\text{def}}{=} \bigwedge_{e \in D} [[e]])。如果 ([[D]]) 的每个合取项都为真，则称该风险图是正确的；如果可以从 ([[D]]) 推导出 False，则称 (D) 是