UML4状态图.pptVIP

UML及建模工具 ——状态图 State Diagram 第7章 状态图(State Diagram) 7.1 基于状态的对象行为建模 7.2 状态图 7.3 状态图的表示方法 7.4 案例分析 7.5 总结 7.1 基于状态的对象行为建模 对象既有行为又有状态，对象的行为由其状态决定，对象根据其状态的不同而产生不同的行为 为了描述对象在状态之间的转变过程中将产生什么行为，需要捕获对象所有可能发生的状态 7.1 基于状态的对象行为建模 仅仅依靠顺序图或通信图来建立对象的行为模型还不够，需要全面的分析该对象的所有的可能的状态以及从一个状态过渡到另一个状态的条件 UML的状态图(State Diagram)特别适合为那些行为由其状态决定的对象建模，它描述了一个对象可能处于的各种不同状态以及这些状态之间的转移 UML的状态图是有效的基于对象状态的行为建模工具 7.2 状态图 状态图由状态(State)和迁移(Transitions) 组成 它的表达方式为： 状态图 = 状态 + 迁移 State Diagram = State + Transitions 进程Thread对象状态 Thread对象可能的状态及转换： 7.3 状态图的表示方法 7.3.1 状态 7.3.2 迁移 7.3.1 状态 状态是对象在它的生命周期中的某一时刻的，对象不仅在这一时刻具有某些特殊条件下产生的状况值，而且具有该状态决定的相应的动作或活动 UML用圆角矩形来表示状态，其中包含可选的名称 在定义状态时，我们只关注与状态值相关的对象属性，基于状态建模的目标是将该属性所有可能发生的取值和取值之间转换的链接组合在一起，以便展现对象在该属性不同状态下的行为全貌 7.3.1 状态 1. 状态的种类 2. 状态内部的活动 1. 状态的种类 根据状态发生的时间或状态组成的复杂性，我们简单的对状态进行分类 简单状态(Simple State) 复合状态(Composite State) 初始状态(Initial State) 终止状态(Final State) 结合状态(Junction State) 历史状态(History State) 1. 状态的种类 简单状态(Simple State) 各种状态中最简单的状态 其特点是它没有子状态，只带有一组转换和可能的入口和出口动作 1. 状态的种类 复合状态(Composite State) 一个状态是由一组或多组子状态图组成时，这个状态称为复合状态 如果一个状态有一组子状态图，则在该状态图内包含另一个状态图 如果一组状态有多个子状态图，则用虚线将该状态图分开，在分开区域分别包含子状态图 1. 状态的种类 初始状态(Initial State) 特殊状态，表明状态图状态的起点 1. 状态的种类 终止状态(Final State) 特殊状态，进入此状态表明完成了状态图中状态装换历程的所有活动 2. 状态内部的活动 状态的内部活动(Internal Activity)表示在特定状态下对象可执行的功能。 比如银行付款账单在逾期状态下执行催缴活动。 一个状态可以有若干相关活动，这些活动可以是由状态内部的事件触发的内部活动，也可能是由迁移的开始或结束自动触发的活动 无论是内部还是外部活动，只有当状态处于激活时活动才被触发 这些活动可以是操作、属性或者任何触发事件的参数，它可能是产生诸如发送信号或调用某个操作，包括给另一个对象发送消息、创建和销毁对象等 2. 状态内部的活动 应用标签来表示状态的内部活动，一个活动可以采用下面的形式描述，并放置在表示状态的圆角矩形中： 标签/活动表达式 label / activity expression 2. 状态内部的活动 UML提供了三种标签来表示活动： entry：当进入一个状态的时候被自动触发，该活动在状态中其他任何活动之前被自动触发； do：当状态处于激活时执行do活动，do活动在进入活动之后执行，并且一直运行到它本身完成 exit：当离开一个状态的时候被自动触发，该活动在该状态结束之前，所有的其他活动都完成后被触发。 7.3.2 迁移 迁移指从一个状态到另一个状态的瞬间变化过程 从源状态到目标状态一发生变化，就称发生了迁移 UML用从源状态到目标状态的带开放式箭头的实线表示迁移，箭头指向目标状态 7.3.2 迁移 1. 引发迁移的事件 2. 迁移的文字标签 2. 迁移的文字标签 为了使迁移线有明确的意义，UML提供了由三部分组成的文字标签来解释该迁移的发生事件 触发 警戒条件 行为 2. 迁移