状态机（StateMachine）

状态机是一个状态和转换的图，描述了某类元的示例对事件接受的相应。状态机是某个模块的类目行为或拥有行为，则这个模块是状态机的语境；否则它自己是它的语境。状态机中的状态的内部行为（entry、do及exit）如果没有明确的语境，则它们的语境是这个状态机的语境。

状态机默认有一个区域，状态机图中的节点默认在这个区域中。可以为状态机添加区域，可以拖放区域节点到状态机图中。一个完整的状态机是一个已经被递归分解为子状态的组合状态，最内层的简单状态没有子状态。通过子状态机状态，状态机可以包含对另一个状态机的引用。