状态图 学习内容 n何谓状态图 n构成状态图的元素 n状态图的组成 n使用Rose创建状态图 n创建项目中的状态图 何谓状态图 1. 1. 状态图的概念状态图的概念 n状态图由状态、转换、事件、活动和动作5部分组成： (1)状态指的是对象在其生命周期中的一种状况，处于某个特定状态中的 对象必然会满足某些条件、执行某些动作或者是等待某些事件。一个状 态的生命周期是一个有限的时间阶段。 (2)转换指的是两个不同状态之间的一种关系，表明对象将在第一个状态 中执行一定的动作，并且在满足某个特定条件下由某个事件触发进入第 二个状态。 (3)事件指的是发生在时间和空间上的对状态机来讲有意义的那些事情。 事件通常会引起状态的变迁，促使状态机从一种状态切换到另一种状态 ，如信号、对象额度创建和销毁等。 (4)活动指的是状态机中进行的非原子操作。 (5)动作指的是状态机中可以执行的那些原子操作，所谓原子操作指的是 它们在运行的过程中不能被其他消息所中断，必须一直执行下去，最终 导致状态的变更或者返回一个值。 何谓状态图 状态状态 n状态用于对实体在其生命周期中的各种状况进行建模，一个实体 总是在有限的一段时间内保持一个状态。状态由一个带圆角的矩 形表示，状态的描述应该包括：名称、入口和出口动作、内部转 换和嵌套状态。 何谓状态图 转换转换 在UML的状态建模机制中，转换用带箭头的直线表示，一端连接 源状态，箭头指向目标状态。转换还可以标注与此转换相关的选 项，如事件、监护条件和动作等，如果转换上没有标注触发转换 的事件，则表示此转换自动进行。 何谓状态图 初始状态初始状态 n每个状态图都应该有一个初始状态，它代表状态图的起始位置。 初始状态是一个伪状态（一个和普通状态有连接的假状态），对 象不可能保持在初始状态，必须要有一个输出的无触发转换（没 有事件触发器的转换）。通常初始状态上的转换是无监护条件的 ，并且初始状态只能作为转换的源，而不能作为转换的目标。 n一个状态图只能有一个初始状态，用一个实心的圆表示。 何谓状态图 终止状态终止状态 n终止状态是一个状态图的终点，一个状态图可以拥有一个或者多 个终止状态。 n对象可以保持在终止状态，但是终止状态不可能有任何形式的触 发转换，它的目的就是为了激发封装状态上的完成转换。 何谓状态图 判定判定 n活动图和状态图中都有需要根据给定条件进行判断，然后根据不 同的判断结果进行不同的转换的情况。 n实际就是工作流在此处按监护条件的取值发生分支，在UML中判 定用空心菱形表示。 何谓状态图 2. 2. 为什么要使用状态图为什么要使用状态图 n状态图的作用主要体现在以下几个方面： (1)状态图清晰的描述了状态之间的转换顺序，通过状态的转换顺 序也就可以清晰的看出事件的执行顺序。如果没有状态图我们就 不可避免的要使用大量的文字来描述外部事件的合法顺序。 (2)清晰的事件顺序有利于程序员在开发程序时避免出现事件错序 的情况。 (3)状态图清晰的描述了状态转换时所必须的触发事件、监护条件 和动作等影响转换的因素，有利于程序员避免程序中非法事件的 进入。 (4)状态图通过判定可以更好的描述工作流因为不同的条件发生的 分支。 构成状态图的元素 1. 1. 状态状态 n状态名：在实际使用中，状态名通常是直观、易懂、能充分表达语义的 名词短语，其中每个单词的首字母要大写。 n内部活动：状态可以包含描述为表达式的内部活动。当状态进入时，活 动在进入动作完成后就开始。如果活动结束，状态就完成，然后一个从 这个状态出发的转换被触发。 n内部转换：状态可能包含一系列的内部转换，内部转换因为只有源状态 而没有目标状态，所以内部转换的结果并不改变状态本身。如果对象的 事件在对象正处在拥有转换的状态时发生，那内部转换上的动作也被执 行。 n入口和出口动作:状态可能具有入口和出口动作。这些动作的目的是封装 这个状态，这样就可以不必知道状态的内部状态而在外部使用它。入口 动作和出口动作原则上依附于进入和出去的转换，但是将它们声明为特 殊的动作可以使状态的定义不依赖状态的转换，因此起到封装的作用。 n历史状态:组成状态可能包含历史状态（History state）。 构成状态图的元素 2. 2. 转换转换 n转换用于表示一个状态机的两个状态之间的一种关系 ，即一个在某初始状态的对象通过执行指定的动作并 符合一定的条件下进入第二种状态。 n在这个状态的变化中，转换被称作激发。在激发之前 的状态叫做源状态，在激发之后的状态叫做目标状态 。简单转换只有一个源状态和一个目标状态。复杂转 换有不止一个源状态和（或）有不止一个目标状态。 构成状态图的元素 外部转换外部转换 n外部转换是一种改变状态的转换，也是最普通最常见的一种转换。在 UML中，它用从源状态到目标状态的带箭头的线段表示，其他属性以文 字串附加在箭头旁。 构成状态图的元素 内部转换内部转换 n内部转换只有源状态，没有目标状态，不会激发入口和出口动作 ，因此内部转换激发的结果不改变本来的状态。如果一个内部转 换带有动作，它也要被执行。内部转换常用于对不改变状态的插 入动作建立模型。要注意的是内部转换的激发可能会掩盖使用相 同事件的外部转换。 n内部转换的表示法与入口动作和出口动作的表示法很相似。他们 的区别主要在于入口和出口动作使用了保留字“entry”和“exit”，其 它部分两者的表示法相同。 构成状态图的元素 完成转换完成转换 n完成转换没有明确标明触发器事件的转换是由状态中 活动的完成引起的。完成转换也可以带一个监护条件 ，这个监护条件在状态中的活动完成时被赋值，而不 是活动完成后被赋值。 构成状态图的元素 监护条件监护条件 n转换可能具有一个监护条件，监护条件是一个布尔表达式，它是 触发转换必须满足的条件。当一个触发器事件被触发时，监护条 件被赋值。如果表达式的值为真，转换可以激发；如果表达式的 值为假，转换不能激发；如果没有转换适合激发，事件会被忽略 ，这种情况并非错误。如果转换没有监护条件，监护条件就被认 为是真，而且一旦触发器事件发生，转换就激活。 n从一个状态引出的多个转换可以有同样的触发器事件。若此事件 发生，所有监护条件都被测试，测试的结果如果有超过一个的值 为真，也只有一个转换会激发。如果没有给定优先权，则选择哪 个转换来激发是不确定的。 构成状态图的元素 触发器事件触发器事件 n触发器事件就是能够引起状态转换的事件。如 果此事件有参数，这些参数可以被转换所用， 也可以被监护条件和动作的表达式所用。触发 器事件可以是信号、调用和时间段等。 n 对应与触发器事件，没有明确的触发器事件 的转换称作结束转换（或无触发器转换），是 在结束时被状态中的任一内部活动隐式触发的 。 构成状态图的元素 动作动作 n动作（action）通常是一个简短的计算处理过程或一组 可执行语句。动作也可以是一个动作序列，即一系列 简单的动作。动作可以给另一个对象发送消息、调用 一个操作、设置返回值、创建和销毁对象。 n动作是原子性的，所以动作是不可中断的，动作和动 作序列的执行不会被同时发生的其他动作影响或终止 。动作的执行时间非常短，所以动作的执行过程不能 再插入其他事件。如果在动作的执行期间接收到事件 ，那么这些事件都会被保存，直到动作结束，这时事 件一般已经得到值。 构成状态图的元素 3. 3. 判定判定 n判定用来表示一个事件依据不同的监护条件有不同的影响。在实 际建模的过程中，如果遇到需要使用判定的情况，通常用监护条 件来覆盖每种可能，使得一个事件的发生能保证触发一个转换。 n判定在活动图和状态图中都有很重要的作用。转换路径因为判定 而分为多个分支，可以将一个分支的输出部分与另外一个分支的 输入部分连接而组成一棵树，树的每个路径代表一个不同的转换 。树为建模提供了很大的方便。 n在活动图中，判定可以覆盖所有的可能，保证一些转换被激发。 否则，活动图就会因为输出转换不再重新激发而被冻结。 构成状态图的元素 4. 4. 同步同步 同步条是为了说明并发工作流的分支与汇合。状态图 和活动图中都可能用到同步。在UML中，同步用一条 线段来表示。 构成状态图的元素 5. 5. 事件事件 n在状态机中，一个事件的出现可以触发状态的改变。 它发生在时间和空间上的一点，没有持续时间。如接 受到从一个对象到另一个对象的调用或信号、某些值 的改变或一个时间段的终结。 n事件可以分成明确或隐含的几种，主要包括：信号事 件、调用事件、改变事件和时间事件等。 状态图的组成 1. 1. 顺序组成状态顺序组成状态 n如果一个组成状态的多个子状态之间是互斥的，不能同时存在的，这种 组成状态称为顺序组成状态。 n一个顺序组成状态最多可以有一个初始状态和一个终态，同时也最多可 以由一个浅（shallow）历史状态和一个深（deep）历史状态。 状态图的组成 2. 2. 并发组成状态并发组成状态 n在一个组成状态中，可能有两个或者多个并发的子状态机，我们称这样 的组成状态为并发组成状态。每个并发子状态还可以进一步分解为顺序 组成状态。 n一个并发组成状态可能没有初始状态，终态，或者历史状态。但是嵌套 在它们里的任何顺序组成状态可包含这些伪状态。 使用Rose创建状态图 1. 1. 创建状态图创建状态图 在Rational Rose中 ，可以为每个类创建 一个或者多个状态图 类的转换和状态都可 以在状态图中体现。 首先，展开“Logic View”菜单项，然后 在“Logic View”图标 上单击鼠标右键，在 弹出的菜单中选择 “New”下的 “Statechart Diagram”选项建立 新的状态图。 使用Rose创建状态图 2. 2. 创建初始和终止状态创建初始和终止状态 n初始状态和终止状态是状态图中的两个特殊状态。初 始状态代表着状态图的起点，终止状态代表着状态图 的终点。对象不可能保持在初始状态，但是可以保持 在终止状态。 n初始状态在状态图中用实心圆表示，终止状态在状态 图中用含有实心圆的空心圆表示。鼠标左键点击状态 图工具栏中的“”图标，然后在绘制区域要绘制的地方单 击鼠标左键就可以创建初始状态。终止状态的创建方 法和初始状态相同。 使用Rose创建状态图 3. 3. 创建状态创建状态 n首先用鼠标左键单击 状态图工具栏中对应 图标，然后在绘制区 域要创建状态的地方 单击鼠标左键。 n创建新的状态后，我 们可以修改状态的属 性信息。双击状态图 标，在弹出的对话框 “General”选项卡里 进行如名称“Name” 和文档说明 “Documentation”等 属性的设置。 使用Rose创建状态图 4. 4. 创建状态间的转换创建状态间的转换 n转换是两个状态之间的一种关系，代表了一种状态到另一种状态的过度 ，在UML中转换用一条带箭头的直线表示。 n要增加转换，首先用鼠标左键单击状态工具栏中的图标，然后再用鼠标 左键单击转换的源状态，接着向目标状态拖动一条直线。 使用Rose创建状态图 5. 5. 创建事件创建事件 一个事件可以触 发状态的转换。 要增加事件，先 双击转换图标， 在出现的对话框 的“General”选项 卡里增加事件， 接下来，在 “Event”选项中添 加触发转换的事 件，在 “Argument”选项 中添加事件的参 数，还可以在 “Documentation” 选项中添加对事 件的描述。 使用Rose创建状态图 6. 6. 创建监护条件创建监护条件 n监护条件是一个布尔表达式，它控制转换是否能够发生。 n要添加监护条件，先双击转换的图标，选择出现的对话框中的 “Detail”选项卡的“Guard Condition”选项，然后填入监护条件。可 以参考添加动作的方法添加监护条件。 创