-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
d2f85e7
commit c65dde7
Showing
10 changed files
with
2,336 additions
and
999 deletions.
There are no files selected for viewing
164 changes: 164 additions & 0 deletions
164
presentations/verified_time_aware_stream_processing/correctness.drawio
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,164 @@ | ||
| <mxfile host="Electron" modified="2024-06-01T11:21:09.822Z" agent="Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/22.0.3 Chrome/118.0.5993.159 Electron/27.3.11 Safari/537.36" etag="g8Rb6Sx_ZzknBFMrLODC" version="22.0.3" type="device"> | ||
| <diagram name="Page-1" id="Q_h3_MxoVqDBflYuoZUL"> | ||
| <mxGraphModel dx="989" dy="586" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="1600" pageHeight="900" math="0" shadow="0"> | ||
| <root> | ||
| <mxCell id="0" /> | ||
| <mxCell id="1" parent="0" /> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-1" value="<font style="font-size: 9px;">WM 1</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="370.1648479427548" y="400" width="77.83899821109121" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-2" value="<font style="font-size: 9px;">DT 1 {"dog": 2}</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="170.00384615384607" y="400" width="100.0787119856887" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-3" value="<font style="font-size: 9px;">DT 0 {"dog": 1}</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="270.08384615384614" y="400" width="100.0787119856887" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-4" value="<font style="font-size: 9px;">DT 2 {"dog": 3, "cat": 1}</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="448" y="400" width="122" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-5" value="<font style="font-size: 9px;">DT 2 {"dog": 3, "cat": 1}</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="570" y="400" width="122" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-6" value="<font style="font-size: 9px;">WM 3</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="813.9960787119855" y="400" width="77.83899821109121" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-7" value="<font style="font-size: 9px;">DT 3 {"dog": 3, "cat": 2}</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="692" y="400" width="122" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-8" value="" style="endArrow=none;dashed=1;html=1;rounded=0;" edge="1" parent="1"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="891.8350769230767" y="419.58" as="sourcePoint" /> | ||
| <mxPoint x="909.85" y="420" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-9" value="<font style="font-size: 9px;">DT 2 "pink dog"</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="468.07384615384603" y="310" width="100.0787119856887" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-10" value="<font style="font-size: 9px;">DT 3 "black cat"</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="568.1525581395347" y="310" width="100.0787119856887" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-11" value="WM 3" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="668.2360787119856" y="310" width="77.83899821109121" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-12" value="" style="endArrow=none;dashed=1;html=1;rounded=0;" edge="1" parent="1"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="746.0750769230767" y="329.7099999999999" as="sourcePoint" /> | ||
| <mxPoint x="770" y="330" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-13" value="<font style="font-size: 9px;">DT 1 "black dog"</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="90" y="310" width="100.0787119856887" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-14" value="<font style="font-size: 9px;">DT 2 "orange cat"</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="190.0787119856887" y="310" width="100.0787119856887" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-15" value="<font style="font-size: 9px;">DT 0 "gray dog"</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="290.1574239713774" y="310" width="100.0787119856887" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-16" value="<font style="font-size: 9px;">WM 1</font>" style="shape=process;whiteSpace=wrap;html=1;backgroundOutline=1;container=0;" vertex="1" parent="1"> | ||
| <mxGeometry x="390.2348479427548" y="310" width="77.83899821109121" height="40" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-20" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;shape=flexArrow;" edge="1" parent="1" source="us1K83wFiINMwZ1j3M-q-17" target="us1K83wFiINMwZ1j3M-q-2"> | ||
| <mxGeometry relative="1" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-17" value="<div style=""><span style="font-size: 10px; background-color: initial;">Program</span></div>" style="strokeWidth=2;html=1;shape=mxgraph.flowchart.direct_data;whiteSpace=wrap;align=left;" vertex="1" parent="1"> | ||
| <mxGeometry x="80" y="390" width="60" height="60" as="geometry" /> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-19" value="" style="curved=1;endArrow=classic;html=1;rounded=0;shape=flexArrow;exitX=0;exitY=0.5;exitDx=0;exitDy=0;" edge="1" parent="1" source="us1K83wFiINMwZ1j3M-q-13" target="us1K83wFiINMwZ1j3M-q-17"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="30" y="400" as="sourcePoint" /> | ||
| <mxPoint x="80" y="350" as="targetPoint" /> | ||
| <Array as="points"> | ||
| <mxPoint x="10" y="380" /> | ||
| <mxPoint x="50" y="410" /> | ||
| </Array> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-22" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.698;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;exitX=0.699;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;strokeColor=#006600;strokeWidth=2;startArrow=classic;startFill=1;" edge="1" parent="1" source="us1K83wFiINMwZ1j3M-q-13" target="us1K83wFiINMwZ1j3M-q-2"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="140" y="370" as="sourcePoint" /> | ||
| <mxPoint x="400" y="380" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-23" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.698;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;strokeColor=#006600;strokeWidth=2;exitX=0.698;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;startArrow=classic;startFill=1;" edge="1" parent="1" source="us1K83wFiINMwZ1j3M-q-15"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="350" y="370" as="sourcePoint" /> | ||
| <mxPoint x="250.15" y="420" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-24" value="" style="endArrow=classic;html=1;rounded=0;strokeColor=#006600;strokeWidth=2;startArrow=classic;startFill=1;" edge="1" parent="1"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="360" y="340" as="sourcePoint" /> | ||
| <mxPoint x="340" y="420" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-25" value="" style="endArrow=classic;html=1;rounded=0;strokeColor=#006600;strokeWidth=2;startArrow=classic;startFill=1;" edge="1" parent="1"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="430" y="335" as="sourcePoint" /> | ||
| <mxPoint x="410" y="415" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-26" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.699;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;strokeColor=#006600;strokeWidth=2;entryX=0.425;entryY=0.75;entryDx=0;entryDy=0;entryPerimeter=0;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-4"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="170.15" y="330" as="sourcePoint" /> | ||
| <mxPoint x="530" y="460" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-27" value="" style="endArrow=classic;html=1;rounded=0;strokeColor=#006600;strokeWidth=2;entryX=0.491;entryY=0.75;entryDx=0;entryDy=0;entryPerimeter=0;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-5"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="160" y="340" as="sourcePoint" /> | ||
| <mxPoint x="510" y="440" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-28" value="" style="endArrow=classic;html=1;rounded=0;strokeColor=#006600;strokeWidth=2;entryX=0.474;entryY=0.75;entryDx=0;entryDy=0;entryPerimeter=0;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-7"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="160" y="340" as="sourcePoint" /> | ||
| <mxPoint x="640" y="440" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-30" value="" style="endArrow=classic;html=1;rounded=0;strokeColor=#006600;strokeWidth=2;entryX=0.461;entryY=0.25;entryDx=0;entryDy=0;entryPerimeter=0;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-6"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="720" y="340" as="sourcePoint" /> | ||
| <mxPoint x="692.15" y="410" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-31" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.425;entryY=0.75;entryDx=0;entryDy=0;entryPerimeter=0;strokeColor=#006600;strokeWidth=2;exitX=0.698;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-4"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="539.85" y="330" as="sourcePoint" /> | ||
| <mxPoint x="430" y="420" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-32" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.491;entryY=0.75;entryDx=0;entryDy=0;entryPerimeter=0;strokeColor=#006600;strokeWidth=2;exitX=0.698;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-5"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="538.0400000000001" y="330" as="sourcePoint" /> | ||
| <mxPoint x="498.19" y="430" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-33" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.753;entryY=0.75;entryDx=0;entryDy=0;entryPerimeter=0;exitX=0.699;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;strokeColor=#006600;strokeWidth=2;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-4"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="260" y="330" as="sourcePoint" /> | ||
| <mxPoint x="340" y="420" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-34" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.818;entryY=0.75;entryDx=0;entryDy=0;entryPerimeter=0;exitX=0.699;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;strokeColor=#006600;strokeWidth=2;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-5"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="270" y="340" as="sourcePoint" /> | ||
| <mxPoint x="550" y="440" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-35" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.802;entryY=0.75;entryDx=0;entryDy=0;entryPerimeter=0;strokeColor=#006600;strokeWidth=2;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-7"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="260" y="340" as="sourcePoint" /> | ||
| <mxPoint x="680" y="440" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| <mxCell id="us1K83wFiINMwZ1j3M-q-36" value="" style="endArrow=classic;html=1;rounded=0;entryX=0.802;entryY=0.5;entryDx=0;entryDy=0;entryPerimeter=0;strokeColor=#006600;strokeWidth=2;exitX=0.698;exitY=0.5;exitDx=0;exitDy=0;exitPerimeter=0;startArrow=classic;startFill=1;" edge="1" parent="1" target="us1K83wFiINMwZ1j3M-q-7"> | ||
| <mxGeometry width="50" height="50" relative="1" as="geometry"> | ||
| <mxPoint x="640.0000000000001" y="330" as="sourcePoint" /> | ||
| <mxPoint x="731.96" y="430" as="targetPoint" /> | ||
| </mxGeometry> | ||
| </mxCell> | ||
| </root> | ||
| </mxGraphModel> | ||
| </diagram> | ||
| </mxfile> |
Binary file not shown.
Oops, something went wrong.