18、基于GRL模型的自动化变更影响分析方法

基于GRL模型的自动化变更影响分析方法

1. 引言

在软件开发过程中，对需求模型进行变更影响分析是一项重要任务。本文将介绍一种基于GRL（Goal-oriented Requirements Language）模型的自动化变更影响分析方法，该方法可以帮助维护人员和分析师评估GRL规范中变更的后果。

2. 相关概念和定义

• TypeLink ：Links → LinkTypes，返回链接类型，即TypeLink(l) = type。
• Source ：Links → Elements，返回链接的意向元素源，即Source(l) = src。
• Destination ：Links → Elements，返回链接的意向元素目标，即Destination(l) = dest。

3. GRL模型依赖图（GMDG）

GRL模型依赖图（GMDG）是一个有向图GMDG = (N, E)，其中：
- N ：是节点的集合。每个GRL意向元素、指标或链接都映射到一个节点n ∈ N。
- E ：是有向边的集合。边e ∈ E表示GMDG中两个节点之间的依赖关系，用实心箭头（−→）表示。

构建GMDG的算法如下：

Procedure Name: ConstructGMDG
In