通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。此外状态转换图还指明了作为特定事件的结果系统将做那些动作（例如，处理数据）。因此状态转换图提供了行为建模机制。

在状态转换图中，每一个节点代表一个状态，其中双圈是终结状态。