UML层次状态机向导-1/2<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

摘要：使用层次状态机向导(UML StateWizard), 在通用集成开发环境中VC++中，为嵌入式系统/Win32/WinCE应用构造有限状态机。

1 引言

层次状态机（Hierarchy State Machine）是实现状态建模的一种很好的形式方法。状态图是层次结构的，也就是说每个状态可以拥有子状态。这个主意很简单，效果却异常强大。 从人类思维的角度来看，平面状态模型无法进行扩展。当状态和转换的数量增长时，平面模型就会变得难于理解。而层次状态模型则可以分部分考察，每一部分理解起来相对就变得简单了。

当UML(Unified Modeling Language)首先被采用时，许多开发者把UML技术合并到静态的CASE(Computer Aided Software Engineering)技术中去，用它们来可视化的构建软件体系结构。其中最著名的采用了UML方法的CASE工具就是Rational Rose。但是它独立于通用的集成开发环境，且软件庞大费用高昂。

我们认为一UML工具必须具有以下几个特点：

·        支持UML图的生成；

·        支持正向工程，能代码生成, 不仅能支持代码生成；

·        支持反向工程，能根据代码，解析对象之间关系，创建UML图；

·        支持往返工程, 任何一程序从设计到编程到测试，不可能不经过修改，一个好的工具应该能允许开发者修改代码，并让设计能及时更新；

·        支持文挡化，能把设计和实现保存成文挡。

很多UML工具能支持正向工程，例如(Finite State Machine Editor)。但能支持往返工程的比较少。StateWizard类似于ClassWizard，运行于VC++，提供一层次状态机的框架，支持状态树，状态图的生成，支持往返工程。

2 什么是层次状态机

层次状态机（Hierarchy State Machine）是对状态行为建模的最直观的方法，也是实现事件驱动系统的一种很好的形式方法。主要用来描述对象、子系统、系统的生命周期。通过层次状态机可以了解到一个对象能到达的所有状态以及对象收到的事件对对象状态的影响等。状态机指定对象的行为以及不同状态行为的差异。同时，它还能说明事件是如何改变一个对象的状态。因此非常适用于软件开发。为便于理解，下面给出HSM 中的相关概念。

① 状态：状态是对象的生命周期中满足某种条件，执行某些动作或等待某些事件发生的一个阶段。

② 事件：事件是一个在时空中显示出现的特定现象，它可以触发状态转换。

③ 转换：转换是从一个状态结点到另一个状态结点的移动。

层次状态机较之经典的状态机，最重要的改进就是引入了层次式状态。状态层次嵌套的主要特性来自抽象与层次的结合。这是一种降低复杂性的传统途径，也就是软件中的继承。在面向对象中，类继承概念描述了类和对象之间的关系。类继承描述在类中的is-a 关系。在嵌套状态中，只需用is-in状态关系代替is-a类关系，即它们是等同的分类法。状态嵌套允许子状态继承来自其超状态的状态行为，因此它被称为行为继承。 <?xml:namespace prefix = v ns = "urn:schemas-microsoft-com:vml" />

图一：层次状态机