abstract state machine

基本解釋

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