顶点

Vertex（顶点）是一个抽象类，它描绘状态机图中各种不同的具体种类的节点（状态、伪状态，或连接点引用）的公共特点。除了下面描述的例外外，一个顶点可以使任意数量的转变的源和/或目的。定义的语义取决于它所代表的具体种类的节点。通常，伪状态和连接点引用是过渡的（transitive），因为一个复合的转变执行简单地通过它们——到达一个incoming转变并且无停留地离开一个outgoing转变。然而，状态和FinalState代表了稳定的顶点，当状态机执行进行到它们时，会停留直到能够触发一个使其进入一个不同状态的事件出现或该状态机被终止。

不同类型的顶点语义在下面描述。