使用graphviz dot来画图表

 

使用graphviz dot来画图表

翻译:	gashero
日期:	2007-08-29
原文:	http://www.graphviz.org/Documentation/dotguide.pdf
原文日期:	2006-01-26

摘要

dot用于绘制带有层次的有向图。可以运行于命令行模式、WEB可视化服务、或兼容的图形接口。功能包括图表自动布局、边缘连接、边缘标签、用端口记录图形来画数据结构、集群布局、底层文件面向流的图形工具。底层使用简化的模块依赖图，并仅使用1.4GHz AMD Athlon处理器的0.98秒。

颜色 语言

目录

• 1   简单图的绘制
• 2   绘制属性
  • 2.1   结点形状
  • 2.2   标签
  • 2.3   图形样式
  • 2.4   绘图方向、大小和间隔
  • 2.5   结点与边缘定位
• 3   高级特性
  • 3.1   结点端口
  • 3.2   cluster
  • 3.3   集中器
• 4   命令行选项
• 5   有趣的功能
• 6   结论
• 7   感谢
• 8   引用
• 9   附录
  • 9.1   图形文件语法
  • 9.2   原始输出文件格式(-Tplain)
  • 9.3   DOT属性格式(-Tdot)
  • 9.4   层
  • 9.5   结点形状
  • 9.6   箭头类型
  • 9.7   颜色名

1   简单图的绘制

dot用于绘制有向图。他读取各个图表(graph)的属性并画图，并可以输出包括GIF、PNG、SVG、PostScript(可以转换成PDF)等等多种图片格式。

dot绘图有四个主要步骤，了解这些有助于你理解你需要何种dot布局和如何控制他们。布局程序依赖于没有循环的图表。所以，第一步就是打破当前图表中形成循环的边缘。第二步是指定各个结点的离散层级。在一个从上到下的图表，dot会按照Y轴构造层级跨越超过一层的。超过一层的边缘需要使用虚拟节点来打破成单位长度。第三步排序结点避免交叉。第四步设置X轴保持边缘最短，并且作为最后一步路由各个边缘连接点。这是大多数分级有向图的绘制程序，基于 Warfield [War77] 、 Carpano [Car80] 和 Sugiyama [STT81] 。我们引用了 [GKNV93] 用于解释dot的算法。

Note

这里的图表，指原文中的graph。这里的边缘，指原文中的edge，实际上是指对象之间的连接线。

dot接受DOT语言(见附录A)的代码。这种语言是包含三种对象的解释性语言：图表、结点、边缘。最外层的主要图表可以是可控制的(digraph)或不可控制的(graph)。因为dot会自动调整布局并生成有向图，所有下面的例子都使用digraph。(一旦单独的布局调整工具 neato 用于绘制可控制的图表 [Nor92] )。在主图表中，还允许定义子图表(subgraph)来定义结点和边缘的子集。

图1是一个DOT语言的例子，第一行给出了图表的名字和类型。随后的行创建了结点、边缘和子图表，并设置属性。所有这些对象可以使C标识符、数字或引用的C标识符。引用会保留标点和空白。

digraph G {
    main -> parse -> execute;
    main -> init;
    main -> cleanup;
    execute -> make_string;
    execute -> printf;
    init -> make_string;
    main -> printf;
    execute -> compare;
}

一个结点在其名字首次出现时创建。一个边缘在使用 -> 连接两个结点时创建。例子中，第二行就创建了从main到parse的边缘，等等。运行dot命令可以输出文件:

$ dot -Tps graph1.dot -o graph1.ps

这样就产生了图2。命令行选项 -Tps 选择使用PostScript来输出。而输出文件就随便玩了。

调节各个结点、边缘的布局是比较常见的操作，这些都可以通过属性来描述。属性就是键值对。图3和图4距离说明了一些布局属性。在图3中，第二行设置图表大小为4,4(单位是英寸)。这个属性控制了图表尺寸，如果图表太大则会自动缩放。

digraph G {
    size="4,4";
    main [shape=box]; /*注释*/
    main -> parse [weight=8];
    parse -> execute;
    main -> init [style=dotted];
    main -> cleanup;
    execute -> {make_string; printf}
    init -> make_string;
    edge [color=red];
    main -> printf [style=bold,label="100 times"];
    make_string [label="make a\nstring"];
    node [shape=box, style=filled, color=".7 .3 1.0"];
    execute -> compare;
}

结点和边缘属性在方括号中设置。在第三行，结点main指定形状为box。第四行的边缘则使用之前并增加宽度(weight)。第六行的边缘则绘制成了点线。第八行使得边缘分别指向了两个目标。第十行设置缺省的边缘颜色为红色。这些设置会自动影响后面创建的边缘。第十一行设置边缘为粗体并设置标签。第十二行，结点make_string使用了多行标签。第十三行改变了缺省结点为box形状，并使用蓝色填充。结点compare继承了这些值。

2   绘制属性

完整的绘图属性列表见附表1/2/3。

2.1   结点形状

绘制结点的缺省属性为 shape=ellipse,width=.75,height=.5 而标签为节点名。其他允许的形状有 box 、 circle 、 record 、 plaintext 。附录E中有完整的节点形状列表。结点的形状 plaintext 就是不包含外部形状的，这也是一个重要的约定。仅用于结构不太复杂的图表中节省空间。绘图时生成的图形大小一般比指定的要大，当然标签也是如此。除非使用 fixedsize=true ，否则高度和宽度都是固定的。

结点形状可以归于两大类：多边形和记录。除了 record 和 Mrecord 以外都可以归于多边形，并且可以用有限的边和几何属性来定义。这其中的一些属性可以在图表中定义，如果 regular=true ，则结点会强制为规则图形。参数 peripheries 设置需要绘制的边界曲线数量。例如，一个双圆(doublecircle?)的peripheries=2 。而 orientation 属性指定多边形的曲线方向和角度。

Note

有一种方法可以自定义结点形状，使用 shape=epsf 和 shapefile 属性并以来PostScript输出。细节参考本手册其他部分。

形状 polygon 可以指定所有多边形参数，适用于创建自定义形状。附加参数如 regular 、 peripheries 和 orientation 等等，还有数字化参数 sides 、 skew 、distortion 。 skew 是一个-1.0到1.0之间的浮点数，指从上到下的倾斜度。比如，可以用 skew 把一个矩形转换成平行四边形。 distortion 用于从上到下缩短多边形，负数表示增加。可以用于把矩形变成梯形。例如:

digraph G {
    a->b->c;
    b->d;
    a[shape=polygon,sides=5,peripheries=3,color=lightblue,style=filled];
    c[shape=polygon,sides=4,skew=.4,label="hello world"];
    d[shape=invtriangle];
    e[shape=polygon,sides=4,distortion=.7];
}

基于记录的结点使用其他结点类。这包括 record 和 Mrecord 。他们俩除了后面那个拥有圆角以外，是相同的。他们用于描述递归列表，比如以横向或纵向描绘的多行矩形。递归结构依靠结点的 label 来识别，如下样式:

rlabel        -> field('|'field)*
field         -> boxLabel|''rlabel''
boxLabel      -> ['<'string'>'][string]

有如上面写的，竖线符号和尖括号必须使用转义，空格用于区别各个记号，所以用于表示字面意义时也必须转义。 boxLabel 的第一个字符串提供了字段名，用于提供矩形的端口名。第二个字符串用作字段的标签；当然可以包含多行转义的标签。一个例子:

digraph structs {
node[shape=record];
    struct1[shape=record,label=" left| mid\ dle| right"];
    struct2[shape=record,label=" one| two"];
    struct3[shape=record,label="hello\nworld |{ b |{c| d|e}| f}| g | h"];
    struct1->struct2;
    struct1->struct3;
}

2.2   标签

缺省标签就是结点名称。边缘默认没有标签。结点和边缘可以设置 label 属性来设置标签。

虽然可以直接使用结点名作为标签，但是有些时候还是需要手动设置为好。例如画一个文件目录树，可能有多个目录有相同的名字，但是他们却不同。结点号或全路径名可能更适合做唯一标识符。因此每个结点的标签可以设置成完整文件名。

多行标签可以使用转义符来实现，包括 \n 、 \l 、 \r 。

Note

\N 是结点名中可以使用的一种内部符号。

图形和子图分组也可以有标签。图形标签默认显示在正下方。设置 labelloc=t 可以把标签放在正上方。分组标签放在矩形边框内，在左上角。设置labelloc=b 可以把标签放到矩形下边，而设置 labeljust=r 可以放到右侧。

缺省字体是 14-point Times-Roman black 。其他字体族，大小和颜色可以使用 fontname 、 fontsize 、 fontcolor 来设置。字体名需要与解释器兼容。最好是用标准字体族，如 Times 、 Helvetica 、 Courier 或 Symbol 这些确保可以工作的很好的字体。例如 Times-Italic 、 Times-Bold 和可移植的 Courier ，而不是AvanteGardeDemiOblique 。

对于点位图输出，或者GIF和JPG，dot依赖于有效的字体。可以设置 fontpath 属性来指定搜索字体文件的路径列表，如果没有设置则会到 DOTFONTPATH和 GDFONTPATH 环境变量去找。如果仍然找不到，则会用内置字体列表。

边缘标签在边缘中间的一侧。要小心边缘标签与结点标签太近时发生的混淆。但是在复杂的图形里确实很难分辨一个标签属于哪个边缘。如果设置了decorate=true 则画线时会把标签嵌入其中。有时为了避免混淆还会强制把边缘画的更大一些。如果设置 labelfloat=true ，则不会做这些更改，以兼容模式来绘图。

边缘还可以拥有附加标签，使用 headlabel 和 taillabel 来设置近端和远端的边缘标签。而标签也可以单独设置字体，使用 labelfontname 、 labelfontsize 和labelfontcolor 。这些标签会放置在边缘和结点的交汇处。想要调整，可以设置 labelangle 和 labeldistance 属性。调整边缘与结点间的角度，后面那个调整边缘到结点的距离的比例参数。

结点属性：

名称	缺省值	值
color	black	结点颜色
comment	--	字符串，(format-dependent)
distortion	0.0	供 shape=polygon 使用的结点扭曲
fillcolor	lightgrey/black	结点填充色
fixedsize	false	标签文字不影响结点大小
fontcolor	black	字体颜色
fontname	Times-Roman	字体名
fontsize	14	字体大小
group	--	节点所属的组
height	.5	以英寸为单位的高度
label	结点名	任意字符串
layer	覆盖范围	all 、 id 或 id:id
orientation	0.0	结点旋转角度
peripheries	形状依赖	结点界限数量
regular	false	使多边形变得规则
shape	ellipse	结点形状
shapefile	--	扩展的EPSF或SVG自定义形状文件
sides	4	shape=polygon 时边的数量
skew	0.0	shape=polygon 时的相位差
style	--	图形选项，例如 bold 、 dotted 、 filled 等
URL	--	指定结点的URL(format-dependent)
width	.75	以英寸为单位的宽度
z	0.0	VRML输出的z轴数据

边缘属性：

名称	缺省值	值
arrowhead	normal	箭头的样式
arrowsize	1.0	箭头的比例因子
arrowtail	normal	箭头尾部的样式
color	black	边缘的颜色
comment	--	任意字符串，依赖于格式
constraint	true	强制约束，通过边缘限制结点范围
decorate	--	修饰，如果设置了，会画线连接标签到其他边缘
dir	forward	forward,back,both,none
fontcolor	black	字体颜色
fontname	Times-Roman	字体族
headlabel	--	箭头标签
headport	--	n,ne,e,se,s,sw,w,nw
headURL	--	如果输出格式为ismap时，标签附上URL
label	--	边缘标签
labelangle	-25.0	边缘标签的旋转角度
labeldistance	1.0	边缘标签距离结点的比例因子
labelfloat	false	边缘标签位置的强制约束
labelfontcolor	black	标签字体颜色
labelfontname	Times-Roman	标签字体族
labelfontsize	14	标签字体大小
layer	overlay range	all,id,或id:id
lhead	--	箭头使用的簇(cluster)的名字
ltail	--	箭尾使用的簇(cluster)的名字
minlen	1	头尾间最小长度
samehead	--	头结点的tag，拥有相同头结点tag的边缘会使用统一端点
sametail	--	同上，尾结点
style	--	图形选项，例如bold,dotted,filled
taillabel	--	箭尾标签
tailport	--	n,ne,e,se,s,sw,w,nw
tailURL	--	当输出格式为ismap时箭尾标签附加的URL
weight	1	边缘的延伸花费整数

图形属性：

名称	缺省值	值
bgcolor	--	画图的背景图
center	false	在page的中心画图
clusterrank	local	global或none
color	black	对cluster,outline颜色等等的没有指定fillcolor时的默认颜色
comment	--	注释
compound	false	允许cluster之间的边缘
concentrate	false	允许边缘的集中
fillcolor	black	cluster的填充色
fontcolor	black	字体颜色
fontname	Times-Roman	字体族
fontpath	--	字体搜索路径
fontsize	14	字体大小
label	--	任意字符串
labeljust	centered	l和r用于cluster标签的左对齐和右对齐
labelloc	top	t和b用于cluster标签的上对齐和下对齐
layers	--	id:id:id...
margin	.5	page的空白，英寸
mclimit	1.0	mincross的跌带比例因子
nodesep	.25	结点之间的间隔，英寸
nslimit	--	如果设置了f，则使用网络界限迭代f(结点数)来设置x坐标
nslimit1	--	如果设置了f，则使用网络界限迭代f(结点数)设置结点排名(rank)
ordering	--	如果out则外部边缘顺序会保留
orientation	portrait	如果没用rotate，而值为landscape，使用风景画定位
page	--	标记页，例如"8.5,11"
pagedir	BL	多页之间的横断
quantum	--	结点标签的尺寸根据quantum的量度
rank	--	same,min,max,source,sink
rankdir	TB	LR(从左向右)或TB(从上到下)
ranksep	.75	等级之间的间隔，英寸
ratio	--	近似朝向approximate aspect ratio desired，fill或auto
remincross	--	如果为true且有多个集群，重新运行crossing最小化
rotate	--	如果为90，设置朝向
samplepoints	8	输出时用以表现椭圆和圆所用的点数，参见附录C
searchsize	30	切除的最大边缘，当用以寻找网络中的最小一个(完全没看懂?)
size	--	最大绘图尺寸，英寸
style	--	图形选项，例如集群的filled
URL	--	图形锚点，依赖于格式

2.3   图形样式

结点和边缘可以指定color属性，默认是黑色。这是绘制结点形状和边缘时使用的颜色。一个color值可以用灰度三角标识(以逗号分隔的3个0-1之间的浮点数)；每个颜色的名字在附录G中列出(从X window系统借用的)；或者是RGB颜色(3个十六进制的00-FF之间的数字，以"#"开头)。这样值"orchid"、"0.8396,0.4862,0.8549"和"#DA70D6"是同一种颜色的不同表示方式。数字形式会自动转换为实际的颜色。颜色名的会忽略大小写然后忽略非数字字符，所以warngrey和Warn_Grey是等同的。

我们可以提供一些绘图中使用颜色的建议。首先，不要使用太多亮色。彩虹效应会让人很混乱。最好选择很窄范围的几种颜色，或者达到颜色饱和。第二如果结点填充深色或饱和颜色，标签设置为 fontcolor=white 或 fontname=Helvetica 会更容易阅读。(我们也有PostScript函数用以生成轮廓字体)。第三，在适应的输出格式，你可以定义自己的颜色空间。例如，如果使用PostScript输出，你可以重新定义 nodecolor 、 edgecolor 、 graphcolor 在库文件中。这样，想要使用RGB颜色，在 lib.ps 中定位如下行:

/nodecolor {setrgbcolor} bind def

使用 -l 命令载入这个文件:

dot -Tps -l lib.ps file.dot -o file.ps

style 属性控制图形中结点和边缘的多种功能。这个属性是以逗号分隔的一列参数。预定义的参数包括 solid 、 dashed 、 dotted 、 bold 和 invis 。前四个控制结点界限与边缘的绘制，意思代表实线、虚线、点线、粗线。而invis会让结点或边缘留空而不绘制。结点的 style 还可以包括 filled 、 diagonals 和rounded ，表示结点的填充方式为填充(默认用fillcolor，否则用color，如果还没有就用浅灰)、对角线(绘制最近两个边的定点的连线)、环绕(环绕多边形的各个角)。

用户定义的风格元素可以使用自定义PostScript过程实现。这种元素(primitive)在 gsave 上下文中执行，在其他标签绘制前。参数列表会翻译成PostScript的表示法(notation)。例如，一个结点有 style="setlinewidth(8) ，就会绘制很粗的轮廓。这里 setlinewidth 是PostScript内置的，但是用户自定义的过程也是一样的调用方式。这些过程的定义可以用库文件的方式用"-l"参数导入。

边缘有 dir 属性以设置箭头。dir可以是 forward (缺省)、 back 、 both 、 none 。这只是改变箭头的绘制，而不是下面(underlying)的图形。例如设置dir=back 会使得箭头相反，但是它并不交换边缘的端点。属性 arrowhead 和 arrtail 设置箭头的样式，方便分别设置。允许的值有 normal 、 inv 、 dot 、invdot 、 odot 、 invodot 、 none ，具体的意思详见附录F。属性 arrowsize 设置箭头的多个因素的大小。例如 arrowsize=2.0 会让箭头两倍大和两倍宽。

在演示和颜色的概念中，cluster作为一个盒子样的结点存在，cluster的界限(boundary)使用color属性绘制。而一般cluster的外貌(appearance)依赖于style、color、fillcolor属性。

如果根图有 bgcolor 属性。这个颜色会用于整个背景的绘制。同时也作为缺省的填充色。

2.4   绘图方向、大小和间隔

有两个属于对于dot的大小有重要的作用，是 nodesep 和 ranksep 。 nodesep 指定了以英寸为单位的最小占用空间，在同一范围内临近的两个结点的最小距离。 ranksep 指定了各个层次(rank)之间的间隔，就是在上一个rank中最下那个node到下一个rank中最上那个node之间的距离，单位是英寸。同时也可以设置 ranksep=equally ，可以使所有的rank拥有相同的间隔空间，特别适合于中心结点对旁边的结点进行等距离分配。在这种情况下，两个rank之间的间隔至少为上面设置的间隔。两种使用的 rankrep 是相互独立的，可以同时使用，例如 rankrep="1.0 equally" 语句就会设置固定的相等间隔。

大多数时候默认的结点尺寸和间距对打印机或者文档页面来说太大了。有很多种方式可以解决这个问题。首先我们复习一下dot如何计算最终的布局尺寸。

首先布局按照初始的"natural"大小，使用缺省设置(除非 ratio=compress 设置，下面描述)。没有限制大小和方向(aspect)的比率(ratio)，所以如果图形很大，布局也会很大。如果你不指定size和ratio，就会打印自然大小。

控制输出大小最简单的方式是设置 size="x,y" ，在图形文件中(或者命令行选项的-G)。这会先决定于最终布局的大小。例如， size="7.5,10" 会适应8.5x11的页面(假设缺省页方向)而无论初始布局有多大。

ratio 也作用于布局大小。有几种情况，依赖于size和ratio的设置：

1. Case1 ： ratio 设置了。如果绘图已经适应到给出的size，那么什么都不会发生。否则，绘图会自动减小到临界(critical)尺寸(dimension)。如果ratio设置了，则有四种子情况。

@page 15

2.5   结点与边缘定位

dot中有多种方式处理大尺寸的结点和边缘布局，让用户感觉使用起来极其方便。这一节就是讨论这些事情。

有时候需要让边缘从左到右，而不是从上到下。如果 rankdir=LR 定义于图的顶层，绘图会旋转以实现这种样式。TB(top to bottom)是缺省的。模式rankdir=BT 适用于从下到上的图。当然了还有 rankdir=RL 。

在时间线、强调源和下沉结点，你可能需要强制定义下沉。子图的rank可以设置为 same 、 min 、 source 、 max 、 sink 。意义如下：

1. same ：让子图继承相同的排列
2. min ：子图中所有结点至少比布局中其他结点的排列(rank)要小
3. source ：强制子图所有结点严格基于某个排列，同时比其他结点排列要小(除非这些子图也指定了min或source)(?)
4. max 或 sink ：做与最大排列接近的事情。

注意这些约束对结点都是相同的。如果一个子图强制结点A和B使用相同排列，而其他子图强制C和B共享排列，那么两个子图的其他结点也必须以相同排列绘图。例子9和10使用子图控制排列。

在一些图中从左到右的顺序很重要。如果子图含有 ordering=out ，则每条产生的边都按照从左到右排列。同时注意平坦的边(edge)会扰乱这种排序。

有很多方式微调(find-tune)结点与边缘的布局。例如，如果结点的一些边缘拥有相同的 group 属性，绘制时就会保持边缘是笔直的(straight)且进制其他边缘与其交叉。边缘的 weight 属性也会控制边缘的笔直。一个边缘的weight建议边缘的量度(measure)；这样weight的行为贴近于其结点。dot会让边缘更短与更直。

边缘的weight与结点被强制相同rank时也有用。结点间拥有非零weight的边缘在同一方向跨越rank时会尽可能避免交叉。(此句不确定)。这个事实可以用于调整(adjust)结点顺序，通过指定边缘的 style="invis" 。

边缘的端点临近(adjacent)的结点可以被约束(constraint)使用 samehead 和 sametail 属性。特别的，所有边缘都有相同的箭头且有相同的 samehead 约束，则会指向结点的同一点。类似的(analogous)作用于箭尾的是 sametail 。

@page 20

3   高级特性

3.1   结点端口

结点端口是允许边缘连接的一个点。当没有指定端口时，边缘会自动连接指向结点中心并忽略结点的边界。

@page 20

3.2   cluster

cluster是一个子图，定位于一个举行区域中，并有自己的布局。一个子图被认为是一个cluster，如果其名字拥有前缀 cluster 。(如果顶级图有clusterrank=none ，那么这个处理就被关闭了。)标签、字体和 labelloc 属性可以设置顶级图形，然而cluster标签则是缺省显示的。对于cluster，标签默认左对齐，如果 labeljust="r" 则标签就右对齐了。 color 属性指定了包围矩形的颜色。另外，cluster可以有 style="filled" ，先定义包围矩形的颜色为fillcolor 。如果没指定fillcolor，则使用cluster的color属性。

cluster的绘制通过递归技术，计算分配的rank和内部结点的布局。下面Finger17-19是cluster的例子。

如果顶级图的 compound 属性设置为true，就会允许结点与cluster之间绘制边缘。这是通过定义边缘的 lhead 和 ltail 属性实现(accomplished)的。这些属性的值必须是包含头或尾结点的cluster的名字。这种情况下，边缘省略了cluster的边框。所有其他边缘的属性，例如 arrowhead 或 dir ，都被截断了。例如Finure20展示了图形使用compound属性的结果。

3.3   集中器

@page 27

4   命令行选项

缺省时，dot以过滤器模式工作，从stdin读取图形，然后写入图形到stdout，以DOT格式。 dot 支持一系列的命令行选项：

-Tformat ：设置输出格式，允许的format如下：

1. canon ：很好的打印输入，没有布局
2. dot ：属性DOT，打印输入布局附加在属性上，查看附录C
3. fit ：FIG输出
4. gd ：GD格式，这是GD图形库的内部格式，另一个可选的是gd2
5. gif ：GIF输出
6. hpgl ：HP-GL/2生成的打印机语言
7. imap ：生成服务器端图像地图。可以算作图像输出，使用 -Tgif 或 -Tjpg ，在网页附加链接到结点和边缘。格式ismap是imap格式的预处理器
8. cmap ：在客户端生成HTML地图文件
9. mif ：FrameMaker MIF格式。可以载入FrameMake并编辑，限于8种基本颜色
10. mp ：MetaPost输出
11. pc1 ：PCL-5输出，用于HP打印机
12. pic ：PIC输出
13. plain ：简单的，基于线的ASCII格式。附录B描述了这种输出。另一种可选格式是 plain-ext ，会提供边缘头尾端口名
14. png ：PNG(Portable Network Graphics)格式
15. ps ：PostScript(EPSF)输出
16. ps2 ：PostScript(EPSF)输出包含PDF注释，假设最终用于生成PDF
17. svg ：SVG输出，另一种选择 svgz 是压缩过的SVG
18. vrml ：VRML输出
19. vtx ：VTX格式用于Visual Thought
20. wbmp ：Wireless BitMap(WBMP)格式

-Gname=value ：设置缺省的图形属性。一般是设置大小、分页等参数。类似的选项 -N 和 -E 用于设置结点和边缘的缺省属性。不过注意，文件内容可以重载命令行参数。

-llibfile ：指定设备相关的图形库文件。可以指定多个库。这些名字会被传递到代码生成器那里。

-ooutfile ：指定输出文件名

-v ：提供更多输出信息。在处理大的布局时，会给出处理进度的评估信息

-V ：打印版本号

5   有趣的功能

在顶级图之前，可以声明 strict digraph 。这会禁止自引用(self-arcs)和多条边缘(multi-edges)。他们会在输入文件中自动忽略。

结点、边缘、图形可以有 URL 属性。在适当的输出格式(ps2、imap、ismap、cmap、svg)中，这些信息会整合(integrated)到输出中，所以这些结点、边缘和cluster就会变成链接。典型的URL附加到顶层图会作为基础URL，以便支持组件的相对URL。当输出格式是imap或cmap，类似的处理过程会被替换成headURL 和 tailURL 属性。

对于适当的格式(ps2、fig、mif、mp、vtx、svg)， comment 属性可以用于嵌入式的人类可读的注释表示法。

6   结论

dot语言可以构造复杂的分级图形并设置很多属性。

虽然这些简单的方法已经工作的很好了，但是未来仍然有做复杂图形方面的研究和WEB动态图形生成。

7   感谢

@page 32

8   引用

[Car80]

Carpano. Automatic display of hierarchized graphs for computer aided decision analysis. IEEE Transactions on Software Engineering, SE-12(4):538–546, April 1980.

[GKNV93]

Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, and Kiem-Phong Vo. A Technique for Drawing Directed Graphs. IEEE Trans. Sofware Eng., 19(3):214–230, May 1993.

[New89]

Frances J. Newbery. Edge Concentration: A Method for Clustering Directed Graphs. In 2nd International Workshop on Software Configuration Management, pages 76–85, October 1989. Published as ACM SIGSOFT Software Engineering Notes, vol. 17, no. 7, November 1989.

[Nor92]

Stephen C. North. Neato User’s Guide. Technical Report 59113-921014-14TM, AT&T Bell Laboratories, Murray Hill, NJ, 1992.

[STT81]

Sugiyama, S. Tagawa, and M. Toda. Methods for Visual Understanding of Hierarchical System Structures. IEEE Transactions on Systems, Man, and Cybernetics, SMC-11(2):109–125, February 1981.

[War77]

JohnWarfield. Crossing Theory and Hierarchy Mapping. IEEE Transactions on Systems, Man, and Cybernetics, SMC-7(7):505–523, July 1977.

9   附录

9.1   图形文件语法

如下是DOT语言的抽象语法。终止符以粗体，非终止符以斜体。单字符(literal)以单引号。在需要时使用圆括号(parentheses)来表示组。方括号标识可选项。竖线分隔符分隔二选一的值。

graph -> [ strict ] ( digraph | graph ) id '{' stmt-list '}'

stmt-list -> [ stmt [ ';' ][ stmt-list ]]

stmt -> attr-stmt | node-stmt | edge-stmt | subgraph | id '=' id

attr-stmt -> ( graph | node | edge ) attr-list

attr-list -> '[' [ a-list ] ']' [ attr-list ]

a-list -> id '=' id [ ',' ] [ a-list ]

@page 34

9.2   原始输出文件格式(-Tplain)

Warning

pause @ page 35

9.3   DOT属性格式(-Tdot)

Warning

pause @ page 36

9.4   层

Warning

pause @ page 37

9.5   结点形状

9.6   箭头类型

9.7   颜色名

Warning

pause @ page 40