本文我们将通过Visual Basic和 BetterState For Visual Basic来设计一个简单的例子。这个例子的主要目的是在BetterState环境下设计状态图。对于用户来说，就是建立设计的Visual Basic前端部分。

在这个例子中我们使用VB代码生成器，因为这种代码生成器是每个版本的BetterState Pro都提供的。

考虑一个简单的例子：一个VB窗口，包含一个标准的Visual Basic定时器控件，命名为Timer1；和一个自定义图片控件，用来表示一个交通灯，命名为Light1。它可以是绿色或红色。假设我们希望信号灯在每次Timer事件发生时，在红绿之间变换。这种行为很容易用状态机来模拟，并可视化地表现为一张状态图，如图1所示。

图1 简单的两个状态的交通灯控制器

状态机从Green状态开始，每次Timer1_Timer事件（固定时间间隔）发生，状态机在Red Green两个状态间交替转换，因此适当地改变Light1的Color属性。很显然，我们可以在Timer1_Timer事件中使用简单的VB代码来达到同样的结果，编写子程序，使用一个变量，命名为LightState，它的值为0或1，使用if-then-else语句交替的改变变量的值。

If (LightState=0) Then LightState = 1 Light1.Color = 1 ‘RED Else LightState = 0 Light1.Color = 0 ‘GREEN End If

实际上，这就是BetterState代码生成器将自动为你所作的工作；你只要画出状态图，代码生成器会自动生成代码。不过，图形化编程手段的好处不仅仅是这些，让我们考虑一个复杂一点的例子。

第一个扩展的例子如图2所示，增加了以下修改：

两个控制按钮，分别命名为NewTruck和NewCar；

点击NewCar 按钮3次后Light1从Red变 Green，或者在点击一次或数次NewCar后再点击NewTruck。

图2 修改后的交通灯控制器

图18展示了能够描述这种行为的扩展状态图。注意在图中增加了层次结构，连接OneORMore状态和Green状态的转换意味着如果点击一次或多次New-Car（令当前状态是OneORMore的子状态之一）。又点击了NewTruck，状态就会变为Green。

这种层次设计功能允许任何VB用户练习掌握现代编程的最基本概念之一，即自顶向下设计。例如，它允许你设计一个仅由Green和Red状态组成的高层状态图，然后再设计Red状态的内容，或将设计OneORMore状态内容的任务分配给其他人。

注意扩展状态图是如何记忆输入事件序列，并通过可视的图来表现这些序列的。这是各种状态机的基本使命之一。

扩展状态图在其他很多方面也很有用，它们提供的另一个重要服务是捕获并发，特别是部分并发的输入事件序列。

让我们更进一步加深我们的例子，说明如下：

Grid控件，命名为Grid1，增加到VB前端设计。

当Light1为红色时按下任何Grid1的键，接着点击NewTruck按钮，显示一个照相机图片。到Light1变为绿色时再隐藏该图片。

很显然，这个行为描述了另一个输入事件序列，它用状态图来描述很方便。这种行为与前面讨论的活动相互独立，可以用完全独立的状态图表来描述。然而，假设我们希望当Light1为红色，又点击了NewCar两次时照相机图片显示约半秒钟。现在两个扩展状态图设计不是完全独立的，第二个扩展状态图的设计必须判断第一个扩展状态图的状态。

有两个独立控制线程的扩展设计如图3所示。

图3 有两个独立控制线程的扩展设计

图19展示了整个设计的扩展状态图；两个虚线方块，分别标记为Count和Camera，称为线程。每个是一个压缩的子状态图，一个对应计数活动，另一个对应照相机活动。这两个线程相互独立运行。例如，当点击NewCar按钮时，Counter可能从状态c_0变化到状态c_1。这时Camera什么都不做，保持当前状态。或者，当点击了NewTruck按钮，它们可能都发生转换，从c_2到Shoot的状态转换是需要一些依赖关系的，当Counter记录下NewCar的两次点击时，Camera必须改变为Shoot状态（使照相机图片可视）。