第10章 状态图.docVIP

第10章 状态图 在一个交互中，可能发送给单个对象一个或多个消息，并且，这些消息以特定的顺序被接收。但是，在另外的交互中，同一个对象可能接收完全不同的消息。根据各个交互的详细情况，特定消息发送到对象的顺序也可能根据情况的不同而改变。通过考虑对象能够参与的所有可能的交互，我们可以看到，在一个对象的整个生存期中，它必须能够合理地响应次序变动范围相当大的消息。 在第8章，我们已经看到，对象图不是用来详细说明系统所有可能的状态的。首先，的确存在着太多的状态，不能用文档穷举；其次，除了要知道可能的状态是什么，我们还需要知道哪些状态是不可能，或者不合法的。出于完全相同的原因，顺序图和协作图也不是用来描述对象能够参与的所有可能交互的视图。 对这两种情况，解决方案是相同的，即使用表示法的更抽象的形式详细说明系统，而不是举例说明。在UML中，对象的行为规格说明是通过为对象定义状态机来给出的。状态机说明了对象对它在生存期期间可能检测到的事件的响应。在UML中，状态机通常是用一种称为状态图的图来文档化的。 交互图和状态机给出的是系统动态行为的两个互补的视图。交互图显示了在较短的一段时间在系统中的对象之间传递的消息，通常是在单个用户产生的事务期间，因此这些图必需描述很多对象，即特定事务中所涉及的那些对象。另一方面，状态图自始至终在一个单个对象的整个生存期中跟踪该对象，指定该对象能够接收的所有可能的消息序列，以及它对这些消息的响应。 10.1 依赖状态的行为 许多对象展现出了依赖状态的行为。不严密地说，这意味着对象在不同时间将对相同的刺激做出不同的响应。例如，考虑一个简单的CD播放机的行为，播放机包括一个装CD的抽屉，如果当前有播放的CD，就放在抽屉里。还包括一个界面，界面包含三个按钮，标明“装入（load）”、“播放（play）”和“停止（stop）”。如果当前抽屉关着，装入按钮使之打开，如果是打开的，则使之关闭。停止按钮使播放机停止正在进行的播放。如果没有正在播放的CD时，按下停止按钮不起作用。最后，播放按钮播放抽屉中的CD，如果按下播放按钮时抽屉是打开的，则先关闭抽屉后再开始播放。 这个CD播放机至少在两个方面表现出了依赖状态的行为。例如，如果抽屉开着，按下“装入”按钮将关闭抽屉，而抽屉关着的时候，按下“装入”按钮将打开抽屉。另外，如果正在播放CD，按下停止按钮就停止播放，但是如果没有播放CD，按这个按钮没有作用。 在这个例子中，我们可以标识CD播放机能够处于的至少三个不同状态。按下“装入”按钮引起的不同结果表明我们需要区别“打开（open）”和“关闭（closed）”状态，而按下“停止”按钮的不同结果表明存在第三个状态，可能标记为“正在播放（playing）”，它不同于上面任一个状态。同样值得注意的是，CD播放机可以响应事件而改变状态。例如，重复地按下“装入”按钮将引起CD播放机在打开和关闭状态之间转换。 这个例子中的三个状态符合CD播放机的实际状态中可观察到的差异确实令人愉快，但是情况并不总是如此。区分状态的基本原则是，处于一个特定状态的对象，对至少一个事件的响应和它处于其他状态时对该事件的响应不同。因而识别的状态可能对应于容易发现的对象的外部特征，也可能并不与之对应。 用于行为建模的状态的概念应该区别于第2章所讨论的状态，在第2章，对象的状态被定义为在给定时间其属性的值的整体。状态的行为概念比这个更广泛：在两个时间一个对象的属性很可能不同，可是却处在相同的行为状态。对此，CD播放机的“关闭”状态可以提供一个例子：抽屉中有或者没有CD可以被认为是CD播放机不同的属性值，但是在任一情况下我们都可以认为播放机处于关闭状态。 行为状态的识别并不是一个严格的过程。状态的不同，是通过处于不同状态的对象对事件的响应不同来区分的，但是什么看作是不同的响应，在某种程度上却是一个需要判断的问题。行为状态的重要特性是，第一，一个对象有若干个可能的状态，并且在任何给定时间恰好处于这些状态中的一个。第二，对象可以改变状态，通常，它在给定时间所处的状态会由它的历史决定。最后，在不同时间，一个对象可能依赖其状态对同一刺激做出不同的响应。 10.2 状态、事件和转换 状态图（statechart diagram，通常简称为statechart），显示一个对象可能的状态，它能够检测到的事件，以及它对这些事件的响应。因此，为了构造一个对象的状态图，我们必须首先至少暂时地确立对象能够处于什么状态以及它能够检测什么事件。比如CD播放机的例子，我们已经标识了打开、关闭和正在播放状态，这将作为开发状态图的基础。 用软件的术语，经常假定，对象检测到的事件就是发送给它的消息。然而，在刚开始设计时不必要这么具体：需要的只是对象能够检测到的外部事件这个更一般的概念。在CD播放机的例子中，能