第九单元 状态图.ppt

* 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 状态的分类和属性 对象的状态属性可分为：嵌套状态(组合状态)、顺序状态、历史状态、同步状态和并发状态。 广义上来讲，对象属性的任何不同值的组合就是对象的一个状态，全部状态的集合描述了一个对象的状态空间。 注意： （1）对象生存期中状态的数量有限； （2）每个状态持续时间也有限； 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 子状态 在UML里，一个状态内部可以包含其它状态，它们在此状态的内部构成了另一个状态机。 在UML里，子状态被定义为是包含在某一状态内部的状态。 包含子状态的状态称为复合状态（composite state）。 不包含子状态的状态称为简单状态(simple state)。 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 子状态的定义 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 简单状态对应着一个动作，而组合活动中每个被嵌套的状态图对应着该组合状态内正在进行的一个活动。在UML中动作和活动的含义是不一样的。 动作：一组可执行的语句，具有迁移性、原子性和连续性。 活动：一组可执行的动作，具有有限性和非原子性。 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * （1）、顺序状态 表示状态的顺序迁移。如果一个复合状态的子状态机所在的对象在其生存期内的任一时刻只能处于一个子状态,则这些子状态被称为串行子状态（sequential substate）。 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 图4. 串行子状态 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 组合状态 子状态 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 状态的并发迁移和同步 一个状态可以有多个并发的子状态。可以复合迁移的同步并发迁移图来表示并发子状态。 复合迁移就是由条件判断、并发分叉和并发连接这些图符来表示。 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 图. 并发状态图 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 并发状态：指一个对象在同一时刻可以处在多种状态。 付款确认 已确认 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 并发状态之间需要通信，或具有确定的时序关系，称为并发中的同步。 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * （2）、历史状态 历史状态（history state）。 历史状态是一个特殊的子状态，它记录了复合状态被转出时的活跃子状态。 在绘制状态机时，其中的历史状态被表示成一个被圆环包围的字母H(图5)。 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 用这种方法绘制的历史状态又被称为 浅层历史状态(shallow history)。 浅层历史状态只记忆被转出变迁打断时最外层的活跃状态。 如果需要历史状态记忆最深层的内嵌活跃子状态（即不再包含子状态的活跃子状态），则应使用 深层历史状态（deep history state）。 深层历史状态在绘制时用一个被圆环包围的带星号的字母H表示（H*, 见图5）。 注意：历史状态指示器是一个伪状态，可以有几个进入它的状态迁移，但没有离开它的状态迁移。 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 图5.浅层和深层历史状态 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 状态迁移的触发和描述 状态迁移触发表示当一个特定的事件发生和某些条件满足时，一个源状态下的对象将完成一些特定的动作，称为迁移触发。 描述状态迁移的形式化语法格式如下： 事件[条件]/动作表达式 发送子句 事件：指已发生并可能引发某种活动的一件事； [条件]：由方括号围起的关系或逻辑表达式； 动作表达式：一个触发状态迁移时可执行的过程表达式。 发送子句：动作的一个特例，说明调用的事件名（操作）是哪个对象的。 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 转移(transition): 是一个状态向另外一个状态的转换。对象处在源状态时,发生一个事件,如果条件满足,则执行相应的动作,对象由源状态转移到目标状态。 转移用箭头表示，如果没有标有事件，则本转移为自动转移。 转移 华 南 理 工 大 学 软 件 需 求 分 析 与 建 模 * 转移的类型 ① 自转移: 源