《新》第9章状态机图.pptVIP

9.5.1 分析状态机图 1.标识需要建模的对象。 状态机图应用于复杂的实体，而不必用于具有复杂行为的实体。对于有复杂行为或操作的实体，使用活动图会更加适合。 具有清晰、有序状态的实体最适合使用状态机图进一步建模。 Borrower、Title、Book、Loan、Persistent、Librarian、Administrator * 9.5.2 完成状态机图 利用前面分析的结果，建模一个状态机图来描述Book对象的不同状态，以及触发状态改变的事件。 * Borrower对象的状态图 例 手机界面类的状态机图 启动 待机 活动 连接 通话 本章完 * * 面向对象建模技术 软件工程系 林 琳 * 第9章 状态机图 状态机图（State Machine Diagram）描述了一个对象在其生命期内所经历的各种状态，以及状态之间的转移，发生转移的原因，条件和转移中所执行的活动。 一个类，如果它有复杂的状态变化，应该建立状态机图；如果有复杂的行为，应该建立活动图。 通过状态机图可以了解一个对象所能到达的所有状态以及对象收到的事件（收到的消息、超时、错误和条件满足等）对对象状态的影响等。 * 本章学习要点： 了解状态机 理解对象和状态 掌握状态机图中基本标记符 掌握动作 掌握事件 运用顺序子状态和并发子状态 理解子状态机引用状态 掌握同步状态和历史状态 * 9.1 定义状态机图 状态机图中包含了诸多元素，在学习状态机图之前先来学习一下有关状态机图的相关知识。 状态机 对象、状态和事件 状态机图 * 9.1.1 状态机 通常一个状态机依附于一个类，并且描述一个类的实例。状态机包含了一个对象在其生命周期所有状态的序列以及对象对接收到的事件所产生的反应。 利用状态机可以精确地描述对象的行为：从对象的初始状态起，开始响应事件并执行某些动作，这些事件引起状态的转换；对象在新的状态下又开始响应状态和执行动作，如此连续直到终止状态。 9.1.2 对象、状态和事件 对象和状态不可分，对象是某个状态下的对象，而状态则是描述当前对象。 所有的对象均有状态，状态的改变由对象的属性值指向其他对象的链来决定。 例子 （1）支票（对象）已付（状态）。 （2）汽车（对象）已启动（状态）。 （3）小红（对象）未婚（状态）。 （4）计算机（对象）由工作（状态）变成休眠（状态）。 * 引起对象状态改变的事情称为事件（触发器事件）。 9.1.2 对象、状态和事件 9.1.3 状态机图 状态机图是状态机的投影，并且定义了状态机的表示符号。 状态机图表示了对象在其生命周期各个时期的状态，以及引起变化的事件。 对系统动态特征建模的五种图比较 顺序图、通信图和时序图用于对对象群体交互建模 状态机图和活动图用于对单个对象、类或者用例的生命周期建模 * 9.2 认识状态机图中的标记符 状态机图中某些标记符与活动图的标记符非常相似，有时候会让人混淆。 活动图是用来建模不同区域的工作如何彼此交互的，而状态机图用来表示单个对象，以及对象的行为如何改变其状态。 * 9.2.1 状态 一个实体在生命周期中的一段有限时间内可以保持某种状态。 每个状态机图只有一个开始状态，可以有0-多个结束状态。 状态可以添加动作，表示进入或者离开状态时执行的内容。 * 9.2.2 转移-外部转移 转移用来显示从一个状态到另一个状态的控制流，它描述了对象在两种状态间的转变。 当状态间发生转移时，称转移被激活。 无触发转移 触发转移 转移条件 事件 [守卫条件]/动作 9.2.2 转移 9.2.2 转移—自转移 对象收到一个事件，不改变对象的状态，只导致状态的中断。 步骤：终止当前动作，执行出口动作，执行相关动作，执行入口动作。 9.2.2 转移—内部转移 执行相关动作，不会触发入口动作和出口动作。 9.2.3 决策点 通过在中心位置分组转移到各自的方向，从而提高了状态机图的可视性。决策点标记符是一个空心菱形。 * 9.2.4 同步 使用同步条可以显示并发转移，并发转移中可以有多个源状态和目标状态。并发转移表示一个同步将一个控制划分为并发的线程。 * 9.3.1 事件 一个事件的发生能触发状态的转移，事件和转移总是相伴出现。 * 9.3 状态机图中的动作和事件 9.3.1 事件 事件分类 调用事件(Call Event) 信号事件(Signal Event) 变化事件(Change Event) 时间事件(Time Event) 延迟事件（Defer Event） 9.3.1 事件-调用、信号事件 调用事件：类图中已经定义的操作 信号事件：对象发送的信号 9.3.1 事件-变化、时间事件 变化事件：当布尔表达式的条件满足时，状态发生改变，类似循环、分支