状态机图

系统设计

转载自：设计模式：一目了然的状态机图

什么是状态机？

做产品的时候，我们总能遇到一些比较复杂的逻辑问题，而普通的流程图，或时序图对于对象和状态的解读缺乏直观的描述。

有限状态机，（英语：Finite-state machine, FSM），又称有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。
有限状态机是一种用来进行对象行为建模的工具，其作用主要是描述对象在它的生命周期内所经历的状态序列，以及如何响应来自外界的各种事件。在计算机科学中，有限状态机被广泛用于建模应用行为、硬件电路系统设计、软件工程，编译器、网络协议、和计算与语言的研究。

状态机图怎么画？

基本元素

当你需要描述一个对象或系统的行为状态时，相比于直接的语言描述，更推荐使用状态机表或状态机图的形式。

首先我们看一下基本元素：

做需求时，需要了解以下六种元素：起始、终止、现态、次态（目标状态）、动作、条件，我们就可以完成一个状态机图了：

1. 现态：是指当前所处的状态。
2. 条件：又称为“事件”，当一个条件被满足，将会触发一个动作，或者执行一次状态的迁移。
3. 动作：条件满足后执行的动作。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不执行任何动作，直接迁移到新状态。
4. 次态：条件满足后要迁往的新状态。“次态”是相对于“现态”而言的，“次态”一旦被激活，就转变成新的“现态”了。

注意事项

1. 避免把某个“程序动作”当作是一种“状态”来处理。那么如何区分“动作”和“状态”？“动作”是不稳定的，即使没有条件的触发，“动作”一旦执行完毕就结束了；而“状态”是相对稳定的，如果没有外部条件的触发，一个状态会一直持续下去。
2. 状态划分时漏掉一些状态，导致跳转逻辑不完整。所以在设计状态机时，我们需要反复的查看设计的状态图或者状态表，最终达到一种牢不可破的设计方案。

状态机表怎么画？

首先我们看下 下面这张状态机图，展示了一张简单的单审批人文件的状态流转情况。

那么如何把他写成表呢？这里有多种写法，区别于纵坐标的不同，我们举两种：

左侧的纵坐标为初始状态，横坐标为终止状态。
右侧的纵坐标为动作条件，横坐标为终止状态。
那么对于动作比较多且复杂的情况下，可以考虑采用右侧的表格，这样会比较一目了然。

使用场景

状态机图经常应用在程序的设计过程中，使用清晰明了的状态机图设计代码逻辑架构，再使用编程语言去实现。当然也可以画一个状态机图来展示某岗位的工作：