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 槼範，一個狀態機就是交互流的一個抽象可眡化 ― 也即交互從一個點發生，再轉到另一個點的順序的抽象可眡化。