状态机建模方法：四种主流建模语言

做嵌入式通信协议开发，状态机建模是绕不开的核心技能。我见过不少工程师，代码写得飞起，但一遇到复杂协议就翻车——说白了，就是建模没做好。

今天咱们聊聊四种主流的建模方法：状态转移图（STD）、状态转移表（STT）、状态机描述语言（SDL）和UML状态图。每种方法都有自己的脾气，用对了事半功倍。

一、状态转移图（STD）——最直观的建模方式

状态转移图，说白了就是画圆圈和箭头。每个圆圈代表一个状态，箭头代表转移条件。我刚开始做通信协议时，第一件事就是在白板上画STD。

举个例子，一个简单的UART接收状态机：

IDLE → (检测到起始位) → START → (接收8位数据) → DATA → (校验位) → PARITY → (停止位) → STOP → (回到IDLE)

我在项目中遇到过一个问题：团队里有人把STD画得太复杂，一个图里塞了20多个状态，箭头交叉得像蜘蛛网。结果没人看得懂，代码也写不出来。后来我强制要求：单个STD的状态数不超过10个，超过就拆成子状态机。

二、状态转移表（STT）——工程师的“查字典”

状态转移表，就是把STD的内容塞进表格里。行是当前状态，列是触发事件，交叉格子里写下一状态和输出动作。

你想想看，STD画出来好看，但代码实现时怎么查？总不能盯着图数箭头吧。STT就是给程序员准备的“查字典”。

当前状态	事件	下一状态	输出动作
IDLE	检测到起始位	START	启动定时器
START	接收完成1位	DATA	清空数据寄存器
DATA	接收完成8位	PARITY	校验数据
PARITY	校验通过	STOP	触发中断
STOP	检测到停止位	IDLE	关闭定时器

我曾经接手过一个项目，前任工程师留下了3000行状态机代码，没有STT。我花了整整一周，把代码反推成STT，才发现里面有5个死状态和3个永远走不到的转移路径。嗯，从那以后我写状态机必先画STT。

三、状态机描述语言（SDL）——形式化的“硬核”方案

SDL是ITU-T标准定义的形式化描述语言，在电信领域用得特别多。它比STD和STT更严谨，可以直接生成代码。

说白了，SDL就是用一种专门的语法来描述状态机。我最早接触SDL是在做3G基站协议栈的时候，那玩意儿复杂到让人想哭，但SDL帮了大忙。

PROCESS UART_RX;
  STATE IDLE;
    INPUT START_BIT;
      NEXTSTATE START;
    ENDINPUT;
  ENDSTATE;

  STATE START;
    INPUT BIT_RECEIVED;
      NEXTSTATE DATA;
    ENDINPUT;
  ENDSTATE;

  STATE DATA;
    INPUT BIT_RECEIVED(8);
      NEXTSTATE PARITY;
    ENDINPUT;
  ENDSTATE;
ENDPROCESS;

但SDL也有门槛。我记得第一次用SDL时，光学语法就花了两周。而且SDL工具链普遍很贵，小团队不一定用得起。

四、UML状态图——面向对象的“瑞士军刀”

UML状态图是面向对象领域的事实标准。它吸收了STD、SDL的优点，还加入了嵌套状态、并发区域、历史状态等高级特性。

我个人的习惯是：复杂协议用UML状态图，简单协议用STD。为什么？因为UML状态图能表达“状态中的状态”——比如一个“连接中”状态，里面还可以细分“TCP握手”、“TLS协商”、“应用层认证”三个子状态。

+-------------------+
|    CONNECTING     |
|  +-------------+  |
|  | TCP_HANDSHAKE|  |
|  +-------------+  |
|  | TLS_NEGOTIATE|  |
|  +-------------+  |
|  | APP_AUTH     |  |
|  +-------------+  |
+-------------------+

UML状态图还有一个杀手锏——转移的守卫条件。比如“当重试次数超过3次时，进入错误状态”，用UML可以写成：

[retry_count > 3] → ERROR_STATE

这在STD里很难表达，STT里要加一列“条件”，SDL里要写复杂的逻辑判断。

五、四种方法对比——什么时候用哪个？

方法	适用场景	优点	缺点
STD	初步设计、团队沟通	直观、易画	复杂时混乱
STT	代码实现、测试用例	结构化、易查	规模大时冗余
SDL	安全关键系统、电信协议	无歧义、可验证	学习曲线陡、工具贵
UML状态图	复杂协议、面向对象系统	表达力强、标准化	容易过度设计

我个人习惯的流程是：先画STD理清思路，再用STT做实现对照，最后用UML状态图做文档。SDL嘛，除非客户指定，否则我一般不主动用。

六、一张图看懂四种方法的关系

下面这张SVG图，展示了四种建模方法在整个开发流程中的位置和关系：

这张图把四种方法的关系说清楚了。你看，从左到右，从STD到UML，表达力越来越强，但复杂度也越来越高。我的建议是：根据项目阶段和团队水平，选择最合适的方法，别盲目追求“高大上”。