10.状态机图state machine diagram
状态机图是常见的描写叙述一个系统行为的技术。
在面向对象的方法中，为单个类绘制一个状态机图来展示单个对象的生命周期行为。
见图10.1
图中显示了管理我不同平常的安全系统的控制类的一个状态机图。它从控制对象被创建时的状态開始：等待状态wait state。
图中暗示这个为初始伪状态initial pseudostate，尽管不是状态但又一个箭头指向初始状态。
图中显示控制器可处于3个状态：wait、lock和open。该图还提供规则表示状态间的改变，以转移的形式transition：连接状态的线。
转移表示从一个状态到还有一个状态。每一个转移有一个由三部分组成的标签：触发信号trigger-signature [守卫条件guard]/活动activity。
这些部分都是可选的。
触发信号常常是一单个事件event触发一个潜在的状态改变。guard假设
有的话，是一个布尔条件，必须是true这个转移才会进行。活动activity是一些在转移过程中进行的行为（behavior executed during the transition）。能够是随意的行为描写叙述behavioral expression。
假设没有触发信号。表示该转移马上进行。这常常会在活动状态activity state里见到。
在一个状态中出现一个事件时，你仅仅能进行一个转移。假设你对同一事件进行多个转移，守卫条件必须相互排斥mutually exclusive。假设一个事件出现但没有转移有效，则事件被忽略。
终于状态表示状态机完毕，暗示删除控制对象。
记住状态机仅仅能显示对象直接观察或激活的东西。
【内部活动】internal activities
状态能够回应事件但不转移can react to events without transitions，使用内部活动internal activity：将事件、守卫、活动放到状态盒子内部去。
见图10.2
一个内部互动类似于一个自我转移self-transition：一个循环回到同样状态的转移。
上图也显示了两个特殊活动：entry或exit。
entry活动是在你进入一个状态的时候运行；exit活动是在离开的时候运行。
而内部活动不处罚entry或exit活动。这是内部活动和自我转移的差别。
【活动状态】
我之前描写叙述的状态中，对象是安静的quiet并等待下个事件来做一些事情。然而。你也可让对象在某些状态里做一些不间断的ongoing工作。
见图10.3
watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvYWRmYW5zb25n/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/Center" alt="">
图中的搜素状态就是这样一个活动状态：连续的活动是用do/标记的，后面是do-activity。搜索一旦完毕。不论什么没有一个活动的转移都会运行。
假设cancel时间出如今活动中，则do-activity会被中止。
do活动和一般活动都表示进行一些行为。
关键的不同是一般的活动马上出现且不会被一般的事件打断。而do活动会花费有限的事件且可被打断。
uml1中用action动作表示一般的活动。而用活动actitity仅仅表示do活动。
【超状态superstate】
你常常会发现一些状态共享同样的转移和内部活动。你能够把它们弄成子状态，并将共享的行为移到一个超状态。例如以下图，假设你不用子状态的话，你将为这3个状态都绘制一个cancel转移。
见图10.4.
【并发状态concurrent state】
状态可被分成多个互补的状态图来同一时候进行。
见图10.5
图中还显示了历史伪状态history pseudostate。
这表示当clock开启后，radio/CD回到clock关掉时的状态。
而历史伪状态的箭头表示没有历史的时候第一次处于哪个状态。
【实现状态图】
可用3种方式实现：嵌套的switch、状态模式、状态表。
状态模式中创建了一个状态类的层级来处理状态的行为。图中的每一个状态都有一个状态子类。控制器有相应每一个事件的方法。
见图10.7
状态表方法将状态图的信息作为数据。
见图10.1
【何时用】
状态机擅长表示一个对象在几个用例中的行为。不擅长描写叙述引入多个对象协作的行为。比方交互图（4章）擅长描写叙述一个用例里几个对象的行为，而活动图（11章）擅长显示多个对象或用例的多个活动的时序。