Graphviz - 生成smc 的.sm文件对应的工作流程图

一、smc状态机的使用说明及示例

 smc状态机的使用说明及示例可参考链接： smc状态机代码生成工具详细说明.

二、生成sm工作流程图

  生成sm工作流程图，可以通过图形直观看到当前.sm文件定义的状态及转移过程情况。

2.1 graph 指令介绍

SMC 选项 -graph 使用三个详细级别生成 Graphviz DOT 文件：

• glevel 0：生成最少的细节：
  1.状态名称
  2.仅转换名称和转换“节点”。
• glevel 1：生成以上所有加：
  1.进入和退出动作。
  2.过渡监听。
  3.过渡动作。
• glevel 2：生成以上所有加：
  1.进入和退出动作参数。
  2.过渡参数。
  3.pop 过渡参数。
  4.过渡动作参数。

2.2 安装Graphviz软件

  graphviz （英文：Graph Visualization Software的缩写）是一个由AT&T实验室启动的开源工具包，可以像 MarkDown 一样简单的画思维导图，用于绘制DOT语言脚本描述的图形。

1、去网站下载Graphviz软件安装包：
    下载链接: Download Graphviz .
2、选择Windows可执行压缩包版本，如：
    graphviz-2.50.0 (32-bit) ZIP archive [sha256] .
3、下载完成后，解压缩；
4、将目录添加到path环境变量中：

我的电脑 - > 属性 -> 高级系统设置 -> 环境变量
-> path -> 编辑 -> 新建 -> 复制bin目录到参数中 -> 确定

5、测试安装：

（1） window+r -> cmd 进入命令行界面：

（2）执行命令：dot –help 有输出表示安装成功

2.3 生成.dot / .png 图形文件

1、生成.dot文件：

命令行在smc目录下执行命令java -jar Smc.jar -graph -glevel 0 -d ./ sm文件名称.sm

此时，该项目目录下将出现.dot文件：

2、通过.dot文件生成.png图形文件：

执行命令：dot -Tpng dot文件名.dot -o 指定png文件名.png

此时，该项目目录下将出现.png文件：

打开该文件，如下图所示：