开发者 statemachinemod.sf.net

状态机建模器 （SMM） 是创建和转换有限状态机、向下推送自动化和正式语法的可视化工具。SMM 是基于图形编辑框架 （GEF） 的 Eclipse 插件。