首先運行fsme命令來啟動狀態(tài)機編輯器，然后單擊工具欄上的“New”按鈕來創(chuàng)建一個新的狀態(tài)機。FSME中用于構建狀態(tài)機的基本元素一共有五種：事件（Event）、輸入（Input）、輸出（Output）、狀態(tài)（State）和轉換（Transition），在界面左邊的樹形列表中可以找到其中的四種。

狀態(tài)建模

在FSME界面左邊的樹形列表中選擇“States”項，然后按下鍵盤上的Insert鍵來插入一個新的狀態(tài)，接著在右下方的“Name”文本框中輸入狀態(tài)的名稱，再在右上方的繪圖區(qū)域單擊該狀態(tài)所要放置的位置，一個新的狀態(tài)就創(chuàng)建好了。用同樣的辦法可以添加狀態(tài)機所需要的所有狀態(tài)，如下圖所示。

狀態(tài)建模

事件建模

在FSME界面左邊的樹形列表中選擇“Events”項，然后按下鍵盤上的Insert鍵來添加一個新的事件，接著在右下方的“Name”文本框中輸入事件的名稱，再單擊“Apply”按鈕，一個新的事件就創(chuàng)建好了。用同樣的辦法可以添加狀態(tài)機所需要的所有事件，如下圖所示。

轉換建模

狀態(tài)轉換是整個建模過程中最重要的一個部分，它用來定義有限狀態(tài)機中的一個狀態(tài)是如何切換到另一個狀態(tài)的。例如，當用來控制城門的狀態(tài)機處于Opened狀態(tài)時，如果此時有Close事件產(chǎn)生，那么狀態(tài)機的當前狀態(tài)將切換到Closed狀態(tài)，這樣一個完整的過程在狀態(tài)機模型中可以用closeDoor這樣一個轉換來進行描述。要在FSME中添加這樣一個轉換，首先需要在界面左邊的樹形列表中選擇“States”下的“Opened”項，然后按下鍵盤上的Insert鍵來添加一個新的轉換，接著在右下角的“Name”文本框中輸入轉換的名字“closeDoor”，在“Condition”文本框中輸入“Close”表明觸發(fā)該轉換的條件是事件Close的產(chǎn)生，在“Target”下拉框中選擇“Closed”項表明該轉換發(fā)生后狀態(tài)機將被切換到Closed狀態(tài)，最后再單擊“Apply”按鈕，一個新的狀態(tài)轉換關系就定義好了，如下圖所示。用同樣的辦法可以添加狀態(tài)機所需要的所有轉換。

轉換建模