Mercurial > hg > Papers > 2024 > matac-master

annotate Paper/fig/transaction.drawio @ 51:bc69a109778c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
png to pdf
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Tue, 30 Jan 2024 19:51:40 +0900
parents 49c1503c9176
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
47
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
1 <mxfile host="65bd71144e">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
2 <diagram id="L_h3FubKQM33HK9nJZH5" name="Page-1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
3 <mxGraphModel dx="634" dy="1748" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
4 <root>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
5 <mxCell id="0"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
6 <mxCell id="1" parent="0"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
7 <mxCell id="8" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=2;strokeColor=#000000;" parent="1" source="2" target="5" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
8 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
9 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
10 <mxCell id="9" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=2;strokeColor=#000000;" parent="1" source="2" target="6" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
11 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
12 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
13 <mxCell id="2" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
14 <mxGeometry x="180" y="40" width="50" height="50" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
15 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
16 <mxCell id="3" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
17 <mxGeometry x="80" y="210" width="50" height="50" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
18 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
19 <mxCell id="10" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=2;strokeColor=#000000;" parent="1" source="5" target="3" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
20 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
21 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
22 <mxCell id="11" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=2;strokeColor=#000000;" parent="1" source="5" target="7" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
23 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
24 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
25 <mxCell id="5" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
26 <mxGeometry x="130" y="120" width="50" height="50" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
27 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
28 <mxCell id="6" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
29 <mxGeometry x="230" y="120" width="50" height="50" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
30 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
31 <mxCell id="7" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;N&lt;/font&gt;" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;fontSize=20;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
32 <mxGeometry x="180" y="210" width="50" height="50" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
33 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
34 <mxCell id="27" style="edgeStyle=none;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;fontSize=20;endArrow=classic;endFill=1;startArrow=none;startFill=0;strokeColor=#000000;strokeWidth=2;" parent="1" source="12" target="7" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
35 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
36 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
37 <mxCell id="12" value="&lt;font style=&quot;font-size: 25px;&quot;&gt;key = a&lt;/font&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#000000;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
38 <mxGeometry x="265" y="220" width="95" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
39 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
40 <mxCell id="13" value="" style="rounded=0;whiteSpace=wrap;html=1;fontSize=20;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
41 <mxGeometry x="420" y="70" width="120" height="240" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
42 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
43 <mxCell id="32" style="edgeStyle=none;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;fontSize=20;startArrow=none;startFill=0;endArrow=classic;endFill=1;strokeWidth=2;strokeColor=#000000;" parent="1" source="14" target="19" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
44 <mxGeometry relative="1" as="geometry">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
45 <Array as="points">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
46 <mxPoint x="580" y="75"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
47 </Array>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
48 </mxGeometry>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
49 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
50 <mxCell id="39" style="edgeStyle=none;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;strokeColor=#FF9933;strokeWidth=2;fontSize=30;fontColor=#FF9933;startArrow=none;startFill=0;endArrow=classic;endFill=1;" parent="1" source="14" target="24" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
51 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
52 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
53 <mxCell id="14" value="" style="rounded=0;whiteSpace=wrap;html=1;fontSize=20;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
54 <mxGeometry x="420" y="190" width="120" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
55 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
56 <mxCell id="15" value="&lt;font style=&quot;font-size: 25px;&quot;&gt;a&lt;/font&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=20;fontColor=#000000;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
57 <mxGeometry x="380" y="190" width="40" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
58 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
59 <mxCell id="17" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=2;strokeColor=#000000;" parent="1" source="19" target="20" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
60 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
61 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
62 <mxCell id="18" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=2;strokeColor=#000000;" parent="1" source="19" target="21" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
63 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
64 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
65 <mxCell id="19" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
66 <mxGeometry x="680" y="60" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
67 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
68 <mxCell id="20" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
69 <mxGeometry x="630" y="140" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
70 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
71 <mxCell id="21" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
72 <mxGeometry x="730" y="140" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
73 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
74 <mxCell id="22" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeColor=#FF9933;strokeWidth=2;" parent="1" source="24" target="25" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
75 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
76 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
77 <mxCell id="23" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeColor=#FF9933;strokeWidth=2;" parent="1" source="24" target="26" edge="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
78 <mxGeometry relative="1" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
79 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
80 <mxCell id="24" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=2;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
81 <mxGeometry x="680" y="190" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
82 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
83 <mxCell id="25" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=2;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
84 <mxGeometry x="630" y="270" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
85 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
86 <mxCell id="26" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=2;fillColor=none;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
87 <mxGeometry x="730" y="270" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
88 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
89 <mxCell id="28" value="&lt;font style=&quot;font-size: 20px;&quot;&gt;Context&lt;/font&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=20;fontColor=#000000;strokeWidth=3;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
90 <mxGeometry x="445" y="40" width="70" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
91 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
92 <mxCell id="36" value="&lt;span style=&quot;font-size: 30px;&quot;&gt;A&lt;/span&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=3;fontSize=20;fontColor=#000000;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
93 <mxGeometry x="80" y="40" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
94 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
95 <mxCell id="37" value="&lt;span style=&quot;font-size: 30px;&quot;&gt;B&lt;/span&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=3;fontSize=20;fontColor=#000000;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
96 <mxGeometry x="730" y="60" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
97 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
98 <mxCell id="38" value="&lt;span style=&quot;font-size: 30px;&quot;&gt;C&lt;/span&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=3;fontSize=20;fontColor=#FF9933;" parent="1" vertex="1">
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
99 <mxGeometry x="730" y="190" width="30" height="30" as="geometry"/>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
100 </mxCell>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
101 </root>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
102 </mxGraphModel>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
103 </diagram>
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
104 </mxfile>