ch09状态图和建模.pptVIP

状态图及建模 ;状态图及建模 ;;*;状态图;状态图;状态图;*;*;状态机和状态图建模;I 引 言;I 引 言;;图1. 状态机;;*;*;;*;;*;*;*;*;9.3 事件Event;9.3 事件Event;练习; 转移(transition): 是一个状态向另外一个状态的转换。对象处在源状态时,发生一个事件,如果条件满足,则执行相应的动作,对象由源状态转移到目标状态。 转移之前对象所处的状态为源状态，转移之后对象所处的状态为目标状态 转移用箭头表示，如果没有标注事件，则本转移为自动转移。箭尾连接出发状态，即源状态，箭头连接到达状态，即目标状态。 警戒条件(guard)：是为了要让转移发生而必须为真的布尔表达式。 例如：当你早上出门的时候（事件），如果温度在冰点以下（条件），那你要戴手套（下一状态）。表示：出门[冰点以下];当发生一个转移时，该转移进入的状态为活动状态，它将执行相应的动作。 当发生一个转移离开一个状态时，该状态变为非活动状态。 当标在迁移箭头上的事件出现时会引起状态的迁移。此时，首先执行引起迁移的事件中的动作，然后迁移到新的状态，执行新状态中的内部动作（包括entry、exit、do以及用户定义的动作）。 在执行do或用户定义的动作时，可以被外部的事件（将导致该状态的迁移）中断，但entry动作和exit动作是不能被中断的，并且它们总是要执行完的。 ; 转移的类型[1]; ② 自动转移: 一个 状态根据本状态的有关情况，自动触发进入目标状态，在转移上没有事件。 ;*;*;*;*;内部转移（迁移）;转移条件;简单状态转移的表达;简单状态变化的表达;Example of a Send Clause;练习;练习：PC从开启到关机的GUI状态图;*;*;*;网上商店处理送货过程的状态图;网上商店处理送货过程的 组合状态图;*;*;练习：PC从开启到关机的GUI状态图;*;*;*;*;*;*;*;zhufei@suda.edu.cn;;;zhufei@suda.edu.cn;*;*;*;类;*;读烧水过程状态图;;状态图建模技术;图书馆中“图书”的状态图;实例1：图书馆中“图书”的状态图;实例2：OS中“进程”的状态图;;;一个股票订单的状态图;实例3：电梯的状态图;状态图的建模分析步骤;;下降状态 ;具体步骤如下： 1、找出适合用模型描述其行为的类。 2、确定对象可能存在的状态。 3、确定引起状态转换的事件。 4、确定转换进行时对对象执行的相应动作。 5、对建模的结果进行相应的精化和细化。;建立状态图可以参照下列步骤：（1）确定状态机的上下文， 可以是一个类、use、子系统或整个系统。（2）选择初始状态和终结状态。（3）发现对象的各种状态。 应当仔细找出对问题有意义的对象的状态属性， 这些属性具有少量的值且其转换受到限制。 状态属性值的组合，结合行为有关的事件和动作， 就可以确定具有特定的行为特征的状态。 ;建立状态图可以参照下列步骤：（4）确定状态可能发生的转移。 分析从一个状态可以转移到哪些状态，对象的哪些 行为可引起状态的转移并找出触发状态转移的事件。（5）把必要的动作加到状态或转移上。（6）利用子状态、分支、历史状态等概念组织 和简化一个复杂的状态机。（7）分析状态的并发和同步情况。;建立状态图可以参照下列步骤：8）绘制状态图。9）确认每一个状态在某个事件组合之下都可达到。 确认没有一个死端状态，对象不能从该状态中转移出来。 ;*;*;*;*;练习1：图书馆中“图书”的状态图;练习2：手机的状态图;手机状态图;练习3：一个股票订单的状态图;练习4：盘点状态图 环球宇宙贸易公司的仓库管理部门固定的时间要执行各仓库的盘点工作，其盘点的方式是使用盘点器（掌上型数据收集器）跟公司的主要数据库服务器利用联机网络在线联接或者无线通讯联接。执行实时联机更新环境，其执行程序说明如下: A、联机环境建立 盘点使用盘点器（掌上型数据收集器）与公司的计算机设备联机，建立实时的在线处理环境。 B、仓管人员使用盘点器开始盘点货品（利用盘点器读去产品条形码（Barcode）） ;练习4：盘点状态图 C、读入后、盘点器上会触发程序事件，检查读取的产品是否已在产品主文件和库文件中建立（实时联机处理） D、若不存在、则新增该产品的主文件和库存住文件中 E、将产品的盘点数量写入数据库主文件的盘存字段中 F、继续盘点下一产品 G、全部盘完，则