Chapter_07-状态机图(状态图与活动图)讲解.ppt

状态机 概念 定义对象行为的规格说明 对类实例生存周期建立模 型，表示对象的生命历程 说明对象对生存周期内 可能检测到事件的响应 描述对象随时间变化的动态行为 描述对象在外部事件作用下的状态 表示 状态图：以状态为中心，对系统的动态方面建模 活动图：以活动为中心，对计算流程和工作流程建模 状态图 一个状态图有初始状态、终止状态、状态、转换和分支等元素 图元素的表示 初始状态 终止状态 状态 分支 转换 初始状态和终止状态 初始状态 代表状态图的起始位置 只能作为转换的源，而不能作为转换的目标 一个状态图只有一个初始状态 表示：实心圆 终止状态 状态图的终止点，模型元素的最后状态 只能作为转换的目标，而不能作为转换的源 一个状态图可以有多个终止状态 表示：一个套有实心圆的空心圆 状态 定义 对象状态由对象属性集的取值来确定 表示：带圆角矩形，分为3个部分 名称：对象所处状态的唯一标识 内部转换：对象响应外部事件所执行的动作，内部转换发生时，不改变对象的状态 嵌套状态图 ：标明此状态是复合状态 状态 分类 简单状态 不包含子状态 具有内部转换、入口动作和出口动作 组合状态：包含子状态 历史状态 初次进入复合状态，要从嵌套的 子状态的初始状态开始执行 离开复合状态，再次进入时，希 望从离开时所处于的子状态（历 史状态）开始 状态 MP3播放机的状态图 状态 组合状态的分类与表示 顺序子状态：子状态之间是互斥关系 复合状态被激活时，只能有一个子状 态处于活动状态 并发子状态：子状态之间是并发关系 复合状态被激活时，包含2个或多个 子状态处于活动状态 注：子状态可能需要通信 表示方法 将子状态图嵌入复合状态中 在复合状态中加入分解指示符 状态 子状态机之间的通信 并发的状态机1和状态机2进行通信 状态机1的实验中加入一个退出动作，退出时将lab设为true，lab同时又是状态机2的一个监护条件 只有实验完成了，才能实施团队项目 转换 定义 外部事件作用下，满足特定条件时，对象在源状态下执行一系列动作，进入目标状态 表示 箭头线 涉及概念 源状态 目标状态 事件：外部作用于对象，触发对象状态改变 监护条件：事件发生，验证监护条件，决定是否执行转换 动作：转换被激发，则执行定义的动作 活动：对象处于某状态时，进行的一系列动作 转换 事件：外部作用于对象，触发对象状态改变 信号事件：通过发送或接收信号，实现对象之间通信 异步机制：对象之间异步发送/接收信号 对象之间可以形成泛化关系 eg：鼠标、键盘的操作 调用事件：调用对象的成员方法 同步机制 eg： 转换 事件：外部作用于对象，触发对象状态改变 改变事件 根据属性的取值，触发事件 时间事件 根据时间流逝，触 发事件 延迟事件： 对象处在某状态时，外部事件已产生，但没有执行（相应）事件，而是延迟到其他状态响应 eg：邮件发送 转换 动作：转换被激发，则执行定义的动作 转换被激发后，执行定义的动作 动作示例： 赋值语句、算术运算、发送信号、调用操作、创建和销毁对象、读取和设置属性值、包含多个动作的活动 动作分类 入口动作 出口动作 动作 事件动作 转换 活动：对象处于某状态时，进行的一系列动作 表示：“do / 动作名”，添加在状态的转换栏 转换 分类 外部转换 改变对象的状态 外部事件作用下，满足特定条件[监护条件]时，对象在源状态下执行一系列动作，进入目标状态 进入状态，执行状态的入口动作 离开状态，执行状态的出口动作 内部转换 不改变对象的状态 源状态内执行一系列动作 动作中不包含入口和出口动作 转换 分类 自动转换 没有外部事件的作用，执行了一系列活动，完成的状态转换 自动激发状态的入口动作或出口动作 复合转换 通过分支判断，将 若干个简单转换组 合在一起 分支 对象状态根据监护条件的取值而发生分支 对象在外部事件的作用下，根据监护条件的不同值，转向不同的目标状态 表示：菱形框 绘制状态图 步骤 寻找主要状态 寻找外部事件，确定状态之间的转换 详细描述每个状态和转换 把简单状态图转换为复合状态图 例子 航班订票系统 绘制状态图 寻找主要状态 确定状态 机票4个状态：无预订、部分预订、预订完、预订关闭 刚刚确定飞行计划或顾客预订机票前：无预订状态 预订分为部分订定和预订完两种状态 飞机起飞：预订关闭状态 寻找外部事件 预订()：顾客预订机票 退订()：顾客退订机票 关闭()：管理员关闭订票系统 取消航班()：调度人员取消飞行计划 绘制状态图 确定状态转换 事件与状态 转换 初步状态图 绘制状态图 详细描述每个状态和转换 绘制状态图 把简单状态图转换为复合状态图 活动图 初识活动图 是一种表述业务过程以及工作流的技术 可以用来对业务过程、工作流建模 可以对用