abstract state machine

基本解釋

The rules of transforming from UML state machine into B abstract machine are provided.
給出了嵌入式軟件設計中常用的UML并發(fā)狀態(tài)圖到B抽象模型的轉換規(guī)則。
It is easy to use Python to implement an abstract state machine in form as well as function.
在表單和函數中使用 Python 實現抽象狀態(tài)機很容易。
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 規(guī)范，一個狀態(tài)機就是交互流的一個抽象可視化 ― 也即交互從一個點發(fā)生，再轉到另一個點的順序的抽象可視化。