原创 用状态机原理进行软件设计

第1章 引言

20 多年以前，David Harel 创造了状态机理论来描述复杂的交互系统。随后，状态机理论赢得了广泛的接受，并且被引入到许多软件系统中，最突出的是被引入到UML 中作为其一个组成部分。

不过，状态机理论的发展却很缓慢。在众多原因中，状态机只是做为编程的实现工具而不是设计工具是一个最重要的原因。

本文的重点就在于，怎样利用状态机原理进行程序设计。本文会先给出普通的、一个平面上的FSM（有限状态机）的概念和实例，并指出其中的一些缺点，然后引出本文的重点HSM（层次状态机）的概念和设计方法。为了使本文既可以作为设计方法的参考，又可以作为实现方法的参考，本文会给出FSM 和HSM 的C 语言实现。