23、业务流程和功能模型的验证与确认

业务流程和功能模型的验证与确认

1. 验证与确认的必要性

在进行结构和行为建模之前，我们需要对当前的功能模型进行验证和确认，以确保它们能准确地代表所考虑的业务流程。这包括测试每个模型的准确性，例如要保证活动图、用例描述和用例图都描述了相同的功能需求。

2. 通过走查进行验证和确认

走查本质上是对产品的同行评审。对于功能模型而言，走查是对功能建模过程中创建的不同模型和图表的审查。通常由开发团队和客户组成的团队来完成这项审查。走查的目的是彻底测试功能模型与功能需求的契合度，并确保模型的一致性，即找出正在形成的规范中的错误或故障，但走查并不负责纠正错误，只是识别错误，错误的纠正由团队在走查完成后进行。

走查具有很强的交互性。当演示者展示模型时，走查团队成员应针对展示内容提问。例如，若演示者在讲解活动图，团队其他成员可以询问为什么某些活动或对象未被包含。向新的受众展示模型的过程本身就能揭示明显的误解和遗漏。很多时候，模型创建者可能会只见树木不见森林，而走查过程甚至能让演示者自己发现错误。从心理学角度看，听取模型描述有助于分析师更全面地理解模型。因此，模型创建者应定期自行进行走查，即大声朗读模型描述，不必在意他人的看法。

走查团队成员有特定的角色：
- 演示者 ：由主要负责被审查特定模型的人员担任，向走查团队展示模型。
- 记录员 ：通常是分析团队成员，仔细记录走查过程中发生的所有重要事件，尤其是发现的所有错误，以便分析团队后续处理。
- 维护顾问 ：提出与模型维护相关的问题。在面向对象开发中，由于强调可