Chapter07状态图02(阅读).pptVIP

状态图Statechart Diagram 状态图的基本概念 状态图（statechart diagram）：状态图用来建模对象是如何改变其状态以响应事件和展示对象从创建到删除的生命周期。状态定义为对象行为在某一个时刻的快照或者转折点。例如，计算机的状态可以定义为开机、启动、工作中、空闲、关机和离线等。状态图的任务就是用来描述一个对象所处的可能状态以及状态之间的转移，并给出状态变化序列的起点与终点。 状态图的基本概念 状态图 状态图的构成 组成UML的图形元素有状态、转换、初始状态、终结状态和判定等 。 状态图 状态图的构成→状态 状态显示为圆角矩形。状态的名称放在矩形中。 状态图中的状态一般是给定类对象中的一组属性值，这组属性值是对象所有属性的子集。 在对系统建模时，我们可以只关心那些明显影响对象行为的属性以及由他们表达的对象状态，而不用理睬那些于对象行为无关的状态。 对对象建模时，列出对象的全部状态并绘制状态图是不现实的。 建模的时候只需要考虑与对象当前行为有关的属性状态即可。 对“飞机”对象来说： 累计飞行10000km与15000km在行为上并无实质性的区别 建模时，也许系统关心的只是飞机的当前使用状况，如飞行、着陆、机场停放、维修和报废等。 可以根据飞机使用的几种情况将建立状态图，其中可以建立“飞行”、“着陆”、“机场停放”、“维修”、“报废”等几种状态。 状态组成： 状态名（Name） 活动（Activity） 入口动作（Entry Action） 出口动作（Exit Action） 状态种类： 简单状态（Simple State） 组成状态（Composite State） 状态→状态名 一个状态需要一个状态名以识别不同的状态， 状态可以匿名，但是为方便起见，最好为状态取一个以字符串构成的名字。 状态的名字通常放在状态图标的顶部。 状态→内部转换活动 内部转换只有源状态而没有目标状态，转换激发的结果并不改变状态本身。 如果一个内部转换带有动作，动作也要被执行，但是由于没有状态改变发生，因此不需要执行入口和出口动作。 状态→内部转换活动 当状态向自身转换时，并不需要入口动作和出口动作，就要用到内部转换： 例如某个聊天状态的入口动作是验证密码，出口动作是清空聊天记录，如果用户在聊天状态下只想改变除密码外的个人信息的话，那么就可以使用内部转换，不触发入口动作和出口动作的执行 状态→入口动作 入口动作表示进入某个状态所要执行的动作。 入口动作用“entry/要执行的动作”表达。 状态→出口动作 出口动作表示退出某个状态所要执行的动作。 出口动作用“exit/要执行的动作”表达。 状态→简单状态 简单状态是指不包含其他状态的状态。简单状态没有子结构，但它可以具有内部转换、入口动作和退出动作等。 状态→组成状态 状态还可以包含嵌套的子状态的状态，称为组成状态。 组成状态可以使用“与”关系分解为并发子状态，或者通过“或”关系分解为互相排斥的顺序子状态。 状态→组成状态 1. 顺序子状态 2. 并发子状态 状态→组成状态 状态→组成状态 状态→组成状态 状态→组成状态 顺序子状态 状态→组成状态 顺序子状态 状态→组成状态 顺序子状态 状态→组成状态 顺序子状态 状态→组成状态 并发子状态 状态→组成状态 顺序子状态与并发子状态的区别 状态→组成状态 历史状态 状态→组成状态 历史状态 状态→组成状态 历史状态 状态图 状态图的构成→状态→初始状态 每个状态图都应该有一个初始状态，此状态代表状态图的起始位置。 初始状态只能作为转换的源，而不能作为转换的目标。 起始状态在一个状态图中只允许有一个，用一个实心的圆表示。 状态图 状态图的构成→状态→终止状态 终止状态是模型元素的最后状态，是一个状态图的终止点。 终止状态只能作为转换的目标，而不能作为转换的源。 终止状态在一个状态图中可以有多个，它用一个含有实心圆的空心圆表示。 状态图 状态图的构成→转换 转换用带箭头的直线表示，箭尾一端连接源状态，即转出的状态；箭头一端连接目标状态，即转入的状态。 转换可以标注与此转换相关的选项，如事件、监护条件和动作。 当源状态接收到一个事件，并且监护条件得到满足，则执行相应的动作，同时从源状态转换到目标状态。 如果转换上没有标注触发转换的事件，则表示此转换为自动进行。 状态图 状态图的构成→判定 状态图需要根据给定条件进行判断，然后根据不同的判断结果进行不同的转换 判定用空心小菱形表示。 状态图中使用判定的位置：工作流在此处按监护条件的取值而发生分支。通常条件下的判定只有一个入转换和两个出转换（监护条件为布尔表达式）。 根据监护条件的真假可以触发不同的分支转换。 状态图的Rose创建概述 作业：状态图建模 （1）在“远