首页 > 代码库 > UML_状态图

UML_状态图

•状态和状态机

状态、状态表示法及状态机

状态 是指在对象生命周期中满足某些条件、执行某些活动或等待某些事件的一个条件和状况

•一个状态通常包括名称、进入/退出活动、内部转换、子状态和延迟事件 等五个部分组成

image

状态机 是计算机科学理论的一部分,但UML中的状态机模型主要是基于David Harel所做的扩展,是用来展示状态与状态之间转换的图

•如何阅读状态机图

阅读最简单的状态图

•最为核心的元素无外乎是两个:一个是用圆角矩形表示的状态 (初态和终态例外);另一个则是在状态之间的、包含一些文字描述的有向箭头线,这些箭头线称为转换

image

转换的五要素

image

•源状态:即受转换影响的状态

•目标状态:当转换完成后对象的状态

•触发事件:用来为转换定义一个事件,包括调用、改变、信号、时间四类事件

•监护条件:布尔表达式,决定是否激活转换、

•动作:转换激活时的操作

读图小结

•与状态off相关的转换有两个,其触发事件都是turnOn,只不过其监护条件不同。如果对象收到事件turnOn,那么将判断壶中是否有水;如果[没水],则仍然处于off状态;如果[有水]则转为on状态,并执行“烧水”动作

•而与状态on相关的转换也有两个,如果“水开了”就执行turnOff,关掉开关;如果烧坏了,就进入了终态了

image

复杂转换

转换类型

描述

语法

外部转换

      对事件做出响应,引起状态变化或自身转换,同时引发一个特定动作,如果离开或进入状态将引发进入转换、离开转换

事件 ( 参数 )[ 监护条件 ]/ 动作

内部转换

      对事件做出响应,并执行一个特定的活动,但并不引起状态变化或进入转换、离开转换

事件 ( 参数 )[ 监护条件 ]/ 动作

进入转换

     当进入某一状态时,执行相应活动

entry/ 活动

退出转换

      当离开某一状态时,执行相应活动

exit/ 活动

阅读带有复杂转换的状态图

image

只有动作描述,进入和退出和操作方法写在了里面

各种转换的区别

进入和退出转换 :当进入一个状态时,执行某个动作;或当退出某个状态时,执行什么动作。这时就可以使用进入和退出转换 来表示

内部转换 :用来处理一些不离开该状态的事件

image

活动与延迟事件

•活动:当对象处于一个状态时,它一般是空闲的,在等待一个事件的发生。但是某些时间,你可能希望描述个正在进行的活动。在处于一个状态的同时,对象做着某些工作,并一直继续到被某个事件中断

• 延迟事件:延迟事件是一种特殊的事件,它是指该事件不会触发状态的转换,当对象处于该状态时事件不会丢失,但会被延迟执行。例如,当E-mail程序中正 在发送第一封邮件时,用户下达发送第二封邮件执令就会被延迟,但第一封邮件发送完成后,这封邮件就会被发送。这种事件就属于延迟事件

复合状态表示法

image 分解指示符

顺序复合状态图

image

监护条件为“应答音 ”,代表已连接。

并发复合状态图

image

三种评测方式

历史

•“一个圆圈中加上字母H”,是用来表示历史状态的。

它的含义是:当从状态“结账”和“显示购物车”返回子状态“显示索引信息”时,将进入的是离开时的历史状态。也就是说,转到购物车或结账区之后,再回到“浏览目录”的页面时,其中的内容是不变的,仍然保留原来的信息。

image

子状态机

•将子状态机单独定义,并对其进行命名(通常以大写字母开头),然后在需要使用的地方来引用它

image

引用C状态机

•如何绘制状态机图

绘制状态机图

•绘制状态机图的理想步骤是:寻找 主要的状态,确定状态之间的转换细化 状态内的活动与转换,用复合状态来展开细节

•寻找主要状态:对于航班机票预订系统而言,显然包括的状态主要有 -- 在刚确定飞机计划时,显然是没有任何预订的,并且在有人预订机票之前都将处于这种“无预订”状态 -- 对订座而言显然有“部分预订”和“预订完”两种状态 -- 而当航班快要起飞时,显然要“预订关闭” 总结一下,主要有四种状态:无预订、部分预订、预订完以及预订关闭

•确定状态间转换

表格横向是转出

表格纵向是转入

源目标

无预订

部分预订

预订完

预订关闭

无预订

 

预订 ()

不直接转换

关闭 ()

部分预订

退订 (), 使预订人 =0

 

预订 (), 无空座

关闭 ()

预订完

不直接转换

退订 ()

 

关闭 ()

预订关闭

无转换

无转换

无转换

 

image

•细化状态内的活动与转换

image

•使用复合状态

image

•状态机图应用说明

•对对象生命周期建模 :主要描述对象能够响应的事件、对这些事件的响以及过去对当前行为的影响

•对反应型对象建模:这个对象可能处于的稳定状态、从一个状态到另一个状态之间的转换所需的触发事件,以及每个状态改变时发生的动作

•状态机图既可以用来表示一个业务领域的知识,也可以用来描述设计阶段对象的状态变迁

UML_状态图