abstract state machine

基本解释

The rules of transforming from UML state machine into B abstract machine are provided.
给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。
It is easy to use Python to implement an abstract state machine in form as well as function.
在表单和函数中使用 Python 实现抽象状态机很容易。
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 规范，一个状态机就是交互流的一个抽象可视化 ― 也即交互从一个点发生，再转到另一个点的顺序的抽象可视化。