7、服务需求可变性建模：DiVA方法解析

服务需求可变性建模：DiVA方法解析

1. 需求映射

现代系统规模庞大且功能广泛，这导致需求文档通常也十分庞大、缺乏结构且具有异构性。这类文档难以阅读和理解，尤其是与可变性和适应性相关的属性，由于其分散和隐含的特点，手动提取非常困难。这就使得手动创建DiVA模型并定义其各种元素（如维度/变体、上下文变量、约束等）变得颇具挑战。

采用半自动化方法，开发者可以初步了解领域和系统，创建一个初始模型，后续再进行迭代优化。以下是DiVA RE服务/特征模型到DiVA适应元模型的映射总结：
| 特征树元素 | DiVA元模型元素 |
| — | — |
| 子特征 | 候选变体 |
| 父特征 | 候选维度 |
| 强制特征 | 元模型的基础模型 |
| 作为约束附加到任何特征的上下文信息（约束有多个值） | 枚举变量 |
| 作为约束附加到任何特征的上下文信息（约束只有一个变量） | 布尔变量 |
| 特征模型中与上下文信息相关的约束（单个特征内指定多个上下文时的内部特征约束） | 元模型中的候选规则 |
| 特征模型中与上下文信息相关的约束（通过分析兄弟特征和父特征之间的关系构建的特征间约束） | 元模型中的候选规则 |
| 特征模型中与非上下文特征变体相关的约束（用非上下文信息指定的约束） | 元模型中的候选约束 |
| 特征树中添加到任何特征的属性（属性名称与特征名称相同） | 属性 |
| 属性工件的值（属性等于特征名称） | 属性值 |

这种映射可以灵活应用，但如果直接使用，可能会导致同一特征被同时建议为变体和维度的重复情况。可以通过更严格的策略并考虑特征模型中