3系统分析 状态图.pptVIP

上海理工大学 2019/3/4 1 第 3 讲 状态图 上海理工大学 2019/3/4 2 1 什么是状态图 ? ? 状态图描述了一个对象或交互过程在它的生命周期中对 一系列外界激励 所呈现出的 不同状态 以及它相应的 响应 和活动 ? 状态机用 状态 和 瞬时过程的变化 图形来表示一个对象对 外界激励下的响应，状态机一般附着在 一个对象 或 具体 的方法 上 ? 状态图描述了一个状态机，在我们考虑的范围内，它们 是同一件事 ? UML 中关于状态图的定义和描述主要是采用 David Hare 提 出的状态图方法并加上了面向对象的含义 上海理工大学 2019/3/4 3 2 状态图的构成 ? 状态图由一组表示 状态 和 迁移 组成。 ? 一个简单的编辑器可以被看作为一个有限状态机，它具有状态 Empty, Waiting for a command, 和 Waiting for text. 事件 Load file, Insert text, Insert character, Save and quit 引发状态机中的状态的迁移 上海理工大学 2019/3/4 4 3 什么是状态？ ? 状态表示的是一个对象或交互过程中的一个特定 阶段： 满足了某一个条件，进行某项活动或等待 某个事件的发生， 状态对应一段有限的时间。状 态对应于一组对象属性的值 ? 状态由一个带圆角的矩形表示 ? 两个特殊状态： ? 初始状态：一个小实心黑圆 ? 终止状态：一个套有小实心黑圆得圆 上海理工大学 2019/3/4 5 4 什么是迁移？ ? 一个迁移表示由事件、条件或事件触发后状态的 改变 ? 状态间的迁移用一根带箭头的直线来表示。 上海理工大学 2019/3/4 6 s tm Dynamic View MeasureTime SetTime DeadBattery Initial Final 2 分钟 pressBothButtons batteryEmpty batteryEmpty 上海理工大学 5. 动作 ? 可以在状态内使用动作表示其行为 ? 动作是选取一段输入且产生一组输出并最终可改 变系统的状态 ? 动作的执行只需要一小段时间且执行不可中断 ? 动作可发生在以下 3 个位置： ? 当一条迁移被选中时 ? 当进入一个状态时（ entry ） ? 当退出一个状态时（ exit ） 2019/3/4 7 上海理工大学 2019/3/4 8 s tm Dynamic View MeasureTime + do / count ticks SetTime + exit / blink hours + pressLeftButton / blink next number + pressRightButton / increment current number + exit / stop blinking DeadBattery Initial Final 2 分钟 pressBothButtons batteryEmpty batteryEmpty pressButtons/beep 上海理工大学 6. 活动 ? 一个状态可关联到一个活动，该活动的执行与驻 留在这一状态上的对象的生命周期一样长 ? 动作与活动的区别：动作的执行时间短且不可中 断，而一个活动的执行需要一段时间且其执行是 可以中断的，其中断的时机就是该状态的一个迁 移被时 ? 活动使用“ do 标识” 2019/3/4 9 上海理工大学 2019/3/4 10 上海理工大学 2019/3/4 11 上海理工大学 2019/3/4 12 上海理工大学 2019/3/4 13 上海理工大学 7. 内部迁移 ? 内部迁移指一个未离开该状态的迁移。 ? 通过事件触发内部迁移，并可出现与这些事件相 关联的动作 2019/3/4 14 上海理工大学 8. 嵌套状态图 ? 嵌套简化了复杂性，可用于取代内部迁移 2019/3/4 15 s tm Dynamic View SetTime Initial BlinkHours + rB / incr hour BlinkMinutes + rB / incr min. BlinkSeconds + rB / incr sec. BlinkDay + rB / incr day BlinkMonth +