That is, the same specification can be reused in multiple places within the state machine or some other state machines.
也就是说，在这个状态机或某些其它的状态机中，相同的规范可以在多处重复使用。
According to the WSXL specification, a state machine is an abstract visualization of interaction flows — that is, of the order of interactions that would take place from one point to another.
根据WSXL规范，一个状态机就是交互流的一个抽象可视化—也即交互从一个点发生，再转到另一个点的顺序的抽象可视化。
It covers data flow diagrams and several formal specification techniques, such as relational notations, state notations, regular expressions, and so on.
它覆盖了数据流图和一些正式的规范技术，如关系记号，状态记号，规则表示法等等。
应用推荐