Mercurial > hg > Papers > 2023 > matac-sigos

comparison Paper/figs/transaction.drawio @ 26:ceebb580ba71

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 17 Apr 2023 22:32:20 +0900
parents efdfdb997984
children
comparison
equal deleted inserted replaced
25:a3b4c82869eb 26:ceebb580ba71
1 <mxfile host="app.diagrams.net" modified="2023-04-17T08:08:51.263Z" agent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/112.0.0.0 Safari/537.36" version="21.1.1" etag="51CZs3nB9ULPaeoY18TK" type="device"> 1 <mxfile host="app.diagrams.net" modified="2023-04-17T13:31:09.248Z" agent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/112.0.0.0 Safari/537.36" version="21.1.1" etag="pUaW60F-fyRXDa9FpEsn" type="device">
2 <diagram id="L_h3FubKQM33HK9nJZH5" name="Page-1"> 2 <diagram id="L_h3FubKQM33HK9nJZH5" name="Page-1">
3 <mxGraphModel dx="1004" dy="635" 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"> 3 <mxGraphModel dx="1004" dy="635" 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">
4 <root> 4 <root>
5 <mxCell id="0" /> 5 <mxCell id="0" />
6 <mxCell id="1" parent="0" /> 6 <mxCell id="1" parent="0" />
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=3;strokeColor=#000000;" parent="1" source="2" target="5" edge="1"> 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">
8 <mxGeometry relative="1" as="geometry" /> 8 <mxGeometry relative="1" as="geometry" />
9 </mxCell> 9 </mxCell>
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=3;strokeColor=#000000;" parent="1" source="2" target="6" edge="1"> 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">
11 <mxGeometry relative="1" as="geometry" /> 11 <mxGeometry relative="1" as="geometry" />
12 </mxCell> 12 </mxCell>
13 <mxCell id="2" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 13 <mxCell id="2" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
14 <mxGeometry x="180" y="40" width="50" height="50" as="geometry" /> 14 <mxGeometry x="180" y="40" width="50" height="50" as="geometry" />
15 </mxCell> 15 </mxCell>
16 <mxCell id="3" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 16 <mxCell id="3" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
17 <mxGeometry x="80" y="210" width="50" height="50" as="geometry" /> 17 <mxGeometry x="80" y="210" width="50" height="50" as="geometry" />
18 </mxCell> 18 </mxCell>
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=3;strokeColor=#000000;" parent="1" source="5" target="3" edge="1"> 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">
20 <mxGeometry relative="1" as="geometry" /> 20 <mxGeometry relative="1" as="geometry" />
21 </mxCell> 21 </mxCell>
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=3;strokeColor=#000000;" parent="1" source="5" target="7" edge="1"> 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">
23 <mxGeometry relative="1" as="geometry" /> 23 <mxGeometry relative="1" as="geometry" />
24 </mxCell> 24 </mxCell>
25 <mxCell id="5" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 25 <mxCell id="5" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
26 <mxGeometry x="130" y="120" width="50" height="50" as="geometry" /> 26 <mxGeometry x="130" y="120" width="50" height="50" as="geometry" />
27 </mxCell> 27 </mxCell>
28 <mxCell id="6" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 28 <mxCell id="6" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
29 <mxGeometry x="230" y="120" width="50" height="50" as="geometry" /> 29 <mxGeometry x="230" y="120" width="50" height="50" as="geometry" />
30 </mxCell> 30 </mxCell>
31 <mxCell id="7" value="&lt;font style=&quot;font-size: 25px;&quot;&gt;N&lt;/font&gt;" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 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">
32 <mxGeometry x="180" y="210" width="50" height="50" as="geometry" /> 32 <mxGeometry x="180" y="210" width="50" height="50" as="geometry" />
33 </mxCell> 33 </mxCell>
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=3;" parent="1" source="12" target="7" edge="1"> 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">
35 <mxGeometry relative="1" as="geometry" /> 35 <mxGeometry relative="1" as="geometry" />
36 </mxCell> 36 </mxCell>
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"> 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">
38 <mxGeometry x="265" y="220" width="95" height="30" as="geometry" /> 38 <mxGeometry x="265" y="220" width="95" height="30" as="geometry" />
39 </mxCell> 39 </mxCell>
40 <mxCell id="13" value="" style="rounded=0;whiteSpace=wrap;html=1;fontSize=20;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 40 <mxCell id="13" value="" style="rounded=0;whiteSpace=wrap;html=1;fontSize=20;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
41 <mxGeometry x="80" y="360" width="120" height="240" as="geometry" /> 41 <mxGeometry x="80" y="360" width="120" height="240" as="geometry" />
42 </mxCell> 42 </mxCell>
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=3;strokeColor=#000000;" parent="1" source="14" target="19" edge="1"> 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">
44 <mxGeometry relative="1" as="geometry"> 44 <mxGeometry relative="1" as="geometry">
45 <Array as="points"> 45 <Array as="points">
46 <mxPoint x="240" y="365" /> 46 <mxPoint x="240" y="365" />
47 </Array> 47 </Array>
48 </mxGeometry> 48 </mxGeometry>
49 </mxCell> 49 </mxCell>
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=3;fontSize=30;fontColor=#FF9933;startArrow=none;startFill=0;endArrow=classic;endFill=1;" parent="1" source="14" target="24" edge="1"> 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">
51 <mxGeometry relative="1" as="geometry" /> 51 <mxGeometry relative="1" as="geometry" />
52 </mxCell> 52 </mxCell>
53 <mxCell id="14" value="" style="rounded=0;whiteSpace=wrap;html=1;fontSize=20;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 53 <mxCell id="14" value="" style="rounded=0;whiteSpace=wrap;html=1;fontSize=20;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
54 <mxGeometry x="80" y="480" width="120" height="30" as="geometry" /> 54 <mxGeometry x="80" y="480" width="120" height="30" as="geometry" />
55 </mxCell> 55 </mxCell>
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"> 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">
57 <mxGeometry x="40" y="480" width="40" height="30" as="geometry" /> 57 <mxGeometry x="40" y="480" width="40" height="30" as="geometry" />
58 </mxCell> 58 </mxCell>
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=3;strokeColor=#000000;" parent="1" source="19" target="20" edge="1"> 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">
60 <mxGeometry relative="1" as="geometry" /> 60 <mxGeometry relative="1" as="geometry" />
61 </mxCell> 61 </mxCell>
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=3;strokeColor=#000000;" parent="1" source="19" target="21" edge="1"> 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">
63 <mxGeometry relative="1" as="geometry" /> 63 <mxGeometry relative="1" as="geometry" />
64 </mxCell> 64 </mxCell>
65 <mxCell id="19" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 65 <mxCell id="19" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
66 <mxGeometry x="340" y="350" width="30" height="30" as="geometry" /> 66 <mxGeometry x="340" y="350" width="30" height="30" as="geometry" />
67 </mxCell> 67 </mxCell>
68 <mxCell id="20" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 68 <mxCell id="20" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
69 <mxGeometry x="290" y="430" width="30" height="30" as="geometry" /> 69 <mxGeometry x="290" y="430" width="30" height="30" as="geometry" />
70 </mxCell> 70 </mxCell>
71 <mxCell id="21" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> 71 <mxCell id="21" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=2;strokeColor=#000000;fillColor=none;" parent="1" vertex="1">
72 <mxGeometry x="390" y="430" width="30" height="30" as="geometry" /> 72 <mxGeometry x="390" y="430" width="30" height="30" as="geometry" />
73 </mxCell> 73 </mxCell>
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=4;" parent="1" source="24" target="25" edge="1"> 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">
75 <mxGeometry relative="1" as="geometry" /> 75 <mxGeometry relative="1" as="geometry" />
76 </mxCell> 76 </mxCell>
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=4;" parent="1" source="24" target="26" edge="1"> 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">
78 <mxGeometry relative="1" as="geometry" /> 78 <mxGeometry relative="1" as="geometry" />
79 </mxCell> 79 </mxCell>
80 <mxCell id="24" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=4;fillColor=none;" parent="1" vertex="1"> 80 <mxCell id="24" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=2;fillColor=none;" parent="1" vertex="1">
81 <mxGeometry x="340" y="480" width="30" height="30" as="geometry" /> 81 <mxGeometry x="340" y="480" width="30" height="30" as="geometry" />
82 </mxCell> 82 </mxCell>
83 <mxCell id="25" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=4;fillColor=none;" parent="1" vertex="1"> 83 <mxCell id="25" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=2;fillColor=none;" parent="1" vertex="1">
84 <mxGeometry x="290" y="560" width="30" height="30" as="geometry" /> 84 <mxGeometry x="290" y="560" width="30" height="30" as="geometry" />
85 </mxCell> 85 </mxCell>
86 <mxCell id="26" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=4;fillColor=none;" parent="1" vertex="1"> 86 <mxCell id="26" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=2;fillColor=none;" parent="1" vertex="1">
87 <mxGeometry x="390" y="560" width="30" height="30" as="geometry" /> 87 <mxGeometry x="390" y="560" width="30" height="30" as="geometry" />
88 </mxCell> 88 </mxCell>
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"> 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">
90 <mxGeometry x="105" y="330" width="70" height="30" as="geometry" /> 90 <mxGeometry x="105" y="330" width="70" height="30" as="geometry" />
91 </mxCell> 91 </mxCell>