07状态图探究.pptVIP

* * 1. 引发迁移的事件 迁移的发生可能被来自对象内部或外部各种事件所引发 如果某一事件的发生引起了对象状态的变化，即称对象的状态发生了迁移 这些可能引发迁移的事件可以进一步划分为： 信号事件 变化事件 调用事件 时间事件 * * 1. 引发迁移的事件 1) 信号事件 信号事件(Signal Event)指在实时(Real-time)系统运行中，对象接收到一个系统外界的信号，从而使对象的状态发生迁移的事件 例如，当我们打开灯的开关时，我们把系统外界压力信号通过开关转入系统，同时系统状态发生由熄灯到亮灯的状态迁移 * * 1. 引发迁移的事件 在状态图中，可以使用信号发送构造型图 标和信号接收构造型图标表示信号事件。 信号发送构造型图标是一个矩形的一侧为尖角，它代表一个信号的发送，其中含有发送子句。 信号接收构造型图标是一个矩形的一侧为凹角，它代表一个信号的接收，其中含有事件名称。 例：信号发送与接收的构造型图标，如右图所示。它是一个微波炉工作的状态图。 * * 1. 引发迁移的事件 2) 变化事件 变化事件(Change Event)指对象的内部或外部条件发生变化而引起的对象状态发生变化的事件 例如，对象在实行某个行为时，当某个条件是true时，则必须改变其自身或所关联对象的状态，这个布尔条件就是变化条件 * * 1. 引发迁移的事件 3)时间事件 时间事件(Time Event)指对象的状态在绝对时间上或某个时间段内自动发生迁移 时间事件经常由系统外界设定的时间时刻或系统内部设定的时间段产生，其时间表的运行可能来源于操作系统，或者是系统应用中的自身运算 例如，一个在校学生在校的有效学生身份状态可能由于学校管理系统的日期变化而自动变成非学生状态 * * 1. 引发迁移的事件 4) 调用事件 调用事件(Call Event)是指系统之外的其它系统通过接口和某种协议，直接执行该系统内部的对象行为，从而引发对象状态的迁移 例如，我们可以用办公室电脑远程遥控家里的各种电器，使电器发生状态迁移 * * 7.3.2 迁移 1. 引发迁移的事件 2. 迁移的文字标签 * * 2. 迁移的文字标签 为了使迁移线有明确的意义，UML提供了由三部分组成的文字标签来解释该迁移的发生事件 触发 警戒条件 行为 * * 2. 迁移的文字标签 文字标签的语法可以表示为： 触发[警戒条件]/行为 trigger[guard] / behavior * * Gathering input Processing input keystroke[input=required_length]/ submit input keystroke[inputrequired_length] 图7-8包含复杂迁移描述的状态图 2. 迁移的文字标签 * * 1)trigger trigger表示触发，指明何种条件可以导致迁移发生 2)guard guard表示警戒条件，指为了让警戒发生而必须为真的布尔表达式 3)behavior behavior指为响应事件而执行的行为，迁移行为指当迁移发生时所执行一个不可中断的活动(Activity) 2. 迁移的文字标签 * * 第7章 状态图(State Diagram) 7.1 基于状态的对象行为建模 7.2 状态图 7.3 状态图的表示方法 7.4 案例分析 7.5 总结 * * 7.4 案例分析 参加书中7.4节 * * 7.4 案例分析 * * 7.4 案例分析 从图中看出有两个状态：“已分配任务”状态和“未分配任务”状态。 从初始状态直接进入“未分配任务”状态。通过事件“分配资源给任务”触发转移，从“未分配任务”状态转移到“以分配任务”状态，而且完成动作“增加NumAssTasks”（增加任务个数）。 对于一个“已分配任务”状态可以有3种转移发生：分配任务并转移到新的“已分配任务”状态；取消分配任务并转移到新的“已分配任务”状态；取消分配任务并转移到“未分配任务”状态。它们相应的事件、保安条件和动作如下： 分配资源给任务/增加NumAssTasks 取消资源的任务分配[NumAssTasks1]/减少NumAssTasks 取消资源的任务分配[NumAssTasks=1]/减少NumAssTasks 其中，方括号中是状态转移的保安条件。 * * 第7章 状态图(State Diagram) 7.1 基于状态的对象行为建模 7.2 状态图 7.3 状态图的表示方法 7.4 案例分析 7.5 总结 * * 7.5 总结 状态图最重要的两个元素是状态和迁移