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

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

在软件开发中，行为建模是理解系统如何运行的关键。行为建模包含多个方面，其中行为状态机和 CRUDE 分析是重要的工具，下面我们详细探讨。

1. 行为状态机创建准则

在绘制行为状态机时，有一些准则可以遵循，帮助我们创建有效的模型：
1. 适用对象 ：为那些行为随自身状态改变而改变的对象创建行为状态机。若对象行为不受状态影响，则无需创建，因其过于简单。
2. 布局规范 ：遵循西方从左到右、从上到下的阅读习惯，初始状态应画在图的左上角，最终状态画在右下角。
3. 状态命名 ：状态名称要简单、直观且具有描述性。例如，患者对象的状态名称可以是“正在进入”“已入院”“观察中”和“已出院”。
4. 特殊状态审查 ：对“黑洞状态”和“奇迹状态”保持警惕。“黑洞状态”指对象进入后无法退出的状态，很可能是最终状态；“奇迹状态”指对象未进入却能退出的状态，可能是初始状态。
5. 互斥条件 ：所有的守卫条件必须相互排斥，避免重叠。例如，“[诊断结果 = 健康]”和“[诊断结果 = 不健康]”不会重叠，但“[x >= 0]”和“[x <= 0]”在 x = 0 时会重叠，导致对象状态转换不明确。
6. 关联操作 ：所有转换都应与消息和操作相关联，否则对象状态无法改变。尽管这很明显，但分析师有时会忘记确认这一点。

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

创建行为状