--- a/model/images/constraints2.svg Mon Apr 02 12:22:08 2012 +0100
+++ b/model/images/constraints2.svg Mon Apr 02 13:34:49 2012 +0100
@@ -16,7 +16,7 @@
version="1.1"
inkscape:version="0.47 r22583"
sodipodi:docname="constraints2.svg"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/constraints2.png"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/constraints2.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
<defs
@@ -971,6 +971,200 @@
id="linearGradient5253"
xlink:href="#linearGradient4053-6-9-8-3-8-4"
inkscape:collect="always" />
+ <inkscape:perspective
+ id="perspective3240"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective3150"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker8943-38"
+ style="overflow:visible">
+ <path
+ id="path8945-60"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <linearGradient
+ inkscape:collect="always"
+ xlink:href="#linearGradient4053-6-9-8-3-9"
+ id="linearGradient7925-8"
+ gradientUnits="userSpaceOnUse"
+ x1="114.53841"
+ y1="108.27257"
+ x2="139.6636"
+ y2="126.8805" />
+ <linearGradient
+ inkscape:collect="always"
+ id="linearGradient4053-6-9-8-3-9">
+ <stop
+ style="stop-color:#f19353;stop-opacity:1;"
+ offset="0"
+ id="stop4055-8-7-7-1-22" />
+ <stop
+ style="stop-color:#f19353;stop-opacity:0;"
+ offset="1"
+ id="stop4057-3-94-2-7-3" />
+ </linearGradient>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker8943-92-1"
+ style="overflow:visible">
+ <path
+ id="path8945-2-83"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <linearGradient
+ y2="126.8805"
+ x2="139.6636"
+ y1="108.27257"
+ x1="114.53841"
+ gradientUnits="userSpaceOnUse"
+ id="linearGradient3724-4"
+ xlink:href="#linearGradient4053-6-9-8-3-2-2"
+ inkscape:collect="always" />
+ <linearGradient
+ inkscape:collect="always"
+ id="linearGradient4053-6-9-8-3-2-2">
+ <stop
+ style="stop-color:#f19353;stop-opacity:1;"
+ offset="0"
+ id="stop4055-8-7-7-1-2-2" />
+ <stop
+ style="stop-color:#f19353;stop-opacity:0;"
+ offset="1"
+ id="stop4057-3-94-2-7-1-4" />
+ </linearGradient>
+ <linearGradient
+ y2="126.8805"
+ x2="139.6636"
+ y1="108.27257"
+ x1="114.53841"
+ gradientUnits="userSpaceOnUse"
+ id="linearGradient3194"
+ xlink:href="#linearGradient4053-6-9-8-3-2-2"
+ inkscape:collect="always" />
+ <inkscape:perspective
+ id="perspective3324"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective3364"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective3401"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <inkscape:perspective
+ id="perspective3583"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker8943-39"
+ style="overflow:visible">
+ <path
+ id="path8945-04"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <linearGradient
+ inkscape:collect="always"
+ xlink:href="#linearGradient4053-6-9-8-3-8-3"
+ id="linearGradient7925-1-3"
+ gradientUnits="userSpaceOnUse"
+ x1="114.53841"
+ y1="108.27257"
+ x2="139.6636"
+ y2="126.8805" />
+ <linearGradient
+ inkscape:collect="always"
+ id="linearGradient4053-6-9-8-3-8-3">
+ <stop
+ style="stop-color:#f19353;stop-opacity:1;"
+ offset="0"
+ id="stop4055-8-7-7-1-3-4" />
+ <stop
+ style="stop-color:#f19353;stop-opacity:0;"
+ offset="1"
+ id="stop4057-3-94-2-7-4-2" />
+ </linearGradient>
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker8943-92-22-4"
+ style="overflow:visible">
+ <path
+ id="path8945-2-4-5"
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)" />
+ </marker>
+ <linearGradient
+ y2="126.8805"
+ x2="139.6636"
+ y1="108.27257"
+ x1="114.53841"
+ gradientUnits="userSpaceOnUse"
+ id="linearGradient5253-3"
+ xlink:href="#linearGradient4053-6-9-8-3-8-4-8"
+ inkscape:collect="always" />
+ <linearGradient
+ inkscape:collect="always"
+ id="linearGradient4053-6-9-8-3-8-4-8">
+ <stop
+ style="stop-color:#f19353;stop-opacity:1;"
+ offset="0"
+ id="stop4055-8-7-7-1-3-3-1" />
+ <stop
+ style="stop-color:#f19353;stop-opacity:0;"
+ offset="1"
+ id="stop4057-3-94-2-7-4-7-1" />
+ </linearGradient>
+ <inkscape:perspective
+ id="perspective3746"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
</defs>
<sodipodi:namedview
id="base"
@@ -979,11 +1173,11 @@
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
- inkscape:zoom="0.91620588"
- inkscape:cx="53.290905"
- inkscape:cy="529.49631"
+ inkscape:zoom="0.73168726"
+ inkscape:cx="372.04724"
+ inkscape:cy="526.18109"
inkscape:document-units="px"
- inkscape:current-layer="g3494-5"
+ inkscape:current-layer="g3538-3"
showgrid="false"
inkscape:window-width="1280"
inkscape:window-height="1001"
@@ -1013,251 +1207,46 @@
id="g8502"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
- <path
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
- d="m 197.56342,22.656517 c 0,216.772243 0,216.303033 0,216.303033"
- id="path6949-5-1-9-0"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <path
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
- d="m 84.335433,24.656517 c 0,216.772243 0,216.303033 0,216.303033"
- id="path6949-9-7-5-8-2"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
<rect
- y="156.27695"
- x="198.01341"
+ y="157.40468"
+ x="446.49695"
height="37.468384"
- width="109.65764"
- id="rect2923-2-5-8-4"
+ width="138.4899"
+ id="rect2923-2-5-8-4-7"
style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
<g
- transform="matrix(0.6,0,0,0.6,-11.202017,-3.3263628)"
- id="g2917-0-4-2-8"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438">
- <text
- xml:space="preserve"
- style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- x="391.29538"
- y="303.30817"
- id="text2835-5-7-4-0-5"
- sodipodi:linespacing="100%"><tspan
- y="303.30817"
- x="391.29538"
- sodipodi:role="line"
- id="tspan2915-3-5-5-72">a<tspan
- id="tspan7508-1"
- style="font-size:23.33333397px" /></tspan></text>
- <text
- xml:space="preserve"
- style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- x="409.47354"
- y="303.74017"
- id="text2841-4-8-9-8-4"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan2843-8-72-0-4-1"
- x="409.47354"
- y="303.74017"
- style="font-size:18px" /></text>
- </g>
- <path
- sodipodi:nodetypes="cc"
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.99999992, 1.99999997;stroke-dashoffset:0;marker-end:url(#marker8943)"
- d="m 56.27519,40.666807 c 320.00791,0 320.4949,0.0075 320.4949,0.0075"
- id="path6941-1-8-3-7"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <text
- xml:space="preserve"
- style="font-size:8.39999962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- x="48.046959"
- y="37.335358"
- id="text6943-33-9-9-6"
- sodipodi:linespacing="100%"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438"><tspan
- style="font-size:9.60000038px"
- sodipodi:role="line"
- id="tspan6945-9-8-0-8"
- x="48.046959"
- y="37.335358">Event line</tspan></text>
- <text
- sodipodi:linespacing="100%"
- id="text3211-3-0-3-2"
- y="107.80891"
- x="84.420624"
- style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- xml:space="preserve"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438"><tspan
- y="107.80891"
- x="84.420624"
- id="tspan3213-2-4-5-6"
- sodipodi:role="line">generation</tspan><tspan
- id="tspan7516-3"
- y="121.80891"
- x="84.420624"
- sodipodi:role="line"> of ag</tspan></text>
- <text
- sodipodi:linespacing="100%"
- id="text3215-4-8-5-0"
- y="137.51309"
- x="237.10306"
- style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- xml:space="preserve"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438"><tspan
- y="137.51309"
- x="237.10306"
- id="tspan3217-8-7-5-4"
- sodipodi:role="line">start of of a</tspan></text>
- <path
- transform="matrix(1,0,0,0.68177752,18.262173,144.70051)"
- d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
- inkscape:randomized="0"
- inkscape:rounded="0"
- inkscape:flatsided="true"
- sodipodi:arg2="1.0471976"
- sodipodi:arg1="0"
- sodipodi:r2="11.596869"
- sodipodi:r1="23.193739"
- sodipodi:cy="116.88141"
- sodipodi:cx="120.80072"
- sodipodi:sides="3"
- id="path3209-5-81-0-4"
- style="fill:url(#linearGradient7925);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
- sodipodi:type="star"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <path
- sodipodi:nodetypes="cc"
- style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000003;stroke-dashoffset:0;marker-end:none"
- d="m 56.275195,224.38513 c 314.558935,0 315.037635,0.005 315.037635,0.005"
- id="path6941-7-3-5-0-3"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <path
- inkscape:connector-type="polyline"
- id="path5224-3-9"
- d="M 197.09389,156.72548 119.80992,87.83681"
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <text
- sodipodi:linespacing="100%"
- id="text7931-0-7-1"
- y="256.47446"
- x="92.68203"
- style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- xml:space="preserve"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438"><tspan
- y="256.47446"
- x="92.68203"
- id="tspan7933-2-1-5"
- sodipodi:role="line">(a) wasStartedBy-ordering</tspan></text>
- <path
- sodipodi:type="star"
- style="fill:#e88a49;fill-opacity:0.20171652;stroke:#b75912;stroke-width:3;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
- id="path3274"
- sodipodi:sides="5"
- sodipodi:cx="-135.30371"
- sodipodi:cy="30.067492"
- sodipodi:r1="17.819641"
- sodipodi:r2="13.314233"
- sodipodi:arg1="-1.5707963"
- sodipodi:arg2="-0.94247775"
- inkscape:flatsided="true"
- inkscape:rounded="0"
- inkscape:randomized="0"
- d="m -135.30371,12.24785 16.94749,12.31307 -6.47337,19.922964 -20.94824,0 -6.47337,-19.922965 16.94749,-12.313069 z"
- transform="translate(248.10261,39.817085)" />
- <text
- xml:space="preserve"
- style="font-size:21.60000038px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- x="100.94657"
- y="75.342216"
- id="text2835-5-7-4-0-5-2"
- sodipodi:linespacing="100%"><tspan
- y="75.342216"
- x="100.94657"
- sodipodi:role="line"
- id="tspan2915-3-5-5-72-9">ag<tspan
- id="tspan7508-1-6"
- style="font-size:14px" /></tspan></text>
- <path
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
- d="m 330.64733,24.656525 c 0,216.772235 0,216.303025 0,216.303025"
- id="path6949-9-7-5-8-2-7"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <text
- sodipodi:linespacing="100%"
- id="text3211-3-0-3-2-9"
- y="78.711411"
- x="403.86017"
- style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- xml:space="preserve"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438"><tspan
- id="tspan7516-3-9"
- y="78.711411"
- x="403.86017"
- sodipodi:role="line">destruction</tspan><tspan
- y="92.711411"
- x="403.86017"
- sodipodi:role="line"
- id="tspan3350"> of ag</tspan></text>
- <g
- transform="translate(0,262.50219)"
- id="g3494-5">
+ id="g3538">
<path
id="path6949-5-1-9-1"
- d="m 306.73878,22.656523 c 0,216.772237 0,216.303027 0,216.303027"
+ d="m 306.73878,285.15871 c 0,216.77224 0,216.30303 0,216.30303"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
<text
xml:space="preserve"
style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
x="254.51952"
- y="115.68393"
+ y="378.18613"
id="text3215-4-8-5-7"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan3217-8-7-5-5"
x="254.51952"
- y="115.68393">end of a</tspan></text>
+ y="378.18613">end of a</tspan></text>
<path
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="path6949-5-1-9-0-7"
- d="m 197.56342,22.596244 c 0,190.641246 0,190.228596 0,190.228596"
+ d="m 197.56342,285.09843 c 0,190.64125 0,190.2286 0,190.2286"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000002, 2.00000002;stroke-dashoffset:0" />
<path
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="path6949-9-7-5-8-2-1"
- d="m 84.335433,24.656517 c 0,216.772243 0,216.303033 0,216.303033"
+ d="m 84.335433,287.15871 c 0,216.77224 0,216.30303 0,216.30303"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
<rect
inkscape:export-ydpi="79.550438"
@@ -1268,13 +1257,13 @@
width="109.65764"
height="37.468384"
x="198.01341"
- y="156.27695" />
+ y="418.77914" />
<g
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="g2917-0-4-2-8-9"
- transform="matrix(0.6,0,0,0.6,-11.202017,-3.3263628)">
+ transform="matrix(0.6,0,0,0.6,-11.202017,259.17583)">
<text
sodipodi:linespacing="100%"
id="text2835-5-7-4-0-5-8"
@@ -1306,7 +1295,7 @@
inkscape:export-xdpi="79.550438"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="path6941-1-8-3-7-7"
- d="m 56.27519,40.666807 c 320.00791,0 320.4949,0.0075 320.4949,0.0075"
+ d="m 56.27519,303.169 c 320.00791,0 320.4949,0.007 320.4949,0.007"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.99999992, 1.99999997;stroke-dashoffset:0;marker-end:url(#marker8943)"
sodipodi:nodetypes="cc" />
<text
@@ -1315,11 +1304,11 @@
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
sodipodi:linespacing="100%"
id="text6943-33-9-9-6-9"
- y="37.335358"
+ y="299.83755"
x="48.046959"
style="font-size:8.39999962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
xml:space="preserve"><tspan
- y="37.335358"
+ y="299.83755"
x="48.046959"
id="tspan6945-9-8-0-8-8"
sodipodi:role="line"
@@ -1331,16 +1320,16 @@
xml:space="preserve"
style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
x="84.420624"
- y="107.80891"
+ y="370.3111"
id="text3211-3-0-3-2-6"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan3213-2-4-5-6-7"
x="84.420624"
- y="107.80891">generation</tspan><tspan
+ y="370.3111">generation</tspan><tspan
sodipodi:role="line"
x="84.420624"
- y="121.80891"
+ y="384.3111"
id="tspan7516-3-0"> of ag</tspan></text>
<text
inkscape:export-ydpi="79.550438"
@@ -1348,14 +1337,14 @@
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
xml:space="preserve"
style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- x="236.0116"
- y="82.940208"
+ x="228.0116"
+ y="345.44241"
id="text3215-4-8-5-0-4"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan3217-8-7-5-4-8"
- x="236.0116"
- y="82.940208">start of of a</tspan></text>
+ x="228.0116"
+ y="345.44241">start of a</tspan></text>
<path
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
@@ -1374,13 +1363,13 @@
inkscape:rounded="0"
inkscape:randomized="0"
d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
- transform="matrix(1,0,0,0.68177752,18.262173,144.70051)" />
+ transform="matrix(1,0,0,0.68177752,18.262173,407.2027)" />
<path
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="path6941-7-3-5-0-3-8"
- d="m 56.275194,224.38513 c 309.109936,0 309.580336,0.005 309.580336,0.005"
+ d="m 56.275194,486.88732 c 309.109936,0 309.580336,0.005 309.580336,0.005"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000001;stroke-dashoffset:0;marker-end:none"
sodipodi:nodetypes="cc" />
<text
@@ -1390,15 +1379,15 @@
xml:space="preserve"
style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
x="92.68203"
- y="256.47446"
+ y="518.97662"
id="text7931-0-7-1-6"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan7933-2-1-5-8"
x="92.68203"
- y="256.47446">(b) wasAssociatedWith-ordering</tspan></text>
+ y="518.97662">(c) wasAssociatedWith-ordering</tspan></text>
<path
- transform="translate(248.10261,39.817085)"
+ transform="translate(248.10261,302.31927)"
d="m -135.30371,12.24785 16.94749,12.31307 -6.47337,19.922964 -20.94824,0 -6.47337,-19.922965 16.94749,-12.313069 z"
inkscape:randomized="0"
inkscape:rounded="0"
@@ -1416,14 +1405,14 @@
<text
sodipodi:linespacing="100%"
id="text2835-5-7-4-0-5-2-2"
- y="75.342216"
+ y="337.84442"
x="100.94657"
style="font-size:21.60000038px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
xml:space="preserve"><tspan
id="tspan2915-3-5-5-72-9-1"
sodipodi:role="line"
x="100.94657"
- y="75.342216">ag<tspan
+ y="337.84442">ag<tspan
style="font-size:14px"
id="tspan7508-1-6-9" /></tspan></text>
<path
@@ -1431,7 +1420,7 @@
inkscape:export-xdpi="79.550438"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="path6949-9-7-5-8-2-7-9"
- d="m 330.64733,24.586206 c 0,186.286064 0,185.882844 0,185.882844"
+ d="m 330.64733,287.0884 c 0,186.28606 0,185.88284 0,185.88284"
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
<text
inkscape:export-ydpi="79.550438"
@@ -1439,23 +1428,22 @@
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
xml:space="preserve"
style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
- x="403.86017"
- y="78.711411"
+ x="407.86017"
+ y="341.21359"
id="text3211-3-0-3-2-9-6"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
- x="403.86017"
- y="78.711411"
- id="tspan7516-3-9-0">destruction</tspan><tspan
+ x="407.86017"
+ y="341.21359"
+ id="tspan7516-3-9-0">invalidation</tspan><tspan
id="tspan3350-6"
sodipodi:role="line"
- x="403.86017"
- y="92.711411"> of ag</tspan></text>
+ x="407.86017"
+ y="355.21359"> of ag</tspan></text>
<path
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:none;marker-start:none;marker-end:url(#marker8943-92-22)"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#marker8943-92-22)"
d="M 252.12674,414.95086 126.6091,338.54882"
id="path3747"
- transform="translate(0,-262.50219)"
inkscape:connector-type="polyline" />
<path
inkscape:export-ydpi="79.550438"
@@ -1475,18 +1463,408 @@
inkscape:rounded="0"
inkscape:randomized="0"
d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
- transform="matrix(1,0,0,0.68177752,131.1346,130.79776)" />
+ transform="matrix(1,0,0,0.68177752,131.1346,393.29995)" />
<path
inkscape:export-ydpi="79.550438"
inkscape:export-xdpi="79.550438"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
id="path6941-7-3-5-0-3-8-4"
- d="m 57.147618,210.48238 c 309.109942,0 309.580342,0.005 309.580342,0.005"
+ d="m 57.147618,472.98457 c 309.109942,0 309.580342,0.005 309.580342,0.005"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000001;stroke-dashoffset:0;marker-end:none"
sodipodi:nodetypes="cc" />
</g>
+ <g
+ id="g3054"
+ transform="translate(0,262.50219)">
+ <path
+ sodipodi:type="arc"
+ style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path2816-5-4-1-8-0-5"
+ sodipodi:cx="93.832016"
+ sodipodi:cy="294.48819"
+ sodipodi:rx="31.75853"
+ sodipodi:ry="31.75853"
+ d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
+ transform="matrix(0.38810374,0,0,0.38810374,72.545646,-301.79919)" />
+ <g
+ transform="matrix(0.38810374,0,0,0.38810374,69.73654,-296.37911)"
+ id="g2845-6-0-6-8-7-4">
+ <text
+ xml:space="preserve"
+ style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="91.530045"
+ y="289.34262"
+ id="text2835-6-4-3-2-3-1"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2837-3-0-4-5-6-7"
+ x="91.530045"
+ y="289.34262">e</tspan></text>
+ <text
+ xml:space="preserve"
+ style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="107.70822"
+ y="289.77463"
+ id="text2841-1-3-0-7-6-2"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2843-2-5-4-2-9-2"
+ x="107.70822"
+ y="289.77463"
+ style="font-size:18px" /></text>
+ </g>
+ </g>
+ <g
+ id="g3054-7"
+ transform="translate(386.2875,268.14277)">
+ <path
+ sodipodi:type="arc"
+ style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path2816-5-4-1-8-0-5-6"
+ sodipodi:cx="93.832016"
+ sodipodi:cy="294.48819"
+ sodipodi:rx="31.75853"
+ sodipodi:ry="31.75853"
+ d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
+ transform="matrix(0.38810374,0,0,0.38810374,72.545646,-301.79919)" />
+ <g
+ transform="matrix(0.38810374,0,0,0.38810374,69.73654,-296.37911)"
+ id="g2845-6-0-6-8-7-4-2">
+ <text
+ xml:space="preserve"
+ style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="91.530045"
+ y="289.34262"
+ id="text2835-6-4-3-2-3-1-7"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2837-3-0-4-5-6-7-1"
+ x="91.530045"
+ y="289.34262">e</tspan></text>
+ <text
+ xml:space="preserve"
+ style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="107.70822"
+ y="289.77463"
+ id="text2841-1-3-0-7-6-2-5"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2843-2-5-4-2-9-2-8"
+ x="107.70822"
+ y="289.77463"
+ style="font-size:18px" /></text>
+ </g>
+ </g>
+ <g
+ id="g3113">
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6949-5-1-9-0"
+ d="m 197.56342,22.656517 c 0,216.772243 0,216.303033 0,216.303033"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6949-9-7-5-8-2"
+ d="m 84.335433,24.656517 c 0,216.772243 0,216.303033 0,216.303033"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
+ <rect
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:1.89999998;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="rect2923-2-5-8-4"
+ width="109.65764"
+ height="37.468384"
+ x="198.01341"
+ y="156.27695" />
+ <g
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="g2917-0-4-2-8"
+ transform="matrix(0.6,0,0,0.6,-11.202017,-3.3263628)">
+ <text
+ sodipodi:linespacing="100%"
+ id="text2835-5-7-4-0-5"
+ y="303.30817"
+ x="391.29538"
+ style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"><tspan
+ id="tspan2915-3-5-5-72"
+ sodipodi:role="line"
+ x="391.29538"
+ y="303.30817">a<tspan
+ style="font-size:23.33333397px"
+ id="tspan7508-1" /></tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text2841-4-8-9-8-4"
+ y="303.74017"
+ x="409.47354"
+ style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"><tspan
+ style="font-size:18px"
+ y="303.74017"
+ x="409.47354"
+ id="tspan2843-8-72-0-4-1"
+ sodipodi:role="line" /></text>
+ </g>
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6941-1-8-3-7"
+ d="m 56.27519,40.666807 c 320.00791,0 320.4949,0.0075 320.4949,0.0075"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.99999992, 1.99999997;stroke-dashoffset:0;marker-end:url(#marker8943)"
+ sodipodi:nodetypes="cc" />
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ sodipodi:linespacing="100%"
+ id="text6943-33-9-9-6"
+ y="37.335358"
+ x="48.046959"
+ style="font-size:8.39999962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"><tspan
+ y="37.335358"
+ x="48.046959"
+ id="tspan6945-9-8-0-8"
+ sodipodi:role="line"
+ style="font-size:9.60000038px">Event line</tspan></text>
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="84.420624"
+ y="91.808907"
+ id="text3211-3-0-3-2"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan3213-2-4-5-6"
+ x="84.420624"
+ y="91.808907">generation</tspan><tspan
+ sodipodi:role="line"
+ x="84.420624"
+ y="105.80891"
+ id="tspan7516-3"> of e</tspan></text>
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="229.10306"
+ y="137.51309"
+ id="text3215-4-8-5-0"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan3217-8-7-5-4"
+ x="229.10306"
+ y="137.51309">start of a</tspan></text>
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ sodipodi:type="star"
+ style="fill:url(#linearGradient7925);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path3209-5-81-0-4"
+ sodipodi:sides="3"
+ sodipodi:cx="120.80072"
+ sodipodi:cy="116.88141"
+ sodipodi:r1="23.193739"
+ sodipodi:r2="11.596869"
+ sodipodi:arg1="0"
+ sodipodi:arg2="1.0471976"
+ inkscape:flatsided="true"
+ inkscape:rounded="0"
+ inkscape:randomized="0"
+ d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ transform="matrix(1,0,0,0.68177752,18.262173,144.70051)" />
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6941-7-3-5-0-3"
+ d="m 56.275195,224.38513 c 314.558935,0 315.037635,0.005 315.037635,0.005"
+ style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000003;stroke-dashoffset:0;marker-end:none"
+ sodipodi:nodetypes="cc" />
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
+ d="M 197.09389,156.72548 119.80992,87.83681"
+ id="path5224-3-9"
+ inkscape:connector-type="polyline" />
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="92.68203"
+ y="256.47446"
+ id="text7931-0-7-1"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan7933-2-1-5"
+ x="92.68203"
+ y="256.47446">(a) wasStartedBy-ordering</tspan></text>
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6949-9-7-5-8-2-7"
+ d="m 330.64733,24.656525 c 0,216.772235 0,216.303025 0,216.303025"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="409.86017"
+ y="78.711411"
+ id="text3211-3-0-3-2-9"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ x="409.86017"
+ y="78.711411"
+ id="tspan7516-3-9">invalidation</tspan><tspan
+ id="tspan3350"
+ sodipodi:role="line"
+ x="409.86017"
+ y="92.711411"> of e</tspan></text>
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ sodipodi:type="star"
+ style="fill:url(#linearGradient3724);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path3209-5-81-0-4-6"
+ sodipodi:sides="3"
+ sodipodi:cx="120.80072"
+ sodipodi:cy="116.88141"
+ sodipodi:r1="23.193739"
+ sodipodi:r2="11.596869"
+ sodipodi:arg1="0"
+ sodipodi:arg2="1.0471976"
+ inkscape:flatsided="true"
+ inkscape:rounded="0"
+ inkscape:randomized="0"
+ d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ transform="matrix(1,0,0,0.68177752,135.91756,144.70051)" />
+ <g
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="g2917-0-4-2-8-0"
+ transform="matrix(0.6,0,0,0.6,261.46788,-1.787392)">
+ <text
+ sodipodi:linespacing="100%"
+ id="text2835-5-7-4-0-5-9"
+ y="303.30817"
+ x="391.29538"
+ style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"><tspan
+ id="tspan2915-3-5-5-72-4"
+ sodipodi:role="line"
+ x="391.29538"
+ y="303.30817">a<tspan
+ style="font-size:23.33333397px"
+ id="tspan7508-1-5" /></tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text2841-4-8-9-8-4-4"
+ y="303.74017"
+ x="409.47354"
+ style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"><tspan
+ style="font-size:18px"
+ y="303.74017"
+ x="409.47354"
+ id="tspan2843-8-72-0-4-1-6"
+ sodipodi:role="line" /></text>
+ </g>
+ </g>
<path
- transform="matrix(1,0,0,0.68177752,135.91756,144.70051)"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
+ d="m 584.87926,23.784256 c 0,216.772244 0,216.303034 0,216.303034"
+ id="path6949-5-1-9-0-1"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
+ d="m 471.65127,25.784256 c 0,216.772244 0,216.303034 0,216.303034"
+ id="path6949-9-7-5-8-2-75"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <path
+ sodipodi:nodetypes="cc"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.99999992, 1.99999997;stroke-dashoffset:0;marker-end:url(#marker8943)"
+ d="m 454.72489,41.794546 c 281.79834,0 282.22718,0.0075 282.22718,0.0075"
+ id="path6941-1-8-3-7-3"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <text
+ xml:space="preserve"
+ style="font-size:8.39999962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="435.36279"
+ y="38.463097"
+ id="text6943-33-9-9-6-7"
+ sodipodi:linespacing="100%"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ style="font-size:9.60000038px"
+ sodipodi:role="line"
+ id="tspan6945-9-8-0-8-9"
+ x="435.36279"
+ y="38.463097">Event line</tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text3211-3-0-3-2-8"
+ y="116.93665"
+ x="471.73645"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ y="116.93665"
+ x="471.73645"
+ id="tspan3213-2-4-5-6-6"
+ sodipodi:role="line">generation</tspan><tspan
+ id="tspan7516-3-7"
+ y="130.93665"
+ x="471.73645"
+ sodipodi:role="line"> of e</tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text3215-4-8-5-0-0"
+ y="138.64082"
+ x="624.41888"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ y="138.64082"
+ x="624.41888"
+ id="tspan3217-8-7-5-4-4"
+ sodipodi:role="line">end of of a</tspan></text>
+ <path
+ transform="matrix(1,0,0,0.68177752,405.57801,145.82825)"
d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
inkscape:randomized="0"
inkscape:rounded="0"
@@ -1498,12 +1876,369 @@
sodipodi:cy="116.88141"
sodipodi:cx="120.80072"
sodipodi:sides="3"
- id="path3209-5-81-0-4-6"
- style="fill:url(#linearGradient3724);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path3209-5-81-0-4-8"
+ style="fill:url(#linearGradient7925-8);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
sodipodi:type="star"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
+ <path
+ sodipodi:nodetypes="cc"
+ style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000003;stroke-dashoffset:0;marker-end:none"
+ d="m 443.59103,225.51287 c 314.55894,0 315.03764,0.005 315.03764,0.005"
+ id="path6941-7-3-5-0-3-4"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <path
+ inkscape:connector-type="polyline"
+ id="path5224-3-9-8"
+ d="M 584.40973,157.85322 507.12576,88.964549"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-92)"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <text
+ sodipodi:linespacing="100%"
+ id="text7931-0-7-1-1"
+ y="257.6022"
+ x="479.99786"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ y="257.6022"
+ x="479.99786"
+ id="tspan7933-2-1-5-6"
+ sodipodi:role="line">(b) wasEndedBy-ordering</tspan></text>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0"
+ d="m 697.96317,25.784264 c 0,216.772236 0,216.303026 0,216.303026"
+ id="path6949-9-7-5-8-2-7-8"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <text
+ sodipodi:linespacing="100%"
+ id="text3211-3-0-3-2-9-5"
+ y="79.839149"
+ x="693.17603"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ id="tspan7516-3-9-2"
+ y="79.839149"
+ x="693.17603"
+ sodipodi:role="line">invalidation</tspan><tspan
+ y="93.839149"
+ x="693.17603"
+ sodipodi:role="line"
+ id="tspan3350-1"> of e</tspan></text>
+ <path
+ transform="matrix(1,0,0,0.68177752,523.2334,145.82825)"
+ d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ inkscape:randomized="0"
+ inkscape:rounded="0"
+ inkscape:flatsided="true"
+ sodipodi:arg2="1.0471976"
+ sodipodi:arg1="0"
+ sodipodi:r2="11.596869"
+ sodipodi:r1="23.193739"
+ sodipodi:cy="116.88141"
+ sodipodi:cx="120.80072"
+ sodipodi:sides="3"
+ id="path3209-5-81-0-4-6-9"
+ style="fill:url(#linearGradient3194);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ sodipodi:type="star"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <g
+ transform="translate(386.07033,0)"
+ id="g3538-3">
+ <path
+ id="path6949-5-1-9-1-1"
+ d="m 306.73878,285.15871 c 0,216.77224 0,216.30303 0,216.30303"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
+ <text
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="304.51953"
+ y="378.18613"
+ id="text3215-4-8-5-7-5"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan3217-8-7-5-5-8"
+ x="307.66406"
+ y="378.18613">invalidation </tspan><tspan
+ sodipodi:role="line"
+ x="304.51953"
+ y="392.18613"
+ id="tspan3780">of e</tspan></text>
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6949-5-1-9-0-7-1"
+ d="m 197.56342,285.09843 c 0,190.64125 0,190.2286 0,190.2286"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000002, 2.00000002;stroke-dashoffset:0" />
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6949-9-7-5-8-2-1-3"
+ d="m 84.335433,287.15871 c 0,216.77224 0,216.30303 0,216.30303"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
+ <g
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="g2917-0-4-2-8-9-9"
+ transform="matrix(0.6,0,0,0.6,-11.202017,259.17583)">
+ <text
+ sodipodi:linespacing="100%"
+ id="text2841-4-8-9-8-4-3-4"
+ y="303.74017"
+ x="409.47354"
+ style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"><tspan
+ style="font-size:18px"
+ y="303.74017"
+ x="409.47354"
+ id="tspan2843-8-72-0-4-1-3-9"
+ sodipodi:role="line" /></text>
+ </g>
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6941-1-8-3-7-7-6"
+ d="m 56.27519,303.169 c 320.00791,0 320.4949,0.007 320.4949,0.007"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.99999992, 1.99999997;stroke-dashoffset:0;marker-end:url(#marker8943)"
+ sodipodi:nodetypes="cc" />
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ sodipodi:linespacing="100%"
+ id="text6943-33-9-9-6-9-7"
+ y="299.83755"
+ x="48.046959"
+ style="font-size:8.39999962px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"><tspan
+ y="299.83755"
+ x="48.046959"
+ id="tspan6945-9-8-0-8-8-2"
+ sodipodi:role="line"
+ style="font-size:9.60000038px">Event line</tspan></text>
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="90.420624"
+ y="378.3111"
+ id="text3211-3-0-3-2-6-1"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan3213-2-4-5-6-7-0"
+ x="90.420624"
+ y="378.3111">generation</tspan><tspan
+ sodipodi:role="line"
+ x="90.420624"
+ y="392.3111"
+ id="tspan7516-3-0-1"> of ag</tspan></text>
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="200.0116"
+ y="327.44241"
+ id="text3215-4-8-5-0-4-3"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan3217-8-7-5-4-8-7"
+ x="200.0116"
+ y="327.44241">generation</tspan><tspan
+ sodipodi:role="line"
+ x="200.0116"
+ y="341.44241"
+ id="tspan3778">of e</tspan></text>
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ sodipodi:type="star"
+ style="fill:url(#linearGradient7925-1-3);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path3209-5-81-0-4-4-7"
+ sodipodi:sides="3"
+ sodipodi:cx="120.80072"
+ sodipodi:cy="116.88141"
+ sodipodi:r1="23.193739"
+ sodipodi:r2="11.596869"
+ sodipodi:arg1="0"
+ sodipodi:arg2="1.0471976"
+ inkscape:flatsided="true"
+ inkscape:rounded="0"
+ inkscape:randomized="0"
+ d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ transform="matrix(1,0,0,0.68177752,18.262173,407.2027)" />
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6941-7-3-5-0-3-8-6"
+ d="m 56.275194,486.88732 c 309.109936,0 309.580336,0.005 309.580336,0.005"
+ style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000001;stroke-dashoffset:0;marker-end:none"
+ sodipodi:nodetypes="cc" />
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="92.68203"
+ y="518.97662"
+ id="text7931-0-7-1-6-3"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan7933-2-1-5-8-9"
+ x="92.68203"
+ y="518.97662">(d) wasAttributedTo-ordering</tspan></text>
+ <path
+ transform="translate(248.10261,302.31927)"
+ d="m -135.30371,12.24785 16.94749,12.31307 -6.47337,19.922964 -20.94824,0 -6.47337,-19.922965 16.94749,-12.313069 z"
+ inkscape:randomized="0"
+ inkscape:rounded="0"
+ inkscape:flatsided="true"
+ sodipodi:arg2="-0.94247775"
+ sodipodi:arg1="-1.5707963"
+ sodipodi:r2="13.314233"
+ sodipodi:r1="17.819641"
+ sodipodi:cy="30.067492"
+ sodipodi:cx="-135.30371"
+ sodipodi:sides="5"
+ id="path3274-5-1"
+ style="fill:#e88a49;fill-opacity:0.20171652;stroke:#b75912;stroke-width:3;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ sodipodi:type="star" />
+ <text
+ sodipodi:linespacing="100%"
+ id="text2835-5-7-4-0-5-2-2-0"
+ y="337.84442"
+ x="100.94657"
+ style="font-size:21.60000038px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ xml:space="preserve"><tspan
+ id="tspan2915-3-5-5-72-9-1-4"
+ sodipodi:role="line"
+ x="100.94657"
+ y="337.84442">ag<tspan
+ style="font-size:14px"
+ id="tspan7508-1-6-9-1" /></tspan></text>
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6949-9-7-5-8-2-7-9-1"
+ d="m 330.64733,287.0884 c 0,186.28606 0,185.88284 0,185.88284"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.00000001, 2.00000001;stroke-dashoffset:0" />
+ <text
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ xml:space="preserve"
+ style="font-size:14px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:end;line-height:100%;writing-mode:lr-tb;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="327.86017"
+ y="347.21359"
+ id="text3211-3-0-3-2-9-6-8"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ x="327.86017"
+ y="347.21359"
+ id="tspan7516-3-9-0-6">invalidation</tspan><tspan
+ id="tspan3350-6-4"
+ sodipodi:role="line"
+ x="327.86017"
+ y="361.21359"> of ag</tspan></text>
+ <path
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#marker8943-92-22)"
+ d="M 252.12674,414.95086 126.6091,338.54882"
+ id="path3747-3"
+ inkscape:connector-type="polyline" />
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ sodipodi:type="star"
+ style="fill:url(#linearGradient5253-3);fill-opacity:1;stroke:#b75912;stroke-width:1.21109629;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path3209-5-81-0-4-4-3-4"
+ sodipodi:sides="3"
+ sodipodi:cx="120.80072"
+ sodipodi:cy="116.88141"
+ sodipodi:r1="23.193739"
+ sodipodi:r2="11.596869"
+ sodipodi:arg1="0"
+ sodipodi:arg2="1.0471976"
+ inkscape:flatsided="true"
+ inkscape:rounded="0"
+ inkscape:randomized="0"
+ d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 34.79061,20.086368 z"
+ transform="matrix(1,0,0,0.68177752,131.1346,393.29995)" />
+ <path
+ inkscape:export-ydpi="79.550438"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ id="path6941-7-3-5-0-3-8-4-7"
+ d="m 57.147618,472.98457 c 309.109942,0 309.580342,0.005 309.580342,0.005"
+ style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.00000001, 3.00000001;stroke-dashoffset:0;marker-end:none"
+ sodipodi:nodetypes="cc" />
+ </g>
+ <g
+ id="g3054-7-8"
+ transform="translate(526.35499,615.28562)">
+ <path
+ sodipodi:type="arc"
+ style="fill:#ffccaa;fill-opacity:1;stroke:#f40000;stroke-width:4.89559841;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ id="path2816-5-4-1-8-0-5-6-9"
+ sodipodi:cx="93.832016"
+ sodipodi:cy="294.48819"
+ sodipodi:rx="31.75853"
+ sodipodi:ry="31.75853"
+ d="m 125.59055,294.48819 c 0,17.53975 -14.21878,31.75853 -31.758534,31.75853 -17.539752,0 -31.75853,-14.21878 -31.75853,-31.75853 0,-17.53975 14.218778,-31.75853 31.75853,-31.75853 17.539754,0 31.758534,14.21878 31.758534,31.75853 z"
+ transform="matrix(0.38810374,0,0,0.38810374,72.545646,-301.79919)" />
+ <g
+ transform="matrix(0.38810374,0,0,0.38810374,69.73654,-296.37911)"
+ id="g2845-6-0-6-8-7-4-2-5">
+ <text
+ xml:space="preserve"
+ style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="91.530045"
+ y="289.34262"
+ id="text2835-6-4-3-2-3-1-7-0"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2837-3-0-4-5-6-7-1-2"
+ x="91.530045"
+ y="289.34262">e</tspan></text>
+ <text
+ xml:space="preserve"
+ style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Utopia;-inkscape-font-specification:Utopia"
+ x="107.70822"
+ y="289.77463"
+ id="text2841-1-3-0-7-6-2-5-7"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2843-2-5-4-2-9-2-8-2"
+ x="107.70822"
+ y="289.77463"
+ style="font-size:18px" /></text>
+ </g>
+ </g>
</g>
</g>
</svg>
--- a/model/prov-dm-constraints.html Mon Apr 02 12:22:08 2012 +0100
+++ b/model/prov-dm-constraints.html Mon Apr 02 13:34:49 2012 +0100
@@ -577,7 +577,7 @@
<div class="interpretation-forward">
-For the interpretation of an entity, see <a href="#generation-precedes-invalidation">generation-precedes-invalidation</a>.
+For the interpretation of an entity, see <a href="#usage-precedes-invalidation">usage-precedes-invalidation</a>.
</div>
@@ -1145,7 +1145,7 @@
</div>
-<p>In some cases, there may be a requirement for two different descriptions of a same entity to be included in a same account. To satisfy the constraint <a href="#unique-description-in-account">unique-description-in-account</a>, we can adopt a different identifier for one of them, and relate the two descriptions with the <span class="name">alternateOf</span> relation. </p>
+<p>In some cases, there may be a requirement for two different descriptions of a same entity to be included in a same account. To satisfy the constraint <a href="#unique-description-in-account">unique-description-in-account</a>, we can adopt a different identifier for one of them, and relate the two descriptions with the <span class="name">alternateOf</span> relation. </p>0
<div class="anexample" id="merge-with-rename">
<p>We now reconsider the same two descriptions of a same entity, but we change the identifier for one of them:</p>
@@ -1177,7 +1177,7 @@
<p>Given that provenance consists of a description of past entities
and activities, to be meaningful provenance descriptions MUST
-satisfy <em>instantaneous event ordering constraints</em>, which we introduce in
+satisfy <em>ordering constraints</em> between instantaneous events, which we introduce in
this section. For instance, an entity can only be used after it was
generated; hence, we say that an entity's <a title="entity generation
event">generation event</a> precedes any of this
@@ -1189,14 +1189,14 @@
<p>PROV-DM also allows for time observations to be inserted in
-specific provenance descriptions, for each of the four kinds
+specific provenance descriptions, for each of the five kinds
of <a title="event">instantaneous events</a> introduced in this specification. The
presence of a time observation for a given <a>instantaneous event</a> fixes the
mapping of this <a>instantaneous event</a> to the timeline. The presence of time
information in a provenance description instantiates the ordering constraint with
that time information. It is expected that such instantiated
constraint can help corroborate provenance information. We anticipate
-that verification algorithms could be developedm, though this
+that verification algorithms could be developed, though this
verification is outside the scope of this specification.
</p>
@@ -1219,21 +1219,15 @@
</div>
-<div class="note">THis is new</div>
-
-<div class='interpretation' id='generation-precedes-invalidation'>For any entity, the following ordering constraint holds: the <a title="entity generation event">generation</a> of an entity always
-<a>precedes</a> any of its <a title="entity invalidation event">invalidation</a>.
-</div>
-
-
-<p>The mere existence of an activity entails some <a>event</a> ordering in the world, since an <a>activity start event</a> always <a>precedes</a> the corresponding <a>activity end
+
+<p>The mere existence of an activity entails some <a>event</a> ordering, since an <a>activity start event</a> always <a>precedes</a> the corresponding <a>activity end
event</a>. This is
illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (a) and expressed by constraint <a href="#start-precedes-end">start-precedes-end</a>.</p>
<div class='interpretation' id='start-precedes-end'> The following ordering constraint holds for any activity: the
<a title="activity start event">start event</a> <a>precedes</a> the <a title="activity end event">end event</a>.</div>
-<p> A usage and a generation for a given entity implies ordering of <a title="event">events</a> in the world, since the <a title="entity generation
+<p> A usage and a generation for a given entity implies ordering of <a title="event">events</a>, since the <a title="entity generation
event">generation event</a> had to precede the <a title="entity usage event">usage event</a>. This is
illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (b) and expressed by constraint <a href="#generation-precedes-usage">generation-precedes-usage</a>.</p>
@@ -1241,7 +1235,18 @@
<a>precedes</a> any of its <a title="entity usage event">usages</a>.
</div>
-<p>A usage implies ordering of <a title="event">events</a> in the world, since the <a title="entity usage event">usage event</a> had to occur during the associated activity. This is
+
+<p>Invalidation is defined at the event at which an entity ceases to exist as such. All usages of an entity precede its invalidation, which is captured by constraint <a href="#usage-precedes-invalidation">usage-precedes-invalidation</a> (without any explicit graphical representation).</p>
+
+<div class='interpretation' id='usage-precedes-invalidation'>For any entity, the following ordering constraint holds: any <a title="entity usage event">usage</a> of an entity always
+<a>precedes</a> its <a title="entity invalidation event">invalidation</a>.
+</div>
+
+<p>By transitivity with <a href="#generation-precedes-usage">generation-precedes-usage</a>, generation of an entity precedes its invalidation. </p>
+
+
+
+<p>A usage implies ordering of <a title="event">events</a>, since the <a title="entity usage event">usage event</a> had to occur during the associated activity. This is
illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (c) and expressed by constraint <a href="#usage-within-activity">usage-within-activity</a>.</p>
<div class='interpretation' id='usage-within-activity'>Given an activity with identifier <span class="name">a</span>, an entity with identifier <span class="name">e</span>, a set
@@ -1253,7 +1258,7 @@
-<p>A generation implies ordering of <a title="event">events</a> in the world, since the <a title="entity generation event">generation event</a> had to occur during the associated activity. This is
+<p>A generation implies ordering of <a title="event">events</a>, since the <a title="entity generation event">generation event</a> had to occur during the associated activity. This is
illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (d) and expressed by constraint <a href="#generation-within-activity">generation-within-activity</a>.</p>
<div class='interpretation' id='generation-within-activity'>Given an activity with identifier <span class="name">a</span>, an entity with identifier <span class="name">e</span>, a set
@@ -1304,8 +1309,8 @@
which implies ordering ordering between the usage of <span class="name">e1</span> and
generation of <span class="name">e2</span>. </p>
-<p> Information flow ordering between two activities <span class="name">a1</span> and <span class="name">a2</span> also implies ordering of <a
-title="event">events</a> in the world, since some entity must have been generated by the former and used by the later, which implies that the start event of <span class="name">a1</span>
+<p>Communication between two activities <span class="name">a1</span> and <span class="name">a2</span> also implies ordering of <a
+title="event">events</a>, since some entity must have been generated by the former and used by the latter, which implies that the start event of <span class="name">a1</span>
cannot follow the end event of <span class="name">a2</span>. This is
illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (g) and expressed by constraint <a href="#wasInformedBy-ordering">wasInformedBy-ordering</a>.</p>
@@ -1317,8 +1322,8 @@
the activity denoted by <span class="name">a2</span>.
</div>
-<p>Control flow ordering between two activities <span class="name">a1</span> and <span class="name">a2</span> also implies ordering of <a
-title="event">events</a> in the world, since <span class="name">a1</span> must have been active before <span class="name">a2</span> started. This is
+<p>Start of <span class="name">a2</span> by activity <span class="name">a1</span> also implies ordering of <a
+title="event">events</a>, since <span class="name">a1</span> must have been active before <span class="name">a2</span> started. This is
illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (h) and expressed by constraint <a href="#wasStartedBy-ordering">wasStartedBy-ordering</a>.</p>
@@ -1330,10 +1335,6 @@
the activity denoted by <span class="name">a2</span>.
</div>
-<div class='issue'>In the following, we assume that we can talk about the end of an entity (or agent)
-For this, we use the term 'invalidation' This is <a href="http://www.w3.org/2011/prov/track/issues/204">ISSUE-204</a>.
-</div>
-
<p>Further constraints appear in Figure <a href="#constraint-summary2">constraint-summary2</a> and are discussed below.</p>
@@ -1345,24 +1346,36 @@
</div>
-<p>An agent that started an activity must exist when the activity starts.
+<p>A trigger of an activity must exist when the activity starts.
This is
illustrated by Subfigure <a href="#constraint-summary2">constraint-summary2</a> (a) and expressed by constraint <a href="#wasStartedByAgent-ordering">wasStartedByAgent-ordering</a>.</p>
<div class='interpretation' id='wasStartedByAgent-ordering'>
-Given an activity denoted by <span class="name">a</span> and an agent denoted by <span class="name">ag</span>, <span class='conditional'>if</span> <span
-class="name">wasStartedBy(a,ag)</span>
+Given an activity denoted by <span class="name">a</span> and an entity denoted by <span class="name">e</span>, <span class='conditional'>if</span> <span
+class="name">wasStartedBy(a,e)</span>
holds, <span class='conditional'>then</span> the following ordering constraints hold: the
-<a title="activity start event">start</a> event of the activity denoted by <span class="name">a</span> <a>follows</a> the <a title="entity generation event">generation event</a> for agent denoted by <span class="name">ag</span>, and
+<a title="activity start event">start</a> event of the activity denoted by <span class="name">a</span> <a>follows</a> the <a title="entity generation event">generation event</a> for entity <span class="name">e</span>, and
<a>precedes</a> the invalidation event of
-the same agent.
+the same entity.
</div>
-
-<p>An activity that was associated with an agent must have some overlap with the agent. The agent may be generated, or may only become associated with the activity, after its start: so, the agent is required to exist before the activity end. Likewise, the agent may be destructed, or may terminate its association with the activity, before the activity end: hence, the agent invalidation is required to happen after the activity start.
+<p> A similar constraints exists for the trigger of activity end, illustrated by Subfigure <a href="#constraint-summary2">constraint-summary2</a> (b).</p>
+
+
+<div class='interpretation' id='wasEndedByAgent-ordering'>
+Given an activity denoted by <span class="name">a</span> and an entity denoted by <span class="name">e</span>, <span class='conditional'>if</span> <span
+class="name">wasEndedBy(a,e)</span>
+ holds, <span class='conditional'>then</span> the following ordering constraints hold: the
+<a title="activity end event">end</a> event of the activity denoted by <span class="name">a</span> <a>follows</a> the <a title="entity generation event">generation event</a> for entity <span class="name">e</span>, and
+<a>precedes</a> the invalidation event of
+the same entity.
+</div>
+
+
+<p>An activity that was associated with an agent must have some overlap with the agent. The agent may be generated, or may only become associated with the activity, after the activity start: so, the agent is required to exist before the activity end. Likewise, the agent may be destructed, or may terminate its association with the activity, before the activity end: hence, the agent invalidation is required to happen after the activity start.
This is
-illustrated by Subfigure <a href="#constraint-summary2">constraint-summary2</a> (b) and expressed by constraint <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a>.</p>
+illustrated by Subfigure <a href="#constraint-summary2">constraint-summary2</a> (c) and expressed by constraint <a href="#wasAssociatedWith-ordering">wasAssociatedWith-ordering</a>.</p>
<div class='interpretation' id='wasAssociatedWith-ordering'>
@@ -1376,21 +1389,37 @@
<a>precedes</a> the activity <a title="activity end event">end</a> event.
</div>
-<div class='interpretation' id='actedOnBehalfOf-ordering'>
-TODO
+
+<p>An entity that was attributed to an agent must have some overlap with the agent. The agent may be generated, or may only become attributed with the activity, after its generation: so, the agent is required to exist before the entity invalidation. Likewise, the agent may be destructed, or the entity may no longer be attributed to the agent, before the entity invalidation: hence, the agent invalidation is required to happen after the entity generation.
+This is
+illustrated by Subfigure <a href="#constraint-summary2">constraint-summary2</a> (d) and expressed by constraint <a href="#wasAttributedWith-ordering">wasAttributedWith-ordering</a>.</p>
+
+
+
+
+<div class='interpretation' id='wasAttributedWith-ordering'>
+Given an entity denoted by <span class="name">e</span> and an agent denoted by <span class="name">ag</span>, <span class='conditional'>if</span> <span
+class="name">wasAttributedWith(e,ag)</span>
+ holds, <span class='conditional'>then</span> the following ordering constraints hold: the
+<a title="entity generation event">generation</a> event of the entity denoted by <span class="name">e</span>
+precedes the invalidation event of
+the agent denoted by <span class="name">ag</span>, and
+ the <a title="entity generation event">generation event</a> for agent denoted by <span class="name">ag</span>
+<a>precedes</a> the entity <a title="entity invalidation event">invalidation</a> event.
</div>
-
-<div class="issue">
-For completeness, we should define ordering constraint for wasAssociatedWith and actedOnBehalfOf.
-For wasAssociatedWith(a,ag), it feels that ag must have some overlap with a.
-For actedOnBehalfOf(ag1,ag2,a), it seem that ag2 should have existed before the overlap between ag1 and a. This is <a href="http://www.w3.org/2011/prov/track/issues/221">ISSUE-221</a>.
-</div>
-
-
-<div class="issue">
-It is suggested that a stronger name for wasAssociatedWith should be adopted.
-This is <a href="http://www.w3.org/2011/prov/track/issues/182">ISSUE-182</a>.
+<p>Finally, for responsibility, two agents need to have some overlap.</p>
+
+
+<div class='interpretation' id='actedOnBehalfOf-ordering'>
+Given two agents <span class="name">ag1</span> and <span class="name">ag2</span>, <span class='conditional'>if</span> <span
+class="name">actedOnBehalfOf(ag2,ag1)</span>
+ holds, <span class='conditional'>then</span> the following ordering constraints hold: the
+<a title="entity generation event">generation</a> event of the agent denoted by <span class="name">ag2</span>
+precedes the invalidation event of
+agent <span class="name">ag1</span>, and
+ the <a title="entity generation event">generation event</a> for agent denoted by <span class="name">ag1</span>
+<a>precedes</a> <a title="entity invalidation event">invalidation</a> event for <span class="name">ag2</span>.
</div>
</section>