新软件建模技术6(状态图活动图)PPT教学课件

[onHook]
7
10.1.4入口/出口动作（entry/exit action）
• 表示进入/退出这个状态所执行的动作。 • 入口动作：entry/ XX action • 出口动作：exit/ XX action
• 动作：可以是原子动作，也可以是动作系 转换
• 在UML中，图形上每一状态机都有一个初 始状态（实心圆），用来表示状态机的开 始。还有一个终止状态（半实心圆），用 来表示状态机的终止。其他状态用一个圆 角矩形表示。
2020/12/09
3
10.1.2转换
• 表示状态间可能的路径，用箭头表示 • 包括事件和动作 • 事件写在由它们触发引起的转换上 • 事件是发生在时间空间上的一点值得注意
10状态图和活动图
2020/12/09
1
10.1状态图
• 系统中对象状态的变化是最容易被发现和 理解的。
• 在UML中，可以使用状态图展现对象状态 的变化。
• 通过类对象的生命周期建立模型来描述对 象随时间变化的动态行为。
2020/12/09
2
10.1.1状态
• 状态定义对象在其生命周期中的条件或状 况，在次期间，对象满足某些条件，执行 某些操作或等待某些事件。
2020/12/09
14
10.2.4分支
• 简单的、顺序的转换是常见的，但并不是对一个控制流建 模所需的唯一的一种途径。在一个流程图中，可以包含一 个分支，它描述了基于某个布尔表达式的可选择的路径。 一个分支可以有一个进入转换和两个或多个离去转换。在 每个离去转换上放置一个监护条件（布尔表达式）（在进 入这个分支时被判断一次），所有离去转换中，其监护条 件不应该重叠（否则控制流将是模糊的），但是他们应该 覆盖所有可能性（否则，控制流可能会冻结）。
的事情。 • 动作是原子性的，通常表示一个简短的计
算处理过程。
2020/12/09
4
10.1.3转换的组成
• 源状态：被转换影响的状态，一个转换可 以有多个源状态
• 目标状态：转换完成后，对象状态发生变 化，这时对象所处的状态，一个转换可以 有多个目标状态。
• 触发事件：引起转换发生的事件 • 监护条件：
2020/12/09
16
10.2.5分叉和汇合（续）
• 一个分叉表示把一个单独的控制流分成2个或更多 个控制流，一个分叉可以有一个进入转换和2个或 更多个离去转换，每一个转换表示一个独立的控 制流。在这个分叉之下，每一个路径相关的活动 将并行地继续。
• 一个汇合表示2个或更多个控制流同步发生。一个 汇合可以有2个或更多个进入转换和一个离去转换。 在汇合处，并发的流取得同步，这意味着每个流 都等待着，直到所有进入流都到达这个回合处， 然后在这个回合的下面，只有一个控制流从这一 点继续。
• 为了方便，可以用关键字else来标记一个离去转换，它表 示如果其他监护条件都不为真时所执行的路径。
2020/12/09
15
10.2.5分叉和汇合
• 简单的和具有分支的顺序转换是活动图中 最常见的路径。然而，对业务过程的工作 流建模时，可能会遇到并发流。在UML中 用一个同步棒（一条粗的水平或垂直的线） 来说明这些并行控制流的分叉和汇合。
态
2020/12/09
10
10.2活动图
• 用于描述一个过程或操作的步骤。
• 活动图用于研究实现目标时所要执行的各 项任务或活动的顺序安排。活动既可以是 手动执行的任务，也可以是自动执行的任 务。它可完成一个工作单元。
• 活动图是状态图的一种特殊形式。其中所 有或多数状态都是活动状态，而且所有或 多数转移都在源状态中的活动完成时立即 触发。
• 是不会引起状态变化的转换，此转换的触 发不会引起入口/出口动作的执行。
• 表示内部转换的文字标识附加在表示状态 的圆角矩形内，而不使用箭头图形标识。
• 语法：事件/动作表达式
2020/12/09
9
10.1.6子状态
• 某特定状态还可以用一个状态机来描述 • 一个状态（复合状态）内部还包含其他状
• 动作：当转换被激活时，它对应的动作被 执行。
2020/12/09
5
/ call someone idle
dialing
/ be called / [refused]
ringing / [have't acts]
2020/12/09
/ [can't connect]
/ [connected]
/ finish connection
• 在表示法上2者没有区别，只是活动状态有附加的 部分。如进入和退出动作（进入和离开该状态的 动作）个子状态机说明。
2020/12/09
13
10.2.3转移
• 当一个状态的动作或活动结束时，控制流 会马上传递给下一个动作或活动状态。用 转移来说明这个流，显示一个动作或活动 状态到下一个动作或活动状态的路径 （UML种用一条简单的有向直线表示）。
[TimeOut] [inv alidNumber]
Ringing
[ca llPh o n e An sw e rs]
Connected
2020/12/09
[onHook]
[callPhoneHangup] D isco n n e cte d
Warning
TimeOut
Re co rd e M e ssa g e
2020/12/09
11
10.2.1动作状态
• 可执行的原子计算成称为动作状态，动作 状态不能分解，也就是说动作状态不能被 中断。动作状态的工作所占用的时间一般 可被看作是可忽略的。
2020/12/09
12
10.2.2活动状态
• 活动状态能够被进一步分解，他们的活动由其他 的活动图表示。而且，活动状态不是原子的，也 就是说他们可以被中断。可以把一个动作状态看 成是一个活动状态的特例；可以把一个活动状态 看成是一个组合，它的控制流由其他活动状态和 动作状态组成。放大一个活动状态就会发现另一 个活动图。
talking
6
Idle
[offHook] D ia lTo n e
[digital(n)]
[digital(n)] D ia lin g
busyTone
[v alidNumber]
[numberBusy] Connecting
FastBusyTone
[trunkBusy]
[routed]
[TimeOut]