UML精粹5

状态机图state machine diagram

下面是状态图的一个例子（一个城堡中的秘密保险箱的控制面板）。

转换transition包括3个部分：trigger-signature [guard]/activity，每个部分都是可选的。

内部活动

状态可以在没有转换时响应事件，可以使用内部活动来表示：将事件，警戒条件和活动放在状态框里面。

一个文本域的typing状态的内部事件

活动状态

前面描述的状态中，对象是安静的，它在等待下一个事件，然后决定做点什么。在某个状态中的对象也可以是活动的，比如searching状态，使用do-activity来表示，如下图。

超状态superstate

有时候，你会发现若干个状态共享共同的转换和内部活动。可以把它们当做子状态，把共享行为移进超状态。

并发状态concurrent state

状态可以分解为若干正在并发进行的正交状态图。如下图展示了一个简单的闹钟，它可以播放CD或者收音机，以及展示当前时间或者闹钟时间。

实现状态图

状态图的实现主要有3中方式：嵌套switch、状态模式和状态表。

1. 最直接的方式是使用switch，如下面的代码实现了保险箱控制面板实例的状态转换过程。

public void HandleEvent(PanelEvent anEvent)
{
    switch (CurrentState)
    {
        case PanelState.Open:
            switch (anEvent)
            {
                case PanelEvent.SafeClosed:
                    CurrentState = PanelState.Wait;
                    break;
            }
            break;
        case PanelState.Wait:
            switch (anEvent)
            {
                case PanelEvent.CandleRemoved:
                    if (isDoorOpen)
                    {
                        RevealLock();
                        CurrentState = PanelState.Lock;
                    }
                    break;
            }
            break;
        case PanelState.Lock:
            switch (anEvent)
            {
                case PanelEvent.KeyTurned:
                    if (isCandleIn)
                    {
                        OpenSafe();
                        CurrentState = PanelState.Open;
                    }
                    else
                    {
                        ReleaseKillerRabbit();
                        CurrentState = PanelState.Final;
                    }
                    break;
            }
            break;
    }
}

2. 使用state模式。

3. 使用状态表。建造一个运行时使用该状态表的解释器，或者一个基于该表生成类的代码生成器。

Source State	Target State	Event	Guard	Procedure
Wait	Lock	Candle removed	Door open	Reveal lock
Lock	Open	Key turned	Candle in	Open safe
Lock	Final	Key turned	Candle out	Release killer rabbit
Open	Wait	Safe closed