31、行为建模：状态机与 CRUDE 分析

行为建模：状态机与 CRUDE 分析

1. 行为建模概述

在进行系统开发时，行为建模是理解系统中对象行为和交互的重要环节。功能、结构和行为模型之间紧密交织，例如在结构建模过程中，可能会识别出相关超类的状态，而非子类的状态。这体现了不同模型之间相互影响、相互关联的关系。

2. 行为状态机创建指南

Amble 提出了绘制行为状态机的一系列指南，具体如下：
- 适用对象 ：为行为随自身状态变化的对象创建行为状态机。对于行为不受状态影响的简单对象，无需创建。
- 布局规范 ：遵循西方从左到右、从上到下的阅读习惯，初始状态应绘制在图的左上角，最终状态绘制在右下角。
- 状态命名 ：状态名称要简单、直观且具有描述性。例如患者对象的状态可以命名为“进入”“入院”“观察中”“出院”。
- 特殊状态审查 ：对“黑洞状态”（对象进入后无法退出的状态，可能实际为最终状态）和“奇迹状态”（对象未进入却能退出的状态，可能实际为初始状态）进行审查。
- 互斥条件 ：所有监护条件必须相互排斥，避免重叠。例如，“[诊断 = 健康]”和“[诊断 = 不健康]”不会重叠，但“[x >= 0]”和“[x <= 0]”在 x = 0 时会重叠，导致对象状态转换不明确。
- 关联操作 ：所有状态转换都应与消息和操作相关联，否则对象状态无法改变。

3. 创建行为状态机的步骤

创建行