摘 要 状態机图是统一建模语言UML中的动态模型图，用来描述一个实体基于事件反应的动态行为。要研究某个实体或对象的单独的行为及状态变化，可以使用状态机模型图来表示。本文对状态机图进行了介绍，并通过实例进行状态机图的建模分析。

关键词 状态机;单个对象;建模

引言

在软件系统中可能存在着大量的对象，它们需要处理各种随机发生的事件，通过相应的动态行为来产生对事件的响应，最适合描述对象这类动态行为的建模手段就是状态机图。状态机图是UML2.0中的重要模型，是系统分析过程的常用图，可以帮助系统开发人员更好地理解单个对象的行为。

1状态机图介绍

状态机图本质上就是一个状态机，是展示状态与状态转换的模型，在系统控制、编译技术、机器逻辑等领域应用非常普遍。

状态机可以看作是一个对象的局部视图，用来精确的描述这个对象的单独行为。一个状态机可以依附于一个类，用来描述类的实例的状态及状态转换，并对接收到的事件做出的响应[1]。状态机也可以依附于用例、操作、协作等元素，描述它们的执行过程。使用状态机考虑问题时，习惯将对象与外部世界分离，适合对局部、细节进行建模。

状态机图包含状态机的所有特征[2]。状态机图主要由状态和状态之间的转换组成。状态描述了一个对象生命周期中的一个时间段，在该时间段内保持对象或系统的外在状况和内在特性的相对稳定。……