状态机是展示系统元素（例如模块）生命周期信息的理想工具。这类元素可能具有复杂的行为，并且其生命周期往往难以直观理解。通过该图，可以清晰地描述一个实体在其生命周期或各个阶段中可能经历的重要条件（即“状态”）。通常情况下，只有那些在生命周期中具有关键阶段的实体，才会使用状态机进行建模。根据状态机的定义，我们称实体从一个状态“transition”到另一个状态。在此过程中，可以设定 Trigger 和 Event 来促使状态转换的发生，同时还可以定义 Guards 来限制状态的变更。此外，每个状态都可以具体定义在进入该状态时、处于该状态期间，以及退出该状态时所执行的行为。

元素

状态机中出现的主要元素有：

• State
• StateMachine
• Initial
• Final
• Choice
• Junction
• Entry
• Exit
• Terminate
• History
• Fork and Join

• Transition
• Dependency

工具

除了状态机本身之外，还有多种工具可用于处理状态机图。包括：

• 状态表编辑器 - 该工具允许以表格形式可视化状态机图。对于部分分析人员而言，这种表格视图比图形更易于理解。它包含了与状态机图完全相同的信息，并支持多种不同的查看方式。
• 动态仿真-该功能使状态机的运行过程得以直观呈现，能够清晰地展示实体是如何从一个状态转换到另一个状态的。
• 可执行状态机——除了利用仿真引擎实现状态机的可视化外，该功能还提供了完整的、针对特定语言的底层实现代码。这些代码可作为行为“引擎”，驱动跨多个平台的各类软件产品运行。