UML05.1

5.5.3 进入和退出活动
入口： 入口：entry/，把活动连接到每个到达的 迁移上。 出口：exit/ 出口：exit/，有输出迁移引起状态退出， 就先执行退出活动。 状态有多个活动的执行顺序： 状态有多个活动的执行顺序： 执行顺序 到达迁移上的活动、进入活动、do活动、 退出活动、输出迁移上பைடு நூலகம்活动。
对软件密集型系统建模时
可视化、详述、构造和文档化某些对象 的行为的最自然的方法是：着眼于从状 态到状态的控制流。 着眼于从活动到活动的控制流。你可以 用一个流程图(活动图)来描述后者。
对一个嵌入式家庭安全系统建模
这样的系统需要不间断地工作，并对来自外部 的事件(如一个窗户被打破)作出反应。 另外，事件的顺序会改变系统行为的方式。例 如，如果系统是第一次报警，对窗户被打破的 检测将只是触发一个警报。 描述这样一个系统的行为，可通过对它的稳定 状态建模、对触发从状态到状态变化的事件建 模和对在每个状态改变时发生的动作进行建模 来做最好的说明。
5.1.2 变更事件
变更事件(change event)：由满足布尔表 变更事件 达式而引起的事件。 目的：不断测试表达式，当假变真，事件 发生。 表示法：when(battery power<lower limit)
5.1.3 时间事件
时间事件(time event)：在绝对时间上或 时间事件 在某个时间间隔内发生的事情所引起的 事件。 表示法： 绝对时间 when(date=January1,2000) 时间段 after(10 seconds)
跃迁/转换/迁移：是两个状态之间的关系， 它表示第一个状态的对象将执行某个动 作，如果规定的事件发生或规定的条件 被满足，则对象进入第二个状态。 活动：状态机中进行的非原子执行。 动作：是可执行的、不可分的计算，该 计算造成了模型的状态变化或者值的返 回。
5.1 事件
事件(event)：在某个时刻发生的事情。 事件 判断方式：动词过去式：power turned on；
5.5.4完成迁移
自动迁移：箭头无事件名。源有关方面 态相关的活动完成时就触发。 完成迁移(completion transition)：未标 完成迁移 记的迁移。源状态中的活动一旦完成， 它就触发。
5.5.5 发送信号
竞态条件(race condition)：如果一个对 竞态条件 象从多个对免受收到信号，并发信号接 收的顺序会影响到期最终状态，这被称 为竞态条件。
5.6 实践技巧
所有模型的准确内容都依赖于应用程序的需求。 把值抽象成状态。 参数。 事件和状态的粒度。 何时使用状态图。 进入和退出活动。 警戒条件。 竞态条件。
应用
动态方面包括：出现在系统体系结构的任何视 图中的任何一种对象的按事件排序的行为，这 些对象包括类（含主动类）、接口、构件、节 点。 使用状态图对系统某些动态建模时，实际上是 在任何建模元素的语境中做这件事情。 通常在整个系统、子系统或类的语境中使用状 态图，也可把它附加到用例上。
5.5 状态图行为 5.5.1 活动效应
效应(effect)：对为响应事件而执行的行 效应 为的引用。 活动(activity)：由效应触发的实际行为， 活动 效应数量不限。内部控制操作。 活动执行的条件：迁移、进入或退出、 其他事件。 表示法：
sm Statecharts rught button down/display pop-up m enu Idle right button up/erase pop-up menu Menu v isible cursor moved/highlight menu item
UML统一建模语言 UML统一建模语言
第5章
状态建模
软件05-4.5.6班 softwarecui@
状态图是UML中对系统的动态方面进行建模的五种图 之一。 一个状态图显示了一个状态机。 状态图用于对系统的动态方面建模。大多数情况下， 它包括对反应型对象的行为建模。 一个反应型对象是：它的行为是通过对来自它的语境 外部的事件作出反应来最佳刻画的。反应型对象具有 清晰的生命期，它的当前行为受它的过去行为影响。 为了可视化、详述、构造和文档化一个单独对象的动 态特性，状态图可以被附加到类、用况或整个系统上。
sm Statecharts White's turn Initial black moves white m oves Black's turn
checkmate
stalemate stalemate Final checkmate
5.4.3 状态图的基本表示法小结
状态。 迁移 事件 状态图 警戒条件 效应
5.3 迁移和状态
迁移(transition)：从一个状态到另一个 迁移 状态的瞬时变化。 触发(fire)：从源状态到目标 目标状态一发生 触发(fire) 源 目标 变化，就说是触发了迁移。 警戒条件(guard condition)：为了要让 警戒条件 迁移发生而必须为真的布尔表达式。 真 （只触发一次） 表示法：
5.2 状态
状态(state)：根据对象的总体行为 对象的总体行为，将取 状态 对象的总体行为 值和链接的集合组成（抽象）一个状态。 判断方式：-ing（Waiting,Dailing） 状态的持续时间(Powered) 表示法：圆角方框；状态名首字母大写。
sm Statecharts Waiting
5.1.1 信号事件
信号(signal)：从一个对象到另一个对象 信号 的明确的单向信息流动。——对象间的 消息。 信号事件(signal event)：发送或接收信 信号事件 号的事件。——某时刻发生的事情。 信号类(signal class)：每一次信号传输都 是唯一事件。表示法《signal》
初始状态：paper tray becomes empty
并发的（cuncurrent）：两个因果无关的事件。互不影响。 cuncurrent 并发事件按任何顺序发生。不用排序。 例：航班123、航班456 事件：错误事件，如，超时、取消中断——错误。 普通事件。 不同类型事件：信号事件，变更事件，时间事件。
对一个反应型对象建模，要遵循如下的策略：
选择状态机的语境，不管它是类、用况或是整 个系统。 选择这个对象的初态和终态。为了指导模型的 剩余部分，可能要分别地说明初态和终态的前 置条件和后置条件。 考虑对象可能在其中存在一段时间的条件，以 决定该对象所在的稳定状态。从这个对象的高 层状态开始，然后考虑它的可能的子状态。 在对象的整个生命期中，决定稳定状态的有意 义的偏序。 决定可能触发从状态到状态的转换的事件。将 这些事件建模为触发者状态序列到另一个合法 状态序列的转换。
North/south may turn left
tim eout
East/w est may go straight
5.4 状态图
状态图(state diagram)：详细说明了由 状态图 结点是状态， 事件序列引起的状态序列。结点 结点 有向弧是状态间的迁移。 有向弧 状态模型(state model)：包含多个状态图， 每个类一个状态图。
5.5.2 DO活动
Do活动 活动：持续了一段时间的一项活动。 活动 只会在某个状态内出现，不能附到迁移 上。 表示法：do/
sm Statecharts Paper j am do/flash w arninglight
表示对象处在某状态下的全部或部分持 续时间内执行的do活动 活动。 续时间内执行的 活动。
状态图的使用方式
对反应型对象建模 反应型对象：行为通常是由对来自语境外 部的事件作出反应来最佳刻画的。 反应型对象在接收到一个事件之前通常处 于空闲状态。当它接收到一个事件时， 它的反应常常依赖于以前的事件。 在这个对象对事件作出反应后，它就又变 成空闲状态，等待下一个事件。
要说明的三种事情
这个对象可能处于的稳定状态、 触发从状态到状态的转换的事件 当每个状态改变时发生的动作。 强调行为建模的可能发现的这个对象的 稳定状态——对象的生命期建模，对象 的生命期从这个对象的创建时刻开始， 到它被撤消而结束。
Pow ered
Dialing
Below Freezing
类、对象、状态、事件
类中的对象拥有有限数量的可能状态。 Student（sitting,studying,sleeping） Jone, Jane, Black 每个对象在某个时刻只能处于一种状态下。 对象在生存期内可以跨越一种或多种状态。 Black:sleeping----sitting-----studying…… 在给定时刻，类的不同对象可以存在于多个状态中。
与状态图有关的一些概念
状态图：给出了一个状态机，强调了从状态到 状态的控制流。 状态机：规定了对象在生命周期中响应事件所 经历的状态的序列以及对象对这些事件的响应。 状态机由状态、跃迁、事件、活动、动作等组 成。 状态：代表对象在生命周期中的一种条件或状 况，在这种状况下，对象满足某个条件，或执 行某个动作、或等待某个事件。一个状态在一 个有限的时间段内存在。 事件：是一个规范，在时间和空间域中有一个 位置。
把动作附加到这些转换上，并且／或者附加到 这些状态上。 考虑通过使用子状态、分支、分叉、汇合和历 史状态，来简化状态机。 核实所有的状态都是在事件的某种组合下可达 的。 核实不存在死角状态，即不存在那种没有事件 的组合能将这个对象转换出来的状态。 通过手工或者通过使用工具跟踪状态机，核对 所期望的事件序列以及它们的响应。
状态图示例
电话线的状态图。 表示法：矩形，左上角五边形标签，状态图名。 开始，电话线空闲。 拿起，发出拨号音，可接收数字拨号。 号码有效，连接呼叫 连接成功，响铃。 接通电话，会话开始。 挂起电话，电话断掉连接。
单触发状态图
连续循环——电话线。 单触发生存期 单触发状态图表示有着有限生存期的对 单触发状态图 象，有初始状态和终止状态。 初态：对象创建。 终态：对象被销毁。