34、分析模型验证与向设计模型的演进

分析模型验证与向设计模型的演进

1. 分析模型的验证与确认

在系统开发过程中，验证和确认分析模型是至关重要的环节，它有助于确保模型的准确性和一致性，为后续的设计和开发工作奠定坚实的基础。

1.1 预约用例场景

以预约系统为例，有如下的预约用例交互过程：

sd Make Appt Use Case
RequestAppt(name, address)
NewCancelChangeAppt?()
ApptTimes?()
aPatient
LookUpPatient()
aReceptionist
[aPatient Exists] LookupBills()
MatchAppts()
CreateAppt()
aPatient:Patient
:UnpaidBill
:Appointment

这个过程展示了患者（ aPatient ）和接待员（ aReceptionist ）之间的交互流程，患者发起预约请求，接待员进行患者信息查找、账单查询、匹配预约时间等操作，最终创建预约。

1.2 结构模型与行为模型的平衡

为了发现结构模型和行为模型之间的关系，我们需要关注以下五个方面，以确保模型之间的一致性：
1. 对象与类的关联 ：CRUDE矩阵中出现的对象必须与CRC卡所代表的类以及类图中出现的类相关联，反之亦然。例如，CRUDE矩阵中的 Patient 类与对应的CRC卡和类图中