6-状态图.pptVIP

* 南昌航空大学计算机学院 28.3 信号泛化 * 南昌航空大学计算机学院 28.4 并发 状态模型隐含支持对象间的并发操作。通常，对象是自治实体，可以互相对立地操作和改变状态。但是，对象不需要完全独立，并可能会受限于一些共享的约束，在状态变化中这些约束会要求一定的一致性。 * 南昌航空大学计算机学院 聚合并发 * 南昌航空大学计算机学院 Ignition * 南昌航空大学计算机学院 Transmission * 南昌航空大学计算机学院 Acccelerator * 南昌航空大学计算机学院 Brake * 南昌航空大学计算机学院 对象内的并发 * 南昌航空大学计算机学院 并发活动的同步 南昌航空大学计算机学院 状态图建模 * 南昌航空大学计算机学院 什么是状态模型 状态模型描述相应外部激励而发生的操作序列，而不是描述操作做了些什么，对什么进行操作，或者操作是如何实现的。 状态模型由多个状态图组成，每个类对应一个状态图，描述对应用程序来说是重要的那些时序行为。事件表示外部激励，状态表示对象的取值。 * 南昌航空大学计算机学院 27.1 事件 事件（event）是指在某个时刻发生的事情，例如:航班离开北京。两个因果无关的事件就是并发的（concurrent） 事件包括错误状态以及普通事件。例如，取消\中断和超时都是典型的错误事件。 * 南昌航空大学计算机学院 27.1.1 信号事件 信号（signal）是指从一个对象到另一个对象的明确的单向信息流动。 信号事件（signal event）是指发送或接收信号的事件。注意信号和信号事件的区别——信号是对象间的消息，而信号事件是指在某时刻发生的事情。 * 南昌航空大学计算机学院 每一次信号传输都是唯一事件，但我们会把它们组成信号类（signal class），并赋予每个信号类一个名字，来表示公共的结构和行为。例如： * 南昌航空大学计算机学院 27.1.2 变更事件 变更事件（change event）是指由满足布尔表达式而引起的事件。变更事件的UML表示法是采用关键词when，后面跟着括号括起的表达式。如： * 南昌航空大学计算机学院 27.1.3 时间事件 时间事件（time event）是指在绝对时间上或在某个时间间隔内发生的事情所引起的事件。时间（段）的UML表示法是采用关键词when或者after，后面跟着用括号括起的包含时间（间隔）的表达式。如： when( date = January 1,2000 ) after( 10 seconds ) * 南昌航空大学计算机学院 27.2 状态 状态（state）是对象取值和链接的抽象。根据对象的总体行为，将取值和链接的集合组成一个状态。例如： * 南昌航空大学计算机学院 在定义状态时，我们要忽略那些不影响对象行为的属性，将在单个状态中有着相同事件响应的值和链接的所有组合合并在一处。状态确定对象对输入事件的响应。事件和状态之间有某种对称性。事件表示时间点；状态表示时间段。状态对应着对象接收的两次事件之间的时间间隔。事件和状态两者都依赖于抽象的层次。 * 南昌航空大学计算机学院 27.3 迁移和状态 迁移（transition）是指从一个状态到另一个状态的瞬时变化。从源状态到目标状态一发生变化，就说是触发（fire）了迁移。迁移的源和目标通常是不同的状态，但也可能会相同。 警戒条件（guard condition）：为了要让迁移发生而必须为真的布尔表达式。警戒条件只在事件发生的时候检查一次，条件为真时迁移才能触发。注意，警戒条件与变化事件不同——警戒条件只会触发一次，而变化事件实际上是要连续检查的。 * 南昌航空大学计算机学院 交通灯示例 * 南昌航空大学计算机学院 27.4 状态图 状态图（state diagram）的结点是状态，有向弧是状态间的迁移。状态图详细说明了由事件序列引起的状态序列。 状态模型（state model）包含了多个状态图，每个类一个状态图，状态图建模重要的是时序行为。状态图必须匹配它们的接口——事件和警戒条件。 Idle DialTon e offHook Dialing Connect ing validNumber Ringing Connect ed calledPhoneAnswers Disconnec ted calledPhoneHangsUp Warning timeout Timeout onHook Recorded Message timeout messageDone BusyTo ne Fast BusyTone routed numberBusy trunkBusy onHook digit(n) digit(n) timeout * 南昌航空大学计算机学院 单触发