The State Machine Framework 状态机框架提供了用于创建和执行状态图的类.概念和符号是基于Harel的Statecharts: A visual formalism for complex systems,它也是UML状态图的基础.状态机执行的语义是基于State Chart XML (SCXML).的. 状态图提供了图解了系统对于刺激的反应的建模.这是通过定义系统可以处于的状态和系统如何从一个状态转换到另一个状态.事件驱动系统的关键特点是其行为不仅仅依赖于最近或当前的事