UML state machine

状态图（英语：UML state machine） 用例图 交互性图形（Interaction diagrams），属于行为图形的子集合，强调系统模型中的资料流程： 通信图（英语：Communication diagram） 交互概述图（UML 2.0） 时序图（UML 2.0） 时间图（UML 2.0）

（页面存档备份，存于互联网档案馆） Introduction to UML 2 State Machine Diagrams （页面存档备份，存于互联网档案馆） by Scott W. Ambler UML 2 State Machine Diagram Guidelines （页面存档备份，存于互联网档案馆）

VxWorks，ThreadX，uC/OS，FreeRTOS等等。 QP中各个活动对象（actors）是由层次化状态机（UML状态图）来表征的。QP框架支持由C或者C++编写的UML状态机，也支持由免费的QM建模工具直接进行自动代码生成。 活动对象原生支持并自动保证以下并发编程中的最佳实践：

，而不是在程式中的表格）。以有限狀態機為基礎的自动机编程有時會用控制表為其實現方式。若控制表有幾個不同的層次，其行為就類似UML狀態機（英语：UML state machine）。 控制表有時會以關聯表（英语：association list）的方式表示，其中會有對應的條件表示式及子程序。控制表可

有限状态机（英語：finite-state machine，縮寫：FSM）又稱有限状态自动机（英語：finite-state automaton，縮寫：FSA），简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学计算模型。 状态存储关于过去的信息，就是说：它反映从系统开始到现在时