開發者 statemachinemod.sf.net

狀態機建模器 （SMM） 是創建和轉換有限狀態機、向下推送自動化和正式語法的視覺化工具。SMM 是基於圖形編輯框架 （GEF） 的 Eclipse 外掛程式。