39、相关产品组合成产品线

相关产品组合成产品线

产品线合并的基础概念

在产品线构建中，将相关产品合并成产品线是一种重要的策略。例如，在由特征 $f_A$ 和 $f_B$ 构成的产品线 $A + B$ 中，选择 $f_A$ 可得到控制器 $A$ 的原始状态图，选择 $f_B$ 则得到控制器 $B$ 的原始状态图。当把控制器 $C$ 合并到这个产品线时，会产生一个新的表示，从这个新表示中可以推导出所有三个原始状态图。

下面给出合并构建产品线的定义：
定义 10（合并构建）：$PL’ = \langle FM’, M’, R’ \rangle$ 是通过将产品 $M$ 合并到产品线 $PL$（表示为 $PL’ = PL \oplus_{W,S} M$）构建的产品线，规则如下：
- 特征模型更新 ：添加一个新特征 $f_M$ 来表示合并的产品 $M$，作为所有现有特征的替代。如果 $FM = \langle F, \phi \rangle$，那么 $FM’ = \langle F’, \phi’ \rangle$，其中 $F’ = F \cup { f_M | f_M \in F, f_M \notin F }$，且 $\phi’ = (\phi \vee f_M) \wedge \bigwedge_{f \in F} \neg (f_M \wedge f)$。
- 领域模型生成 ：通过将现有领域模型与新添加的模型 $M$ 合并来生成新的领域模型。如果 $C = compare(M, M, W)$ 且 $S = match(M, M, C, S)$，那么 $M’ = merge(M, M, S)$。
- 注释关