UML系列文章（25）高级行为---状态图

• 对反应型对象建模
• 正向工程和逆向工程

状态图是UML中对系统的动态方面建模的五种图之一。一个状态图显示了一个状态机。在为对象的生命期建模中，活动图和状态图都是有用的。然而，活动图展示跨过不同的对象从活动到活动的控制流，而状态图展示的是单个对象内从状态到状态的控制流。

状态图用于对系统的动态方面建模。大多数情况下，它涉及对反应型对象的行为建模。反应型对象是这样一种对象，它的行为是通过对来自其语境外部的事件作出反应来最佳刻画的。反应型对象具有清晰的生命期，其当前行为受其过去行为的影响。状态图可以被附加到类、用况或整个系统上，从而可视化、详述、构造和文档化一个单独的对象的动态特性。

状态图不仅对一个系统的动态方面建模有重要意义，而且对于通过正向工程和逆向工程来构造可执行的系统也很重要。

1. 入门

试着考虑一个投资者，他为一座新摩天大楼的建造提供资金。投资者未必对建造过程的细节感兴趣。材料的选择、贸易的计划和许许多多关于工程细节的会议，对建造者拉说是很重要的活动，但对提供项目资金的人来说却远没有那么重要。

投资者感兴趣的是对投资的良好回报，这也意味着保护投资免受风险。一个完全信任他人的投资者，会提供给建造者一笔资金，然后离开一段时间，仅当建造者准备交付大厦的钥匙时才返回。这样的投资者真正感兴趣的是这座大厦的最终状态。

较为务实的投资者仍是信任建造者的，但也想在交出钱之前证实该项目是正确运作的。

因此，审慎的投资者不是给建造者一大笔无人照管的钱去随便花，而是为这个项目设立明确的里程碑，每个里程碑对应着某些活动的完成，并且仅当完成之后，下一个阶段的项目资金才会交到建造者手中。例如，在项目开始时，可能提供适量