使用Visual Studio 2017 DSL进行开发,这个简单的Demo类似于UML中的状态图(Statechart Diagram), 这个状态机由状态(states)组成,各状态由转移(transitions)链接在一起。状态是对象执行某项活动或等待某个事件时的条件。转移是两个状态之间的关系,它由某个事件触发,然后执行特定的操作或评估并导致特定的结束状态。