34、系统分析与设计模型的验证、演进与优化

系统分析与设计模型的验证、演进与优化

1. 分析模型的验证与平衡

1.1 预约用例场景

在预约系统中，存在一个为老患者预约的用例场景。患者发起预约请求，包含 RequestAppt(name, address) 操作，之后会询问是否有新的、取消或更改预约的情况 NewCancelChangeAppt?() 以及可预约的时间 ApptTimes?() 。接待员则会进行查找患者 LookUpPatient() 操作，若患者存在，还会查找账单 LookupBills() ，匹配预约 MatchAppts() 并创建预约 CreateAppt() 。以下是该场景的顺序图和通信图的相关信息：
- 顺序图 ：展示了对象之间消息传递的时间顺序。
- 通信图 ：强调了对象之间的关系和消息传递。

1.2 结构与行为模型的平衡

为了发现结构模型和行为模型之间的关系，需要确保以下五个方面的一致性：
1. 对象与类的关联 ：CRUDE 矩阵中的对象必须与 CRC 卡片表示的类以及类图中的类相关联，反之亦然。例如，CRUDE 矩阵中的 Patient 类与相应的 CRC 卡片和类图中的 Patient 类关联。
2. 行为状态机与对象实例 </