5、软件概念模型适应性度量与验证

软件概念模型适应性度量与验证

1. 计算适应性

当描述性字典被完全解释后，就可以直接确定概念模型（CM）的适应性。这里将CM的适应性定义为：该CM能够表达的关于问题的方面数量。具体计算步骤如下：
- 准备描述性字典 ：在解释后的描述性字典中，添加与要计算适应性的概念模型数量相同的列。例如，要计算数据流图和类图的适应性，就在描述性字典中添加这两列。
- 标记可表达的命题 ：如果某个CM能够表达某个命题，则在该命题与该CM相交的单元格中做标记。例如，命题“Clients place orders”可以在类图中表达，那么就在命题1与类图相交的单元格中标记“X”。示例如下表：
| 命题 | 数据流图 | 类图 |
| — | — | — |
| 1. Rel: Place
Entity[repl]: Clients
Entity[repl]: Orders | X | |
| 2 - 1. Process: Are
Receives: 1
created when | | |
| 2 - 2. Process: Are
Sends:
Entity[repl]: Invoices
created when | | |
| 总计 | | |

然而，确定适应性不能仅凭主观判断，因为并非总是能明显看出哪个模型可以表达哪个命题。因此，需要使用一系列称为识别表的表格来将命题分配给模型。每个规范模型中的链接都有一个识别表，例如，对于链接“rel”的识别表如下：
| | entity [re