30、面向对象系统的行为建模：通信图与行为状态机解析

面向对象系统的行为建模：通信图与行为状态机解析

在面向对象系统的设计与开发中，理解系统的动态行为至关重要。通信图和行为状态机作为两种重要的建模工具，能够帮助我们深入了解系统中对象的交互和状态变化。本文将详细介绍通信图和行为状态机的概念、元素、创建方法以及应用示例。

通信图的概念与作用

通信图和序列图类似，本质上提供了面向对象系统动态方面的视图。它可以展示一组对象的成员如何协作以实现用例或用例场景，还能用于建模一组协作对象之间的所有交互，即协作关系。通信图本质上是一种对象图，展示的是消息传递关系，而非聚合或泛化关联。它对于展示过程模式（即在一组协作类中发生的活动模式）非常有用。

通信图与序列图等价，但侧重点不同。通信图强调消息在一组对象中的流动，而序列图则关注消息传递的时间顺序。因此，若要理解一组协作对象的控制流，或者了解哪些对象协作以支持业务流程，可以使用通信图；若关注消息的时间顺序，则应使用序列图。在某些情况下，两者可以结合使用，以更全面地理解系统的动态活动。

通信图的元素

通信图包含以下主要元素：
- 参与者和对象 ：参与执行用例的参与者和对象被放置在通信图中，以强调它们之间的消息传递。每个对象的名称后面会给出其所属类的名称，例如 aPatient: Patient 。
- 关联 ：参与者和对象之间的关联用无向线表示，消息作为标签显示在关联上，标签中包含带箭头的线，指示消息发送的方向。
- 消息 ：消息传递的顺序用序列号指定，条件消息可以通过满足特定条件来发送，