学期本UML八状态图和活动图.ppt

UML 面向对象技术教程 课程内容回顾 用例图 ? 用例图 类 图、对象图 ? 静态图 UML视图 状态图、活动图 ? 行为图 构件图、部署图 ? 实现图 协作图、顺序图 ? 交互图 UML视图的五种类型分类： 用例图：从用户角度描述系统功能，指出操作者。 静态图：表示系统的静态结构。 行为图：描述系统的动态模型和组成对象间的相互关系。 交互图：描述对象间的相互关系。 实现图：描述系统的物理实现。 本章中所涉及的主要内容 什么是状态图？ 状态图中涉及的基本概念 (状态、组合状态和子状态、历史状态、转移、事件、动作) 工具支持 什么是活动图？ 活动图中涉及的基本概念 活动、泳道、分支、分叉和汇合、对象流 工具支持 状态图和活动图的比较 一. 状态图的定义(Statechart Diagram ) 状态图是UML中对系统动态方面建模的图例之一. 状态图是针对类对象的生命周期建立模型，描述对象随时间变化的动态行为. 状态图显示了一个状态机，它是一个状态机中的元素的一个投影，意味着状态图包括状态机的所有特性. 状态机（State Machine） 状态机是展示状态与状态转换的图形。 在UML里，状态机用于对具有事件驱动特性的动态行为建模,事件驱动的动态行为的特定是对象当前时刻的动态行为将取决于当前的事件输入和此对象在以前时刻的动态行为的结果。 状态（state）状态是状态机的重要组成部分，描述了状态机所在对象的动态行为的执行所产生的结果. 一. 状态图的定义(续一) 状态图通过对对象的状态以及状态间的转换建模来 展现系统动态行为。 下面是对图书馆的图书的简单状态图例： 二. 状态图中的基本概念 1．状态（state） 状态是指对象在其生命周期中各个阶段的状况，包括：满足某些条件、执行某些活动或等待某些事件. 所有对象都具有状态.状态是对象执行了一系列活动的结果.当某个事件发生后，对象状态可能发生变化. 状态名为 Lighting（点灯）状态： 状态可细分成： 转移又称状态转换 表示对象在第一个状态（源状态）中执行一定的动作，并在某个特定事件发生、并满足特定警戒条件时进入第二个状态（目的状态）。 在UML里转换由五个部分组成， 源状态（Source State）、 目标状态（Target State） 触发事件（Trigger Event） 监护条件（Guard Condition） 动作（Action）。 从相同的状态出来，事件相同的几个转换之间应 该是互斥的，如下图：（见P94图8.7） 2) 变化事件又称修改事件（change event） 由一个布尔表达式的变量变化引起条件满足而触发 转换的事件。 例如：when(temperature120)/alarm() 3) 时间事件（time event） 是指满足某一时间表达式的情况出现，常用关键字 after, when 等表示。 如： 4) 信号事件（signal event） 信号事件表示对象收到信号的情况（往往会触发状态的转移）。 在UML中，信号用版型《Signal》的类来表示，信号之间可以有泛化关系，形成类的层次结构. （参见教科书P96 图8.11） 动作（action）当转换引起时，它对应的动作被执行. 动作是一个可执行的原子计算，一般是一组可执行语句或者计算处理过程，即动作在它的执行控制线程中是不可中断的、其时间上可以被忽略. UML没规定动作的具体的语法格式，只规定了两种特殊的动作. 格式如下： (1) 进入动作： ‘entry’/action-expression (2) 退出动作： ‘exit’/ action-expression 三. 状态图的工具支持（略）（目前 Rose 尚不支持 StateChart 的正向工程。） 四.状态图的建模技术(附加) 状态图图示 五. 绘制状态图练习 1．试绘制“图书馆借还书系统”中一本书（对象）的状 态图。 题意： {一本书从购置到废弃不用要经过“新书(New Book）”， “在图书馆 (Available)”，“已借出(Borrowed)”， “已预