用 Python 描述 FSM

by thinker

關鍵字:

昨日在 #tossug 問起 jserv 什麼時侯要 release 新的東西， jserv 回答說「沒空寫文件」，並稱要用 dot (linkname:graphviz http://www.graphviz.org/ ) 畫很多 finite state machine 的圖。我想一想，本來要丟一個我以前寫的 script 給他，比 dot 更適於描述 FSM ，後來想到，何不使用 $Python$ 描述就好了？

今天花了點時間，寫了一個簡單的工具，能將一段 function 轉成 dot 格式的 FSM diagram 。

{{{#!python
def FSM(ready, running, sleep, dead):
    state = ready
    while True:
        state()
        if state == ready:
            if cond('scheduled'):
                state = running
                pass
            pass
        elif state == running:
            if cond('I/O'):
                state = sleep
            elif cond('timeout'):
                state = ready
            elif cond('exit'):
                break
            pass
        elif state == sleep:
            if cond('I/O completed'):
                state = ready
                pass
            pass
        pass
    dead()
    pass
}}}

執行下面指令
{{{
$$ ./draw_FSM.py FSM.py > FSM.dot
$$ dot -Tjpg FSM.dot -o FSM.jpg
}}}

將 FSM.py (前面的 $Python$ code) 轉成下面的圖形

[attach:FSM.jpg]

未來，也許有機會能從現有的 source code ，直接產生 FSM ，而不需另外描述。

draw_FSM.py 這支程式，可在 PyAna 的 repository 裡找到。

* Repository (Merchurial): http://hg.assembla.com/PyAna

最後更新時間: 2008-07-01 00:28:13 CST | 引用

查詢:

COMMENTS: