第6章 状态机视图

6.1 概述
　　状态机视图通过对类对象的生存周期建立模型来描述对象随时间变化的动态行为。每一个对象都被看作是通过对事件进行探测并做出回应来与外界其他部分通信的独立的实体。事件表示对象可以探测到的事物的一种运动变化—如接受到从一个对象到另一个对象的调用或信号、某些值的改变或一个时间段的终结。任何影响对象的事物都可以是事件，真实世界所发生的事物的模型通过从外部世界到系统的信号来建造的。
　　状态是给定类的对象的一组属性值,这组属性值对所发生的事件具有相同性质的反应。换而言之，处于相同状态的对象对同一事件具有同样方式的反应，所以当给定状态下的多个对象当接受到相同事件时会执行相同的动作，然而处于不同状态下的对象会通过不同的动作对同一事件做出不同的反应。例如，当自动答复机处于处理事务状态或空闲状态时会对取消键做出不同的反应。
　　状态机用于描述类的行为，但它们也描述用例、协作和方法的动态行为。对这些对象方面而言，一个状态代表了执行中的一步。我们通常用类和对象来描述状态机，但是它也可以被其他元素所直接应用。
6.2 状态机
　　状态机是展示状态与状态转换的图。通常一个状态机依附于一个类，并且描述一个类的实例对接受到的事件所发生的反应。状态机也可以依附于操作、用例和协作并描述它们的执行过程。
状态机是一个类的对象所有可能的生命历程的模型。对象被孤立地从系统中抽出和考察，任何来自外部的影响被概述为事件。当对象探测到一个事件后，它依照当前的状态做出反应，反应包括执行一个动作和转换到新状态。状态机可以构造成继承转换，也能够对并发行为建立模型。
状态机是一个对象的局部视图，一个将对象与其外部世界分离开来并独立考查其行为的图。利用状态机可以精确地描述行为，但不适合综合理解系统执行操作。如果要更好地理解整个系统范围内的行为产生的影响，那么交互视图将更有用些。然而，状态机有助于理解如用户接口和设备控制器这样的控制机。
6.3 事件
　　事件是发生在时间和空间上的一点的值得注意的事情。它在时间上的一点发生，没有持续时间。如果某一事情的发生造成了影响，那么在状态机模型中它是一个事件。当我们使用事件这个词时，通常是指一个事件的描述符号，即对所有具有相同形式的独立发生事件的描述，就像类这个词表示所有具有相同结构的独立类一样。一个事件的具体发生叫做事件的实例。事件可能有参数来辨别每个实例，就像类用属性来辨别每个对象。对类而言，信号利用泛化关系来进行组织，以使不同的类共享公用的结构。事件可以分成明确或隐含的几种：信号事件、调用事件、修件事件、时间事件等。表6-1是几种事件类型及其描述。

6-1 事件的种类


1. 信号事件
　　信号是作为两个对象之间的通信媒介的命名的实体，信号的接收是信号接受对象的一个事件。发送对象明确地创建并初始化一个信号实例并把它发送到一个或一组对象。最基本的信号是异步单路通信，发送者不会等待接收者如何处理信号而是独立地做它自己的工作。在双路通信模型中，要用到多路信号，即至少要在每个方向上有一个信号。发送者和接受者可以是同一个对象。
　　信号可以在类图中被声明为类元，并用关键字《signal》表示，信号的参数被声明为属性。同类元一样，信号间可以有泛化关系，信号可以是其他信号的子信号，它们继承父信号的参数，并且可以触发依赖于父信号的转换（如图6-1所示）。

图6-1 信号的等级组织
2. 调用事件
　　调用事件是一个对象对调用的接收，这个对象用状态的转换而不是用固定的处理过程实现操作。对调用者来说，普通的调用（用方法实现的调用）不会被调用事件所辨别。接收者不是用方法来实现操作就是触发一个状态转换来实现这个操作。操作的参数即事件的参数。一旦调用的接收对象通过由事件触发的转换完成了对调用事件的处理或调用失败而没有进行任何状态转换，则控制返回到调用对象。不过，与普通的调用不同，调用事件的接收者会继续它自己的执行过程，与调用者处于并行状态。
3. 修改事件
　　修改事件是依靠特定属性值的布尔表达式所表示的条件的满足。这是等到特定条件被满足的一种声明途径，但是一定要小心使用它，因为它表示了一种具有时间持续性的并且可能是涉及全局的计算过程（是一种远距离的动作，因为被测试的值可能是远距离的）。这既有好处也有坏处，它的好处在于它将模型集中在真正的依赖关系上—一种当给定条件被满足时发生的作用—而不是集中在测试条件的机制上。缺点在于它使修改系统潜在值和最终效果的活动之间的因果关系变得模糊了。测试修改事件的代价可能很大，因为原则上修改事件是持续不断的。而实际上，又存在着避免不必要的计算的方法。修改事件应该仅用在当一个具有更明确表达形式的通信形式显得不自然时。
　　请注意监护条件与修改事件的区别。监护条件只是在引起转换的触发器事件触发时和事件接收者对事件进行处理时被赋值一次。如果它为假，那么转换将不会被激发，条件也不会被再赋值。而修改事件被多次赋值直到条件为真，这时转换也会被激发。
4. 时间事件
　　时间事件代表时间的流逝。时间事件既可以被指定为绝对形式（天数），也可以被指定为相对形式（从某一指定事件发生开始所经历的时间）。在高层模型中，时间事件可以被认为是来自整个世界的事件；在实现模型中，它们由一些特定对象的信号所引起，这些对象既可能是操作系统也可能是应用中的对象。
6.4 状态
　　状态描述了一个类对象生命期中的一个时间段。它可以用三种附加方式说明：在某些方面性质相似的一组对象值；一个对象等待一些事件发生时的一段时间；对象执行持续活动时的一段时间。虽然状态通常是匿名的并仅用处于该状态时对象进行的活动描述，但它也可以有名字。
　　在状态机中，一组状态由转换相连接。虽然转换连接着两个状态（或多个状态，如果图中含有分支和结合控制），但转换只由转换出发的状态处理。当对象处于某种状态时，它对触发状态转换的触发器事件很敏感。
状态用具有圆形拐角的矩形表示。如图6-2所示。

图6-2 状态
6.5 转换
　　从状态出发的转换定义了处于此状态的对象对外界发生的事件所做出的反应。通常，定义一个转换要有引起转换的触发器事件、监护条件、转换的动作和转换的目标状态。表6-2 列出了几种转换和由转换所引起的隐含动作。