--- a/model/images/constraints/ordering-entity.svg Mon Sep 03 16:41:28 2012 +0100
+++ b/model/images/constraints/ordering-entity.svg Mon Sep 03 18:29:49 2012 +0100
@@ -841,15 +841,6 @@
inkscape:vp_y="0 : 1000 : 0"
inkscape:vp_x="0 : 0.5 : 1"
sodipodi:type="inkscape:persp3d" />
- <linearGradient
- inkscape:collect="always"
- xlink:href="#linearGradient4053-6-5-3-7"
- id="linearGradient3269"
- gradientUnits="userSpaceOnUse"
- x1="114.53841"
- y1="108.27257"
- x2="139.6636"
- y2="126.8805" />
<marker
inkscape:stockid="Arrow1Mstart"
orient="auto"
@@ -934,6 +925,29 @@
style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
transform="matrix(-0.4,0,0,-0.4,-4,0)" />
</marker>
+ <linearGradient
+ inkscape:collect="always"
+ xlink:href="#linearGradient4053-6-5-3-7"
+ id="linearGradient3272"
+ gradientUnits="userSpaceOnUse"
+ x1="114.53841"
+ y1="108.27257"
+ x2="139.6636"
+ y2="126.8805" />
+ <marker
+ inkscape:stockid="Arrow1Lend"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="marker8943-3-23"
+ style="overflow:visible">
+ <path
+ inkscape:connector-curvature="0"
+ id="path8945-0-1"
+ 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>
</defs>
<sodipodi:namedview
id="base"
@@ -943,15 +957,15 @@
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="1.8291335"
- inkscape:cx="394.66609"
- inkscape:cy="842.05426"
+ inkscape:cx="297.0789"
+ inkscape:cy="776.44943"
inkscape:document-units="px"
inkscape:current-layer="g8502"
showgrid="false"
inkscape:window-width="1680"
- inkscape:window-height="963"
+ inkscape:window-height="1018"
inkscape:window-x="0"
- inkscape:window-y="27"
+ inkscape:window-y="0"
inkscape:window-maximized="1"
showguides="true"
inkscape:guide-bbox="true" />
@@ -976,23 +990,41 @@
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
<path
+ inkscape:connector-type="polyline"
+ id="path4716-3-9-4"
+ d="M 219.20913,342.04783 155.83185,331.17902"
+ style="fill:none;stroke:#000000;stroke-width:0.73560816px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
+ inkscape:connector-curvature="0"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.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 331.52363,130.6575 c 58.97967,0.19504 58.97967,0.19504 58.97967,0.19504"
id="path3117-7"
- sodipodi:nodetypes="cc" />
+ sodipodi:nodetypes="cc"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.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 112.69132,362.73053 c 57.5382,0.19504 57.5382,0.19504 57.5382,0.19504"
id="path3117-6"
- sodipodi:nodetypes="cc" />
+ sodipodi:nodetypes="cc"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.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 518.27735,358.96626 c 57.5382,0.19504 57.5382,0.19504 57.5382,0.19504"
id="path3117"
- sodipodi:nodetypes="cc" />
+ sodipodi:nodetypes="cc"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
<path
sodipodi:nodetypes="csc"
id="path6912"
@@ -1000,10 +1032,10 @@
style="fill:none;stroke:#000000;stroke-width:0.92256683;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker5757-7)"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png" />
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png" />
<g
id="g5713"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"
transform="translate(-186,0)">
@@ -1148,7 +1180,7 @@
id="path4716-3-9-0"
d="M 528.76661,289.08375 502.77836,248.62831"
style="fill:none;stroke:#000000;stroke-width:0.90879405px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"
inkscape:connector-curvature="0" />
@@ -1156,14 +1188,14 @@
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.99999997, 1.99999997;stroke-dashoffset:0"
d="m 578.408,225.35914 c 0,155.65407 0,155.31715 0,155.31715"
id="path6949-5-9-1-0"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.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:1.99999997, 1.99999997;stroke-dashoffset:0"
d="m 515.85036,225.35914 c 0,155.65407 0,155.31715 0,155.31715"
id="path6949-9-7-2-8-8"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
<path
@@ -1171,7 +1203,7 @@
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
d="m 432.54305,243.26722 c 220.83619,0 221.17226,0.005 221.17226,0.005"
id="path6941-1-1-2-3"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
<text
@@ -1181,7 +1213,7 @@
y="240.03799"
id="text6943-33-6-8-9"
sodipodi:linespacing="100%"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"><tspan
style="font-size:9.60000038px"
@@ -1196,7 +1228,7 @@
x="579.40753"
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/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"><tspan
y="269.29361"
@@ -1216,13 +1248,13 @@
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1, 3;stroke-dashoffset:0;marker-end:none"
d="m 432.54305,359.08777 c 220.83619,0 221.17226,0.005 221.17226,0.005"
id="path6941-7-3-0-9-4"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
<g
transform="translate(54.567271,53.78696)"
id="g5910-6"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
<path
@@ -1281,7 +1313,7 @@
id="path3209-5-8-0-1-9"
style="fill:url(#linearGradient5901-1);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/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
<text
@@ -1291,7 +1323,7 @@
x="515.95068"
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/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"><tspan
id="tspan5700-0-9"
@@ -1311,14 +1343,14 @@
id="path4716-3-7-4-1"
d="M 597.81081,334.0849 569.66664,293.49861"
style="fill:none;stroke:#000000;stroke-width:0.903;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker8943-3);display:inline"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"
inkscape:connector-curvature="0" />
<g
id="g5910-9-3"
transform="translate(129.45902,94.05423)"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
<path
@@ -1366,253 +1398,281 @@
x="270.43887"
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/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"><tspan
y="170.40047"
x="270.43887"
id="tspan7929-4"
sodipodi:role="line">(a) generation-precedes-usage</tspan></text>
+ <path
+ inkscape:connector-type="polyline"
+ id="path4716-3-9"
+ d="m 140.9873,293.14823 -73.106432,-12.497"
+ style="fill:none;stroke:#000000;stroke-width:0.84716803px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
+ inkscape:connector-curvature="0"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.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:1.99999997, 1.99999997;stroke-dashoffset:0"
+ d="m 172.83913,229.00036 c 0,155.65407 0,155.31715 0,155.31715"
+ id="path6949-5-9-1"
+ inkscape:connector-curvature="0"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.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:1.99999997, 1.99999997;stroke-dashoffset:0"
+ d="m 110.28149,229.00036 c 0,155.65407 0,155.31715 0,155.31715"
+ id="path6949-9-7-2-8"
+ inkscape:connector-curvature="0"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.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:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
+ d="m 26.97418,246.90844 c 220.83619,0 221.17226,0.005 221.17226,0.005"
+ id="path6941-1-1-2"
+ inkscape:connector-curvature="0"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.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="18.745949"
+ y="243.67921"
+ id="text6943-33-6-8"
+ sodipodi:linespacing="100%"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ style="font-size:9.60000038px"
+ sodipodi:role="line"
+ id="tspan6945-9-6-5"
+ x="18.745949"
+ y="243.67921">Event line</tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text3215-4-3-9"
+ y="262.66364"
+ x="173.29196"
+ 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-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ y="262.66364"
+ x="173.29196"
+ id="tspan3217-8-3-6"
+ sodipodi:role="line">completed</tspan><tspan
+ id="tspan3226"
+ y="276.66364"
+ x="173.29196"
+ sodipodi:role="line">generation of e2</tspan></text>
+ <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, 3;stroke-dashoffset:0;marker-end:none"
+ d="m 26.97418,362.72899 c 220.83619,0 221.17226,0.005 221.17226,0.005"
+ id="path6941-7-3-0-9"
+ inkscape:connector-curvature="0"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
<g
- id="g3227"
- transform="translate(-11.958076,-191.05566)"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/ordering-entity.png"
+ id="g5910"
+ transform="translate(-424.32996,45.198216)"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">
+ <path
+ transform="matrix(0.38810374,0,0,0.38810374,444.7126,130.55711)"
+ 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"
+ sodipodi:ry="31.75853"
+ sodipodi:rx="31.75853"
+ sodipodi:cy="294.48819"
+ sodipodi:cx="93.832016"
+ id="path2816-5-4-1-8"
+ 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"
+ sodipodi:type="arc" />
<g
- transform="translate(-393.61079,217.30596)"
- inkscape:export-ydpi="79.550438"
- inkscape:export-xdpi="79.550438"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
- id="g6539">
- <path
- inkscape:connector-type="polyline"
- id="path4716-3-9"
- d="M 541.0127,278.84908 493.75431,251.9124"
- style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
- inkscape:connector-curvature="0" />
- <path
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.99999997, 1.99999997;stroke-dashoffset:0"
- d="m 578.408,202.75006 c 0,155.65407 0,155.31715 0,155.31715"
- id="path6949-5-9-1" />
- <path
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:1.99999997, 1.99999997;stroke-dashoffset:0"
- d="m 515.85036,202.75006 c 0,155.65407 0,155.31715 0,155.31715"
- id="path6949-9-7-2-8" />
- <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:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
- d="m 432.54305,220.65814 c 220.83619,0 221.17226,0.005 221.17226,0.005"
- id="path6941-1-1-2" />
- <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="424.31482"
- y="217.42891"
- id="text6943-33-6-8"
- sodipodi:linespacing="100%"><tspan
- style="font-size:9.60000038px"
- sodipodi:role="line"
- id="tspan6945-9-6-5"
- x="424.31482"
- y="217.42891">Event line</tspan></text>
+ id="g2845-6-0-6-8"
+ transform="matrix(0.38810374,0,0,0.38810374,438.62243,135.97719)">
<text
sodipodi:linespacing="100%"
- id="text3215-4-3-9"
- y="282.13611"
- x="579.40753"
- 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"
+ id="text2835-6-4-3-2"
+ y="289.34262"
+ x="91.530045"
+ 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
- y="282.13611"
- x="579.40753"
- id="tspan3217-8-3-6"
- sodipodi:role="line">completed</tspan><tspan
- id="tspan3226"
- y="296.13611"
- x="579.40753"
- sodipodi:role="line">generation of e2</tspan></text>
- <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, 3;stroke-dashoffset:0;marker-end:none"
- d="m 432.54305,336.47869 c 220.83619,0 221.17226,0.005 221.17226,0.005"
- id="path6941-7-3-0-9" />
- <g
- id="g5910">
- <path
- transform="matrix(0.38810374,0,0,0.38810374,444.7126,130.55711)"
- 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"
- sodipodi:ry="31.75853"
- sodipodi:rx="31.75853"
- sodipodi:cy="294.48819"
- sodipodi:cx="93.832016"
- id="path2816-5-4-1-8"
- 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"
- sodipodi:type="arc" />
- <g
- id="g2845-6-0-6-8"
- transform="matrix(0.38810374,0,0,0.38810374,438.62243,135.97719)">
- <text
- sodipodi:linespacing="100%"
- id="text2835-6-4-3-2"
- y="289.34262"
- x="91.530045"
- 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
- y="289.34262"
- x="91.530045"
- id="tspan2837-3-0-4-5"
- sodipodi:role="line">e1<tspan
+ y="289.34262"
+ x="91.530045"
+ id="tspan2837-3-0-4-5"
+ sodipodi:role="line">e1<tspan
id="tspan2839-3-5-00-0"
style="font-size:20px" /></tspan></text>
- <text
- sodipodi:linespacing="100%"
- id="text2841-1-3-0-7"
- y="289.77463"
- x="107.70822"
- 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="289.77463"
- x="107.70822"
- id="tspan2843-2-5-4-2"
- sodipodi:role="line" /></text>
- </g>
- </g>
- <path
- transform="matrix(1,0,0,0.68177752,420.53,256.79407)"
- 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-8-0-1"
- style="fill:url(#linearGradient3269);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" />
<text
sodipodi:linespacing="100%"
- id="text4999-4-1"
- y="283.54642"
- x="445.69424"
- 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"
+ id="text2841-1-3-0-7"
+ y="289.77463"
+ x="107.70822"
+ 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
- id="tspan5700-0"
- y="283.54642"
- x="445.69424"
- sodipodi:role="line">initiated</tspan><tspan
- id="tspan3224"
- y="297.54642"
- x="445.69424"
- sodipodi:role="line">usage of e1</tspan></text>
- <path
- inkscape:connector-type="polyline"
- id="path4716-3-7-4"
- d="M 598.64832,310.27491 561.40859,291.138"
- style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
- inkscape:connector-curvature="0" />
- <g
- id="g5910-9"
- transform="translate(129.45902,71.445153)">
- <path
- transform="matrix(0.38810374,0,0,0.38810374,444.7126,130.55711)"
- 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"
- sodipodi:ry="31.75853"
- sodipodi:rx="31.75853"
- sodipodi:cy="294.48819"
- sodipodi:cx="93.832016"
- id="path2816-5-4-1-8-0"
- 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"
- sodipodi:type="arc" />
- <g
- id="g2845-6-0-6-8-7"
- transform="matrix(0.38810374,0,0,0.38810374,438.62243,135.97719)">
- <text
- sodipodi:linespacing="100%"
- id="text2835-6-4-3-2-3"
- y="289.34262"
- x="91.530045"
- 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
- y="289.34262"
- x="91.530045"
- id="tspan2837-3-0-4-5-6"
- sodipodi:role="line">e2</tspan></text>
- <text
- sodipodi:linespacing="100%"
- id="text2841-1-3-0-7-6"
- y="289.77463"
- x="107.70822"
- 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="289.77463"
- x="107.70822"
- id="tspan2843-2-5-4-2-9"
- sodipodi:role="line" /></text>
- </g>
- </g>
- <rect
- y="265.12067"
- x="526.94922"
- height="37.468384"
- width="37.086308"
- id="rect2923-0-2"
- 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" />
- <g
- transform="matrix(0.6,0,0,0.6,304.51594,107.16196)"
- id="g2917-7-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="391.29538"
- y="303.30817"
- id="text2835-5-3-0"
- sodipodi:linespacing="100%"><tspan
- y="303.30817"
- x="391.29538"
- sodipodi:role="line"
- id="tspan2915-5-80">a</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-4-7"
- sodipodi:linespacing="100%"><tspan
- sodipodi:role="line"
- id="tspan2843-8-7-7"
- x="409.47354"
- y="303.74017"
- style="font-size:18px" /></text>
- </g>
- <path
- sodipodi:nodetypes="csc"
- id="path6036"
- d="m 610.8376,301.54097 c 0,0 4.62756,-30.07913 -27.76534,-50.90314 -31.65359,-20.34872 -90.23738,-11.56889 -90.23738,-11.56889"
- 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(#marker5757)" />
+ style="font-size:18px"
+ y="289.77463"
+ x="107.70822"
+ id="tspan2843-2-5-4-2"
+ sodipodi:role="line" /></text>
</g>
+ </g>
+ <path
+ transform="matrix(1,0,0,0.68177752,14.96113,283.04437)"
+ 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-8-0-1"
+ style="fill:url(#linearGradient3272);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-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <text
+ sodipodi:linespacing="100%"
+ id="text4999-4-1"
+ y="260.04639"
+ x="108.79717"
+ 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-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ id="tspan5700-0"
+ y="260.04639"
+ x="40.672081"
+ sodipodi:role="line">initiated</tspan><tspan
+ id="tspan3224"
+ y="274.04639"
+ x="40.672081"
+ sodipodi:role="line">usage of e1</tspan></text>
+ <g
+ id="g5910-9"
+ transform="translate(-262.44218,100.97569)"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438">
+ <path
+ transform="matrix(0.38810374,0,0,0.38810374,444.7126,130.55711)"
+ 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"
+ sodipodi:ry="31.75853"
+ sodipodi:rx="31.75853"
+ sodipodi:cy="294.48819"
+ sodipodi:cx="93.832016"
+ id="path2816-5-4-1-8-0"
+ 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"
+ sodipodi:type="arc" />
+ <g
+ id="g2845-6-0-6-8-7"
+ transform="matrix(0.38810374,0,0,0.38810374,438.62243,135.97719)">
+ <text
+ sodipodi:linespacing="100%"
+ id="text2835-6-4-3-2-3"
+ y="289.34262"
+ x="91.530045"
+ 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
+ y="289.34262"
+ x="91.530045"
+ id="tspan2837-3-0-4-5-6"
+ sodipodi:role="line">e2</tspan></text>
+ <text
+ sodipodi:linespacing="100%"
+ id="text2841-1-3-0-7-6"
+ y="289.77463"
+ x="107.70822"
+ 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="289.77463"
+ x="107.70822"
+ id="tspan2843-2-5-4-2-9"
+ sodipodi:role="line" /></text>
+ </g>
+ </g>
+ <rect
+ y="291.37097"
+ x="102.16264"
+ height="37.468384"
+ width="85.862053"
+ id="rect2923-0-2"
+ style="fill:#afc6e9;fill-opacity:1;stroke:#001ff4;stroke-width:2.89099574;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <g
+ transform="matrix(0.6,0,0,0.6,-101.05293,133.41226)"
+ id="g2917-7-2"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438">
<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="26.462574"
- y="593.61365"
- id="text7931-9"
- sodipodi:linespacing="100%"
- inkscape:transform-center-x="27.765345"
- inkscape:transform-center-y="6.888"><tspan
+ 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-3-0"
+ sodipodi:linespacing="100%"><tspan
+ y="303.30817"
+ x="391.29538"
sodipodi:role="line"
- x="26.462574"
- y="593.61365"
- id="tspan7985-7">(b) derivation-usage-generation-ordering</tspan></text>
+ id="tspan2915-5-80">a</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-4-7"
+ sodipodi:linespacing="100%"><tspan
+ sodipodi:role="line"
+ id="tspan2843-8-7-7"
+ x="409.47354"
+ y="303.74017"
+ style="font-size:18px" /></text>
</g>
+ <path
+ sodipodi:nodetypes="csc"
+ id="path6036"
+ d="m 206.89063,344.87837 c 0,0 -44.30112,8.35183 -91.67445,-6.59583 -31.505767,-9.94098 -59.290818,-33.11859 -59.290818,-33.11859"
+ style="fill:none;stroke:#000000;stroke-width:0.85906988;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#marker5757)"
+ inkscape:connector-curvature="0"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <text
+ inkscape:transform-center-y="6.888"
+ inkscape:transform-center-x="27.765345"
+ sodipodi:linespacing="100%"
+ id="text7931-9"
+ y="402.55798"
+ x="14.504498"
+ 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-entity.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"><tspan
+ id="tspan7985-7"
+ y="402.55798"
+ x="14.504498"
+ sodipodi:role="line">(b) derivation-usage-generation-ordering</tspan></text>
<text
sodipodi:linespacing="100%"
id="text7931-0-6"
@@ -1620,7 +1680,7 @@
x="401.02457"
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/images/ordering-entity.png"
+ inkscape:export-filename="/home/lavm/luc-svn/papers/prov-wg/hg/model/images/constraints/ordering-entity.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438"><tspan
y="402.55798"