第10章 状态机图讲解

源状态：即受转换影响的状态 目标状态：当转换完成后对象的状态 触发事件：用来为转换定义一个事件，包括调用、改变、 信号、时间四类事件
• •
监护条件：布尔表达式，决定是否激活转换、
动作：转换激活时的操作
Hale Waihona Puke Baidu
源状态 对于一个转换来说，转换前对象所处的状态，就是源 状态。源状态是个相对的概念，即，相对当前状态而 言，它的前一个状态就是源状态。 目标状态 转换完成后，对象所处的状态就是目标状态 。当前状 态相对它的前一个状态而言，当前状态就是目标状态。 源状态和目标状态都是相对某个转换而言的。
活动 当对象处于一个状态时，它一般是空闲的，在等待一 个事件的发生。但是某些时间，对象正在执行一序列 动作，即，对象做着某些工作，并一直继续到被某个 外部事件的到来，才中断这些工作，我们把对象处于 某个状态时进行的一序列动作称为活动。 如果对象处于某个状态进行一些动作，可能会需要一 些时间，我们可以用活动来描述这一序列动作。表示 活动的方法是，在状态的转换分栏中添加一行“活动 描述”，其格式为“do/动作名”。 活动用来描述对象处于某个状态时，对象进行的一 序列动作。
状态机图
知识图谱
Agenda
• • • • •
状态和状态机 如何阅读状态机图
如何绘制状态机图
状态机图应用说明 本章小结
Agenda
• • • • •
状态和状态机 如何阅读状态机图
如何绘制状态机图
状态机图应用说明 本章小结
状态、状态表示法及状态机
•
•
状态是指在对象生命周期中满足某些条件、执行某些活 动或等待某些事件的一个条件和状况
Agenda
• • • • •
状态和状态机 如何阅读状态机图
如何绘制状态机图
状态机图应用说明 本章小结
阅读最简单的状态图
•
最为核心的元素无外乎是两个：一个是用圆角矩形表示 的状态（初态和终态例外）；另一个则是在状态之间的、
包含一些文字描述的有向箭头线，这些箭头线称为转换
初始状态 初始状态代表状态图的起始位置，只能作为转换的源， 而不能作为转换的目标。初始状态在一个状态图中只 允许有一个，它用一个实心的圆表示
初始状态的表示
终止状态 终止状态是对象的最后状态，是一个状态图的终止点。 终止状态只能作为转换的目标，而不能作为转换的源。 终止状态在一个状态图中可以有多个，它用一个套有 一个实心圆的空心圆表示。
终止状态的表示
状态
对象属性值的集合标识了一个对象的状态。表示对象状态的图标由一 个带圆角的矩形表示。它包含个三部分： 名称：给对象所处状态取的名字，名字用一个字符串表示，在一个图 中，名字应该是唯一的。 内部转换：对象响应外部事件所执行的动作。内部转换发生时，不改 变对象的状态，但是，当进入该状态时，可以包含进入动作；当退出 该状态时，可以包含退出动作。我们把内部转换标识在状态框的第二 栏；用一条实线箭头来标识外部转换，外部转换是指一种状态到另一 种状态的转换。 嵌套状态 ：状态图中的状态可以包含两种状态：一种是简单状态， 简单状态不包含其它状态；一种是组合状态，组合状态包含了子状态。 即状态图的某些状态本身也是状态图。
监护条件 监护条件是一个布尔表达式，当布尔表达式的值为真 时，转换才能够完成。只有在触发事件发生时，才计 算一次监护条件的值，当监护条件的值为真时，转换 才发生。如果转换发生后，监护条件才由假变为真， 那么转换也不会被触发。
动作 当转换被激活后，如果定义了相应的动作，那么就将 执行这个动作。动作可以是一个赋值语句、简单的算 术运算、发送信号、调用操作、创建和销毁对象、读 取和设置属性的值，甚至是一个包含多个动作的活动。 例如，在图中，当turnOn事件发生，就测试监护条件 [有水]，如果有水，就会执行“烧水”的动作。
动作分为入口动作和出口动作。当转换发生时，进入 某个状态时发生的动作称为入口动作；离开某个状态 时发生的动作称为出口动作。 1).入口动作 入口动作表示对象进入某个状态所要执行的动作。入 口动作用“entry/要执行的动作”表示。 2). 出口动作 出口动作表示对象退出某个状态所要执行的动作。出 口动作用“exit/要执行的动作”表示。 入口动作和出 口动作都标识在状态视图的第二栏中。
状态视图的表示
转换
转换是指对象在外部事件的作用下，当满足特定的条 件时，对象执行一定的动作，进入目标状态。转换用 带箭头的直线表示，箭尾连接源状态(转出的状态)， 箭头连接目标状态(转入的状态)。 转换关系到的内容包括：源状态、目标状态、外部事 件、监护条件和执行的动作。
转换的五要素
• • •
一个状态通常包括名称、进入/退出活动、内部转换、 子状态和延迟事件等五个部分组成
•
状态机是计算机科学理论的一部分，但UML中的状态 机模型主要是基于David Harel所做的扩展，是用来展示 状态与状态之间转换的图
状态机图描述从状态到状态的控制流程，常用来对系 统的动态特怔进行建模。在大多数情况下，它用来对 反应型对象(外部事件触发对象,对象接受到事件后产生 响应)的行为模型。 状态机图常用来描述业务或软件系统中的对象在外部 事件的作用下，对象的状态从一个状态到另一个状态 的控制流。利用状态图可以精确地描述对象在生命周 期内的行为特征。
事件：就是外部作用于一个对象，能够触发对象状态 改变的一种现象。事件可以分为调用、改变、信号、 时间四类事件。 1).信号事件 对象之间通过发送信号和接收信号实现通信。信号是 一种异步机制。在计算机中，鼠标和键盘的操作均属 于此类事件。对于一个信号而言，对象一般都有相应 的事件处理器，如onMouseClick（）等。 2).调用事件 调用某个对象的成员方法就是调用事件，它是一种同 步的机制。例如在图中，turnOn就是一种调用事件， 用来将开关置于“On”状态。
3).改变事件 改变事件是指某个指定属性值为真时，事件得到触发。 它与监护条件不同，在对象生命周期内，一直在计算 改变事件中的属性值，当属性值为真时，事件触发， 计算停止。 4).时间事件 当时间流逝到某个时刻，触发事件对对象起作用。时 间事件代表时间的流逝。它可以指定为绝对形式（每 天的某时，例如after（12:00）），也可以指定为相对 形式（从某一指定事件发生开始所经过的时间，例如 after（2seconds））。对于前一种形式，也可以使用 变化事件来描述：when（12:00）。