💡 关键要点
- 可视化逻辑：状态机图提供了对象生命周期和随时间变化行为的清晰视觉表示。
- 状态管理：它们定义了特定条件（状态）以及在状态之间移动的规则（转换）。
- 事件驱动：只有当特定事件触发转换时，变化才会发生，从而确保系统响应的可控性。
- 并发：正交区域允许在单个状态内同时建模多个独立的行为。
在统一建模语言（UML）领域中，很少有图表能像状态机图那样为动态系统提供如此高的精确度。虽然类图描述结构，序列图描述交互流程，但状态机图则专注于单个对象的生命周期。它们回答关键问题：这个组件随时间如何表现？在什么条件下会发生变化？当意外事件发生时会发生什么？
理解这些图表对于从事反应式系统、嵌入式软件或复杂业务流程的系统架构师和开发人员至关重要。本指南探讨了状态机建模的机制、高级功能和实际应用，且不依赖于特定工具或供应商。
状态机的核心组件 🏗️
状态机图由多个基本元素组成。每个元素在定义系统行为方面都具有特定用途。掌握这些组件有助于构建稳健的行为模型。
状态
状态表示对象生命周期中的一个条件或情形，在此期间对象可以执行活动或等待事件。状态以圆角矩形表示。状态有多种类型：
- 初始状态：用实心黑圆圈表示，标志着状态机的起点。
- 最终状态：用一个圆圈内的实心黑圆圈表示，表示状态机的终止。
- 简单状态：没有内部结构的状态。
- 复合状态：包含子状态的状态。这允许在单个状态内建立层次结构和复杂性。
- 子机状态：调用另一个状态机图的状态，促进复用。
转换
转换定义了从一个状态到另一个状态的移动。它们由事件触发，可能包含条件和动作。在视觉上，转换是一条从源状态指向目标状态的箭头。
事件
事件是触发转换的重要发生。事件可以是：
- 信号事件： 异步通信。
- 调用事件： 同步方法调用。
- 变化事件： 变为真的布尔表达式。
- 时间事件： 基于时间持续或特定时钟时间的条件。
动作和守卫
当发生转换时，可能会执行动作。这些动作由关键字action表示。守卫条件是用方括号括起来的布尔表达式[condition]。只有当守卫条件求值为真时，转换才会发生。如果有多个可能的转换，将选择第一个守卫条件为真的转换。
高级建模技术 🧠
随着系统复杂性的增加，基本状态和转换往往不足以满足需求。高级功能允许对现实世界场景进行更细致的建模。
正交区域
复杂对象通常会同时表现出多种行为。正交区域允许将复合状态划分为独立的子机。例如，一个Phone状态可能有一个区域用于Ringing和另一个用于Charging。这些区域并发运行，意味着手机可以在充电的同时响铃。这通过一条虚线将复合状态分割来表示。
历史状态
历史状态在复合状态退出和重新进入时保留其状态信息。有两种类型：
- 深层历史： 记住最后的活动子状态。
- 浅层历史： 记住了最后一个活动的顶层子状态。
这对于用户界面或工作流至关重要，因为在返回到复杂屏幕时，应恢复之前的上下文，而无需重新初始化整个流程。
进入、退出和执行活动
在状态内，可以触发特定活动：
- 进入： 进入状态时仅执行一次。
- 退出： 离开状态时仅执行一次。
- 执行： 状态处于活动状态时持续执行。这适用于轮询、监控或维持循环。
状态机与活动图对比 ⚖️
选择正确的图表类型至关重要。尽管两者都用于建模行为，但它们的作用不同。下表说明了何时使用每种图表。
| 特性 | 状态机图 | 活动图 |
|---|---|---|
| 关注点 | 对象生命周期和反应性 | 工作流和控制流 |
| 触发条件 | 事件触发转换 | 前一个活动的完成触发下一个活动 |
| 并发性 | 正交区域 | 分叉/汇合条 |
| 最适合 | 嵌入式系统、协议 | 业务流程、算法 |
设计模式与实现 🛠️
在代码中实现状态机需要仔细规划，以避免出现面条式逻辑。几种设计模式有助于实现这一点。
状态模式
在面向对象编程中，状态模式允许对象在其内部状态改变时改变其行为。每个状态都由一个类来表示。这封装了特定于状态的逻辑，使主类更简单。
基于表格的状态机
对于更简单的系统，查找表可以定义状态转换。当前状态和事件作为键，用于确定下一个状态和要执行的操作。这种方法在解析或协议处理中非常高效。
应避免的常见陷阱 ⚠️
即使是经验丰富的建模者也可能陷入陷阱。牢记这些常见问题可以提高图表的质量。
- 状态爆炸：创建过多状态会使图表难以阅读。使用复合状态来组合相关行为。
- 不可达状态： 确保每个状态都能从初始状态到达。死胡同会让维护者感到困惑。
- 缺失的转换： 为所有事件定义行为。如果事件在意外状态下发生会怎样？使用默认状态或错误状态。
- 复杂的守卫条件： 避免过于复杂的守卫条件。如果条件难以阅读，考虑将逻辑拆分为独立的状态。
实际示例：订单处理 🛒
考虑一个电子商务订单系统。订单对象会经历多个状态：
- 已创建： 订单已保存但尚未确认。
- 已付款： 支付已验证。
- 已发货： 货物已发出。
- 已送达： 客户已收到商品。
- 已取消： 处理过程已终止。
状态转换由事件触发，例如ConfirmPayment, ShipOrder，或请求取消。守卫条件确保订单在支付确认前无法发货。一个执行活动可能在处于已创建状态时监控支付状态。
结论与最佳实践 ✅
状态机图是捕捉软件组件动态行为的强大工具。它们提供了一种严谨的方法来定义系统随时间对刺激的反应方式。通过遵循标准的UML符号并注重清晰性，团队可以减少系统需求中的歧义。
在建模时，优先考虑可读性。一个易于理解的图表比技术上完美但令人困惑的图表更有价值。使用复合状态来管理复杂性，并利用历史状态来保留上下文。定期与利益相关者一起审查这些图表，以确保它们符合实际业务需求。
有效的建模能够带来更可靠的代码。当设计清晰时，实现会自然跟进，从而减少错误和维护成本。无论是设计交通灯控制器还是客户门户，状态机都为复杂行为提供了结构化的路径。