79 lines
3.7 KiB
XML
79 lines
3.7 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
|
|
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
|
<!-- Generated by graphviz version 5.0.0 (0)
|
|
-->
|
|
<!-- Pages: 1 -->
|
|
<svg width="789pt" height="119pt"
|
|
viewBox="0.00 0.00 788.54 118.54" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
|
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 114.54)">
|
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-114.54 784.54,-114.54 784.54,4 -4,4"/>
|
|
<!-- Execution -->
|
|
<g id="node1" class="node">
|
|
<title>Execution</title>
|
|
<ellipse fill="none" stroke="black" cx="54" cy="-55.27" rx="54" ry="54"/>
|
|
<text text-anchor="middle" x="54" y="-51.57" font-family="Times,serif" font-size="14.00">Execution</text>
|
|
</g>
|
|
<!-- Event trace -->
|
|
<g id="node4" class="node">
|
|
<title>Event trace</title>
|
|
<polygon fill="none" stroke="black" points="244,-73.27 144,-73.27 144,-37.27 244,-37.27 244,-73.27"/>
|
|
<text text-anchor="middle" x="194" y="-51.57" font-family="Times,serif" font-size="14.00">Event trace</text>
|
|
</g>
|
|
<!-- Execution->Event trace -->
|
|
<g id="edge1" class="edge">
|
|
<title>Execution->Event trace</title>
|
|
<path fill="none" stroke="black" d="M108.35,-55.27C116.66,-55.27 125.28,-55.27 133.71,-55.27"/>
|
|
<polygon fill="black" stroke="black" points="133.85,-58.77 143.85,-55.27 133.85,-51.77 133.85,-58.77"/>
|
|
</g>
|
|
<!-- Emulation -->
|
|
<g id="node2" class="node">
|
|
<title>Emulation</title>
|
|
<ellipse fill="none" stroke="black" cx="334" cy="-55.27" rx="54" ry="54"/>
|
|
<text text-anchor="middle" x="334" y="-51.57" font-family="Times,serif" font-size="14.00">Emulation</text>
|
|
</g>
|
|
<!-- State trace -->
|
|
<g id="node5" class="node">
|
|
<title>State trace</title>
|
|
<polygon fill="none" stroke="black" points="520,-73.27 424,-73.27 424,-37.27 520,-37.27 520,-73.27"/>
|
|
<text text-anchor="middle" x="472" y="-51.57" font-family="Times,serif" font-size="14.00">State trace</text>
|
|
</g>
|
|
<!-- Emulation->State trace -->
|
|
<g id="edge3" class="edge">
|
|
<title>Emulation->State trace</title>
|
|
<path fill="none" stroke="black" d="M388.36,-55.27C396.72,-55.27 405.39,-55.27 413.83,-55.27"/>
|
|
<polygon fill="black" stroke="black" points="413.97,-58.77 423.97,-55.27 413.97,-51.77 413.97,-58.77"/>
|
|
</g>
|
|
<!-- Visualization -->
|
|
<g id="node3" class="node">
|
|
<title>Visualization</title>
|
|
<ellipse fill="none" stroke="black" cx="611.27" cy="-55.27" rx="55.04" ry="55.04"/>
|
|
<text text-anchor="middle" x="611.27" y="-51.57" font-family="Times,serif" font-size="14.00">Visualization</text>
|
|
</g>
|
|
<!-- Timeline -->
|
|
<g id="node6" class="node">
|
|
<title>Timeline</title>
|
|
<polygon fill="none" stroke="black" points="780.54,-73.27 702.54,-73.27 702.54,-37.27 780.54,-37.27 780.54,-73.27"/>
|
|
<text text-anchor="middle" x="741.54" y="-51.57" font-family="Times,serif" font-size="14.00">Timeline</text>
|
|
</g>
|
|
<!-- Visualization->Timeline -->
|
|
<g id="edge5" class="edge">
|
|
<title>Visualization->Timeline</title>
|
|
<path fill="none" stroke="black" d="M666.66,-55.27C675.11,-55.27 683.8,-55.27 692.1,-55.27"/>
|
|
<polygon fill="black" stroke="black" points="692.38,-58.77 702.38,-55.27 692.38,-51.77 692.38,-58.77"/>
|
|
</g>
|
|
<!-- Event trace->Emulation -->
|
|
<g id="edge2" class="edge">
|
|
<title>Event trace->Emulation</title>
|
|
<path fill="none" stroke="black" d="M244.04,-55.27C252.39,-55.27 261.17,-55.27 269.83,-55.27"/>
|
|
<polygon fill="black" stroke="black" points="269.9,-58.77 279.9,-55.27 269.9,-51.77 269.9,-58.77"/>
|
|
</g>
|
|
<!-- State trace->Visualization -->
|
|
<g id="edge4" class="edge">
|
|
<title>State trace->Visualization</title>
|
|
<path fill="none" stroke="black" d="M520.24,-55.27C528.49,-55.27 537.2,-55.27 545.82,-55.27"/>
|
|
<polygon fill="black" stroke="black" points="545.86,-58.77 555.86,-55.27 545.86,-51.77 545.86,-58.77"/>
|
|
</g>
|
|
</g>
|
|
</svg>
|