--- a/model/images/constraints/ordering-agents.svg Tue Sep 04 10:03:19 2012 +0200
+++ b/model/images/constraints/ordering-agents.svg Tue Sep 04 12:31:04 2012 +0100
@@ -1285,16 +1285,16 @@
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
- inkscape:zoom="1.290981"
- inkscape:cx="661.6601"
- inkscape:cy="626.11991"
+ inkscape:zoom="1.2133952"
+ inkscape:cx="403.28911"
+ inkscape:cy="744.1264"
inkscape:document-units="px"
inkscape:current-layer="g8502"
showgrid="false"
inkscape:window-width="1680"
- inkscape:window-height="963"
- inkscape:window-x="0"
- inkscape:window-y="27"
+ inkscape:window-height="1017"
+ inkscape:window-x="1680"
+ inkscape:window-y="0"
inkscape:window-maximized="1"
showguides="true"
inkscape:guide-bbox="true"
@@ -1321,31 +1321,34 @@
inkscape:export-ydpi="79.550438">
<path
inkscape:connector-curvature="0"
- style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
- d="m 504.64818,486.68042 c 218.26235,0.17798 218.26235,0.17798 218.26235,0.17798"
+ style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:0.71695977;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
+ d="m 554.11457,486.67355 c 104.15688,0.19172 104.15688,0.19172 104.15688,0.19172"
id="path3117-9-8"
- sodipodi:nodetypes="cc" />
- <path
- inkscape:connector-curvature="0"
- style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
- d="m 617.499,472.98995 c 129.41968,0.19116 129.41968,0.19116 129.41968,0.19116"
- id="path3117-9"
- sodipodi:nodetypes="cc" />
+ sodipodi:nodetypes="cc"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
<path
inkscape:connector-curvature="0"
style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
d="m 165.61318,472.99141 c 128.93297,0.19124 128.93297,0.19124 128.93297,0.19124"
id="path3117"
- sodipodi:nodetypes="cc" />
+ sodipodi:nodetypes="cc"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
<path
inkscape:connector-curvature="0"
style="fill:#b75912;fill-opacity:1;stroke:#b75912;stroke-width:1.00265288;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:url(#Arrow1Mstart);marker-mid:none;marker-end:url(#Arrow1Mend)"
d="m 53.322897,486.91841 c 217.666133,0.1772 217.666133,0.1772 217.666133,0.1772"
id="path3117-2"
- sodipodi:nodetypes="cc" />
+ sodipodi:nodetypes="cc"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
<g
id="g3538"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"
transform="translate(-34,0)">
@@ -1619,279 +1622,195 @@
sodipodi:nodetypes="cc"
inkscape:connector-curvature="0" />
</g>
+ <path
+ inkscape:connector-curvature="0"
+ 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 659.393,289.80634 c 0,216.77224 0,216.30303 0,216.30303"
+ id="path6949-5-1-9-1-1"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <path
+ inkscape:connector-curvature="0"
+ 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 552.40576,287.15871 c 0,216.77224 0,216.30303 0,216.30303"
+ id="path6949-9-7-5-8-2-1-3"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
<g
- transform="translate(418.07033,0)"
- id="g3538-3"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
+ transform="matrix(0.6,0,0,0.6,406.86831,259.17583)"
+ id="g2917-0-4-2-8-9-9"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
- <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"
- inkscape:connector-curvature="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"
- inkscape:connector-curvature="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"
- inkscape:connector-curvature="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"
- inkscape:connector-curvature="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"
- 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: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="79.720406"
- y="384.50793"
- id="text3211-3-0-3-2-6-1"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- x="-21.897062"
- y="384.50793"
- id="tspan7516-3-0-1">generation of ag</tspan><tspan
- sodipodi:role="line"
- x="-21.897062"
- y="398.50793"
- id="tspan4385">or</tspan><tspan
- sodipodi:role="line"
- x="-21.897062"
- y="412.50793"
- id="tspan4387">start or 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"
+ 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-3-4"
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 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"
- inkscape:connector-curvature="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: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"
+ id="tspan2843-8-72-0-4-1-3-9"
+ x="409.47354"
+ y="303.74017"
+ style="font-size:18px" /></text>
+ </g>
+ <path
+ inkscape:connector-curvature="0"
+ 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 474.34552,303.169 c 320.00791,0 320.4949,0.007 320.4949,0.007"
+ id="path6941-1-8-3-7-7-6"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.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="466.11728"
+ y="299.83755"
+ id="text6943-33-9-9-6-9-7"
+ sodipodi:linespacing="100%"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.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-8-2"
+ x="466.11728"
+ y="299.83755">Event line</tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text3211-3-0-3-2-6-1"
+ y="384.50793"
+ x="547.79077"
+ 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/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ id="tspan7516-3-0-1"
+ y="384.50793"
+ x="547.79077"
+ sodipodi:role="line">generation of ag</tspan><tspan
+ id="tspan4385"
+ y="398.50793"
+ x="547.79077"
+ sodipodi:role="line">or</tspan><tspan
+ id="tspan4387"
+ y="412.50793"
+ x="547.79077"
+ sodipodi:role="line">start of ag</tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text3215-4-8-5-0-4-3"
+ y="327.44241"
+ x="668.08191"
+ 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/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ y="327.44241"
+ x="668.08191"
+ id="tspan3217-8-7-5-4-8-7"
+ sodipodi:role="line">generation</tspan><tspan
+ id="tspan3778"
+ y="341.44241"
+ x="668.08191"
+ sodipodi:role="line">of e</tspan></text>
+ <path
+ transform="matrix(1,0,0,0.68177752,486.3325,407.2027)"
+ d="m 143.99446,116.88141 -34.79061,20.08637 0,-40.172738 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-4-7"
+ 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"
+ sodipodi:type="star"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <path
+ inkscape:connector-curvature="0"
+ 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:1.00000000999999994, 3.00000000999999994;stroke-dashoffset:0;marker-end:none"
+ d="m 474.34552,486.88732 c 309.10994,0 309.58034,0.005 309.58034,0.005"
+ id="path6941-7-3-5-0-3-8-6"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <text
+ sodipodi:linespacing="100%"
+ id="text7931-0-7-1-6-3"
+ y="518.97662"
+ x="510.75235"
+ 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/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
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">(b) 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 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"
+ x="510.75235"
+ id="tspan7933-2-1-5-8-9"
+ sodipodi:role="line">(b) wasAttributedTo-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-5-1"
+ 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 z"
+ transform="translate(716.17294,302.31927)"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <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="569.01691"
+ y="337.84442"
+ id="text2835-5-7-4-0-5-2-2-0"
+ sodipodi:linespacing="100%"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
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"
- inkscape:connector-curvature="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: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="310.39178"
- y="343.21359"
- id="text3211-3-0-3-2-9-6-8"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- x="310.39178"
- y="343.21359"
- id="tspan4395">invalidation of ag </tspan><tspan
- sodipodi:role="line"
- x="310.39178"
- y="357.21359"
- id="tspan4399">or</tspan><tspan
- sodipodi:role="line"
- x="310.39178"
- y="371.21359"
- id="tspan4401"> end of ag</tspan><tspan
- sodipodi:role="line"
- x="310.39178"
- y="385.21359"
- id="tspan4391" /><tspan
- sodipodi:role="line"
- x="310.39178"
- y="399.21359"
- id="tspan4393" /></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"
- inkscape:connector-curvature="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"
- 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 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"
- inkscape:connector-curvature="0" />
- </g>
+ x="569.01691"
+ sodipodi:role="line"
+ id="tspan2915-3-5-5-72-9-1-4">ag<tspan
+ id="tspan7508-1-6-9-1"
+ style="font-size:14px" /></tspan></text>
+ <path
+ inkscape:connector-curvature="0"
+ inkscape:connector-type="polyline"
+ id="path3747-3"
+ d="M 720.19707,414.95086 594.67943,338.54882"
+ 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)"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
<g
id="g3054-7-8"
- transform="translate(558.35499,615.28562)"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-agents.png"
+ transform="translate(608.35499,615.28562)"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-agents.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
<path