UML的状态机图的表示风格是建立在DavidHarel状态图-Read.PPTVIP

主讲教师：刘军(副教授) UML2.0图结构 前言 状态机图是一种用于描述系统的行为的系统分析工具。 面向对象技术中的状态机图又称状态迁移图，它是有限状态机的图形表示，用于描述对象类的一个对象在其生存期间的行为。 UML的状态机图主要用于建立对象类或对象的动态行为模型，表现一个对象所经历的状态序列，引起状态或活动转移的事件，以及因状态转移而伴随的动作。 UML的状态机图的表示风格是建立在David Harel状态图（StateChat）的基础上的。 7.1 状态机 计算机技术中，状态机的概念和使用由来已久。 编译技术：用有限状态机描述词法分析过程； 操作系统：进程调度、缓冲区调度等都可采用状态机描述。 UML用状态机对系统的动态特征建模。 UML定义状态机是一个行为，用以说明一个模型元素在其生命期间的状态的序列，及其对事件的响应。 状态机表示一个模型元素在其生命期间的情况 从该模型元素的开始状态起，响应事件，执行某些动作，引起转移到新状态，又在新状态下响应事件，执行动作，引起转移到另一个状态，如此继续，直到终结状态。 7.1 状态机 例如：UNIX操作系统中的进程的生命周期可用状态机简略表示如下。 7.1 状态机 状态机的组成 状态(State)：表示一个模型元素在生存期的一种状况。一个状态在一个有限的时间段内存在。 转移(Transition)：表示一个模型元素的不