--- a/model/ProvenanceModel.html Mon Dec 12 17:03:34 2011 -0500
+++ b/model/ProvenanceModel.html Mon Dec 12 22:34:10 2011 +0000
@@ -430,7 +430,6 @@
timeline. It can also help with the verification of associated
temporal constraints (though, again, this verification is outside the
scope of this specfication).
-
</p>
@@ -3164,81 +3163,146 @@
<section id="interpretation">
<h2>PROV-DM Interpretation</h2>
-<div class="note">
-Work in progress: we are consolidating here all interpretation constraints. Need to recap some of the overview material about events. </div>
+<p>Section <a href="#section-time-event">section-time-event</a>
+introduced a notion of <a title="event">instantaneous event</a>
+marking changes in the world, in its activities and entities. PROV-DM
+identifies four kinds of events, namely <a>entity generation
+event</a>, <a>entity usage event</a>, <a>activity start event</a>
+and <a>activity end event</a>. PROV-DM adopts Lamport's clock
+assumptions [[CLOCK]] in the form of a partial order <a>follows</a>
+(and its inverse <a>precedes</a>) between events. Furthermore,
+PROV-DM assumes the existence of a mapping from events to time clocks,
+though the actual mapping is not in scope of this specification.</p>
+
+<p>Given that provenance records offer a description of past entities
+and activities, to be meaningful provenance records MUST
+satisfy <em>event ordering constraints</em>, 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
+entity's <a title="entity usage event">usage event</a>. Should this
+ordering constraint be proven invalid, the associated generation and
+usage records could not be credible. The rest of this section defines
+the <dfn>temporal interpretation</dfn> of provenance records as the
+set of event ordering constraints associated with provenance
+records. </p>
+
+
+<p>PROV-DM also allows for time observations to be inserted in
+specific provenance records, for each of the four kinds
+of <a title="event">events</a> introduced in this specification. The
+presence of a time observation for a given <a>event</a> fixes the
+mapping of this <a>event</a> to the timeline. The presence of time
+information in a provenance 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 developed though this
+verification is outside the scope of this specfication.
+</p>
+
+<p>The following figure summarizes the ordering constraints in a
+graphical manner. For each subfigure, an event time line points to the
+right. Activities are represented by rectangles, whereas entities are
+represented by circles. Usage, generation and derivation records are
+represented by the corresponding edges between entities and
+activities. The four kind of events are represented by vertical
+dotted lines (adjacent to the vertical sides of an activity's
+rectangle, or intersecting usage and generation edges). The ordering
+constraints are represented by triangles.</p>
<div style="text-align: center;">
<img src="constraints.png" alt="constraints between events" />
+<figcaption id="constraint-summary">Summary of event ordering constraints</figcaption>
</div>
-<p>The mere existence of an activity assertion 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 event</a>. This is expressed by constraint <a href="#start-precedes-end">start-precedes-end</a>.</p>
-
-<div class='interpretation' id='start-precedes-end'> The following temporal constraint holds for any activity record: the
+<p>The mere existence of an activity assertion 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 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 record: the
<a title="activity start event">start event</a> <a>precedes</a> the <a title="activity end event">end event</a>.</div>
-<p>The assertion of a generation record implies ordering of <a title="event">events</a> in the world.</p>
-
-<div class='interpretation' id='generation-activity-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,a,attrs)</span> or <span class="name">wasGeneratedBy(x,a,attrs,t)</span> holds, <span class='conditional'>then</span> the following temporal constraint also holds: the <a title="entity generation event">generation</a> of the entity denoted by <span class="name">x</span> <a>precedes</a> the <a title="activity end event">end</a>
+<p>The assertion of a generation record implies ordering of <a title="event">events</a> in the world, since the corresponding event 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="#generation-activity-ordering">generation-activity-ordering</a>.</p>
+
+<div class='interpretation' id='generation-activity-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,a,attrs)</span> or <span class="name">wasGeneratedBy(x,a,attrs,t)</span> holds, <span class='conditional'>then</span> the following ordering constraint also holds: the <a title="entity generation event">generation</a> of the entity denoted by <span class="name">x</span> <a>precedes</a> the <a title="activity end event">end</a>
of <span class="name">a</span> and <a>follows</a> the <a title="activity start event">start</a> of <span class="name">a</span>.
</div>
-<p>The assertion of a usage record implies ordering of <a title="event">events</a> in the world.</p>
-
-<div class='interpretation' id='usage-generation-ordering'>For any entity, the following temporal constraint holds: the <a title="entity generation event">generation</a> of an entity always <a>precedes</a> any of its <a title="entity usage event">usages</a>.
-</div>
-
+
+<p>The assertion of a usage record implies ordering of <a title="event">events</a> in the world, since the corresponding event had to occur during the associated activity. This is
+illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (e) and expressed by constraint <a href="#usage-activity-ordering">usage-activity-ordering</a>.</p>
<div class='interpretation' id='usage-activity-ordering'>Given an activity record identified by <span class="name">a</span>, an entity record identified by <span class="name">e</span>, a set of attribute-value pairs <span class="name">attrs</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
- assertion <span class="name">used(a,e,attrs)</span> or <span class="name">used(a,e,attrs,t)</span> holds, <span class='conditional'>then</span> the following temporal constraint holds:
+ assertion <span class="name">used(a,e,attrs)</span> or <span class="name">used(a,e,attrs,t)</span> holds, <span class='conditional'>then</span> the following ordering constraint holds:
the <a title="entity usage event">usage</a> of the entity represented by entity record identified by <span class="name">e</span> <a>precedes</a> the <a title="activity end event">end</a> of activity represented by record identified by <span class="name">a</span> and <a>follows</a> its <a title="activity start event">start</a>.
</div>
-
-<p>
+<p>Furthemore, assertion of a usage record and a generation record for a given entity implies ordering of <a title="event">events</a> in the world, 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="#usage-generation-ordering">usage-generation-ordering</a>.</p>
+
+<div class='interpretation' id='usage-generation-ordering'>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 usage event">usages</a>.
+</div>
+
+
<p>If a derivation record holds for <span class="name">e2</span> and <span class="name">e1</span>, then
-this means that the entity represented by entity record identified by <span class="name">e1</span> has an influence on the entity represented entity record identified by <span class="name">e2</span>,
- which at the minimum implies temporal ordering, specified as follows.
-First, we consider one-activity derivations.</p>
+this means that the entity <span class="name">e1</span> had some form of influence on the entity <span class="name">e2</span>; for this to be possible, some event ordering must be satisfied.
+First, we consider one-activity derivations. In that case, the <a title="entity usage event">usage</a> of <span class="name">e1</span> has to precede the <a title="entity generation event">generation</a> of <span class="name">e2</span>.
+This is
+illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (d) and expressed by constraint <a href="#derivation-usage-generation-ordering">derivation-usage-generation-ordering</a>.</p>
+
<div class='interpretation' id='derivation-usage-generation-ordering'>Given an activity record identified by <span class="name">a</span>, entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, generation record identified by <span class="name">g2</span>, and usage record identified by <span class="name">u1</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,a,g2,u1,attrs)</span>
or <span class="name">wasDerivedFrom(e2,e1,[prov:steps="1"] ∪ attrs)</span> holds, <span class='conditional'>then</span>
-the following temporal constraint holds:
+the following ordering constraint holds:
the <a title="entity usage event">usage</a>
of entity denoted by <span class="name">e1</span> <a>precedes</a> the <a title="entity generation event">generation</a> of
the entity denoted by <span class="name">e2</span>.
</div>
-<p>Then, imprecise-n derivations.</p>
+<p>For imprecise-n derivations, a similar constraint exists, but in this case, no usage record can be inferred for <span class="name">e1</span>. Instead, the constraint refers to its generation event, as
+illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (f) and expressed by constraint <a href="#derivation-generation-generation-ordering">derivation-generation-generation-ordering</a>.</p>
<div class='interpretation' id='derivation-generation-generation-ordering'>
Given two entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,[prov:steps="n"] ∪ attrs)</span>
- holds, <span class='conditional'>then</span> the following temporal constraint holds:
+ holds, <span class='conditional'>then</span> the following ordering constraint holds:
the <a title="entity generation event">generation event</a> of the entity denoted by <span class="name">e1</span> <a>precedes</a> the <a title="entity generation event">generation event</a> of
the entity denoted by <span class="name">e2</span>.
</div>
-<p>Note that temporal ordering is between generations of <span class="name">e1</span>
+<p>Note that event ordering is between generations of <span class="name">e1</span>
and <span class="name">e2</span>, as opposed to precise-1 derivation,
-which implies temporal ordering between the usage of <span class="name">e1</span> and
+which implies ordering ordering between the usage of <span class="name">e1</span> and
generation of <span class="name">e2</span>. Indeed, in the case of
imprecise-n derivation, nothing is known about the usage of <span class="name">e1</span>,
since there is no associated activity.</p>
+<p>The assertion of an information flow ordering record between two activities of <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> 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>
+
<div class='interpretation' id='wasInformedBy-ordering'>
Given two activity records denoted by <span class="name">a1</span> and <span class="name">a2</span>, <span class='conditional'>if</span> the record <span class="name">wasInformedBy(a2,a1)</span>
- holds, <span class='conditional'>then</span> the following temporal constraint holds:
+ holds, <span class='conditional'>then</span> the following ordering constraint holds:
the <a title="activity start event">start event</a> of the activity record denoted by <span class="name">a1</span> <a>precedes</a> the <a title="activity end event">end event</a> of
the activity record denoted by <span class="name">a2</span>.
</div>
+<p>The assertion of a control flow ordering record between two activities of <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
+illustrated by Subfigure <a href="#constraint-summary">constraint-summary</a> (h) and expressed by constraint <a href="#wasStartedBy-ordering">wasStartedBy-ordering</a>.</p>
+
+
<div class='interpretation' id='wasStartedBy-ordering'>
Given two activity records denoted by <span class="name">a1</span> and <span class="name">a2</span>, <span class='conditional'>if</span> the record <span class="name">wasStartedBy(a2,a1)</span>
- holds, <span class='conditional'>then</span> the following temporal constraint holds: the
+ holds, <span class='conditional'>then</span> the following ordering constraint holds: the
<a title="activity start event">start</a> event of the activity record denoted by <span class="name">a1</span> <a>precedes</a> the <a title="activity start event">start event</a> of
the activity record denoted by <span class="name">a2</span>.
</div>
+<div class="note">
+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.
+</div>
</section>
@@ -3371,6 +3435,7 @@
<section class="appendix">
<h2>Changes Since Second Public Working Draft</h2>
<ul>
+<li>12/12/11: Section 7 on interpretation. </li>
<li>12/08/11: Restructuring of Constraints. </li>
</ul>
</section>
--- a/model/constraints.svg Mon Dec 12 17:03:34 2011 -0500
+++ b/model/constraints.svg Mon Dec 12 22:34:10 2011 +0000
@@ -951,14 +951,14 @@
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
- inkscape:zoom="0.86438687"
- inkscape:cx="288.91309"
- inkscape:cy="382.23343"
+ inkscape:zoom="0.71458288"
+ inkscape:cx="372.04724"
+ inkscape:cy="526.18109"
inkscape:document-units="px"
inkscape:current-layer="g8502"
showgrid="false"
inkscape:window-width="1280"
- inkscape:window-height="960"
+ inkscape:window-height="1003"
inkscape:window-x="0"
inkscape:window-y="0"
inkscape:window-maximized="1"
@@ -972,7 +972,7 @@
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
- <dc:title />
+ <dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
@@ -987,10 +987,15 @@
<path
sodipodi:nodetypes="csc"
id="path6912"
- d="m 603.89627,538.70329 c 0,0 -13.67005,11.81395 -38.17735,-8.09823 -18.51024,-15.03956 -28.92224,-32.3929 -28.92224,-32.3929"
- style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:none;marker-end:url(#marker5757-7)" />
+ d="m 603.93499,539.09188 c 0,0 -12.93587,10.62589 -36.12693,-7.28384 -17.5161,-13.52713 -27.3689,-29.13535 -27.3689,-29.13535"
+ 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" />
<g
- id="g5585">
+ id="g5585"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438">
<path
id="path6949"
d="m 205.48904,21.15029 c 0,139.42782 0,139.12603 0,139.12603"
@@ -1096,7 +1101,10 @@
</g>
<g
transform="translate(0,-32)"
- id="g5005">
+ id="g5005"
+ 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:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
d="M 178.66438,327.24598 116.84854,302.129"
@@ -1285,7 +1293,10 @@
id="tspan5003">of e</tspan></text>
</g>
<g
- id="g6677">
+ id="g6677"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438">
<path
id="path6949-5-1"
d="m 205.48904,417.35914 c 0,164.59929 0,164.24301 0,164.24301"
@@ -1300,10 +1311,10 @@
width="109.65764"
height="37.468384"
x="95.381401"
- y="488.19647" />
+ y="494.19647" />
<g
id="g2917-0-4"
- transform="matrix(0.6,0,0,0.6,-101.83402,328.59318)">
+ transform="matrix(0.6,0,0,0.6,-101.83402,334.59318)">
<text
sodipodi:linespacing="100%"
id="text2835-5-7-4"
@@ -1365,24 +1376,24 @@
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="37.824203"
- y="462.19104"
+ y="516.19104"
id="text3211-3-0"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan3213-2-4"
x="37.824203"
- y="462.19104">start of a</tspan></text>
+ y="516.19104">start of a</tspan></text>
<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="207.77724"
- y="462.19104"
+ y="516.19104"
id="text3215-4-8"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan3217-8-7"
x="207.77724"
- y="462.19104">end of a</tspan></text>
+ y="516.19104">end of a</tspan></text>
<path
id="path6941-7-3-5"
d="m 39.624091,553.08776 c 220.836189,0 221.172259,0.005 221.172259,0.005"
@@ -1390,7 +1401,7 @@
sodipodi:nodetypes="cc" />
<g
id="g4705-1"
- transform="matrix(0.85747563,0,0,0.85747563,-268.50872,225.13319)">
+ transform="matrix(0.85747563,0,0,0.85747563,-268.50872,231.13319)">
<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"
@@ -1454,26 +1465,33 @@
<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="153.95467"
- y="456.95712"
+ x="149.95467"
+ y="452.95712"
id="text4999-5"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan5001-9"
- x="153.95467"
- y="456.95712">usage</tspan><tspan
+ x="149.95467"
+ y="452.95712">initiated</tspan><tspan
sodipodi:role="line"
- x="153.95467"
- y="470.95712"
+ x="149.95467"
+ y="466.95712"
+ id="tspan3228">usage</tspan><tspan
+ sodipodi:role="line"
+ x="149.95467"
+ y="480.95712"
id="tspan5003-8">of e</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-end:url(#marker8943-92)"
- d="M 178.46189,488.64502 133.97882,463.49088"
+ 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 178.46189,494.64502 133.97882,469.49088"
id="path5224"
inkscape:connector-type="polyline" />
</g>
<g
- id="g5713">
+ id="g5713"
+ 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:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
d="M 541.0127,73.249296 493.75431,46.312625"
@@ -1508,13 +1526,17 @@
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="583.40753"
- y="90.536339"
+ y="74.536339"
id="text3215-4-3"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan3217-8-3"
x="583.40753"
- y="90.536339">usage of e</tspan></text>
+ y="74.536339">initiated</tspan><tspan
+ sodipodi:role="line"
+ x="583.40753"
+ y="88.536339"
+ id="tspan3222">usage of e</tspan></text>
<path
id="path6941-7-3-0"
d="m 432.54305,130.87891 c 220.83619,0 221.17226,0.005 221.17226,0.005"
@@ -1589,7 +1611,11 @@
sodipodi:role="line"
x="443.69424"
y="77.94664"
- id="tspan5003-9">generation</tspan><tspan
+ id="tspan5003-9">completed</tspan><tspan
+ sodipodi:role="line"
+ x="443.69424"
+ y="77.94664"
+ id="tspan3220">generation</tspan><tspan
sodipodi:role="line"
x="443.69424"
y="91.94664"
@@ -1601,7 +1627,10 @@
inkscape:connector-type="polyline" />
</g>
<g
- id="g6539">
+ id="g6539"
+ 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:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
d="M 541.0127,278.84908 493.75431,251.9124"
@@ -1635,14 +1664,18 @@
<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="583.40753"
- y="296.13611"
+ x="579.40753"
+ y="282.13611"
id="text3215-4-3-9"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
id="tspan3217-8-3-6"
- x="583.40753"
- y="296.13611">generation of e2</tspan></text>
+ x="579.40753"
+ y="282.13611">completed</tspan><tspan
+ sodipodi:role="line"
+ x="579.40753"
+ y="296.13611"
+ id="tspan3226">generation of e2</tspan></text>
<path
id="path6941-7-3-0-9"
d="m 432.54305,336.47869 c 220.83619,0 221.17226,0.005 221.17226,0.005"
@@ -1709,14 +1742,18 @@
<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="443.69424"
+ x="445.69424"
y="283.54642"
id="text4999-4-1"
sodipodi:linespacing="100%"><tspan
sodipodi:role="line"
- x="443.69424"
+ x="445.69424"
y="283.54642"
- id="tspan5700-0">usage of e1</tspan></text>
+ id="tspan5700-0">initiated</tspan><tspan
+ sodipodi:role="line"
+ x="445.69424"
+ y="297.54642"
+ id="tspan3224">usage of e1</tspan></text>
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline"
d="M 598.64832,310.27491 561.40859,291.138"
@@ -1806,28 +1843,43 @@
<path
inkscape:connector-type="polyline"
id="path4716-3-9-0"
- d="M 529.13003,476.94793 481.87164,450.01125"
- style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline" />
+ d="M 528.76661,481.08375 502.77836,440.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/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:1.99999997, 1.99999997;stroke-dashoffset:0"
d="m 578.408,417.35914 c 0,155.65407 0,155.31715 0,155.31715"
- id="path6949-5-9-1-0" />
+ id="path6949-5-9-1-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:1.99999997, 1.99999997;stroke-dashoffset:0"
d="m 515.85036,417.35914 c 0,155.65407 0,155.31715 0,155.31715"
- id="path6949-9-7-2-8-8" />
+ id="path6949-9-7-2-8-8"
+ 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:4, 2;stroke-dashoffset:0;marker-end:url(#marker8943)"
d="m 432.54305,435.26722 c 220.83619,0 221.17226,0.005 221.17226,0.005"
- id="path6941-1-1-2-3" />
+ id="path6941-1-1-2-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="424.31482"
y="432.03799"
id="text6943-33-6-8-9"
- sodipodi:linespacing="100%"><tspan
+ 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-6-5-3"
@@ -1836,26 +1888,39 @@
<text
sodipodi:linespacing="100%"
id="text3215-4-3-9-3"
- y="493.29361"
- x="583.40753"
+ y="461.29361"
+ 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"><tspan
- y="493.29361"
- x="583.40753"
+ 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="461.29361"
+ x="579.40753"
id="tspan3217-8-3-6-8"
- sodipodi:role="line">generation</tspan><tspan
+ sodipodi:role="line">completed</tspan><tspan
+ y="475.29361"
+ x="579.40753"
+ sodipodi:role="line"
+ id="tspan3230">generation</tspan><tspan
id="tspan7150"
- y="507.29361"
- x="583.40753"
+ y="489.29361"
+ x="579.40753"
sodipodi:role="line">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,551.08777 c 220.83619,0 221.17226,0.005 221.17226,0.005"
- id="path6941-7-3-0-9-4" />
+ id="path6941-7-3-0-9-4"
+ 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(60.158249,240.06065)"
- id="g5910-6">
+ transform="translate(54.567271,245.78696)"
+ id="g5910-6"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.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"
@@ -1911,30 +1976,46 @@
sodipodi:sides="3"
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" />
+ 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" />
<text
sodipodi:linespacing="100%"
id="text4999-4-1-3"
- y="483.11594"
- x="511.95071"
+ y="479.11594"
+ 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"><tspan
+ 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="tspan5700-0-9"
- y="483.11594"
- x="511.95071"
- sodipodi:role="line">generation</tspan><tspan
+ y="479.11594"
+ x="515.95068"
+ sodipodi:role="line">completed</tspan><tspan
+ y="493.11594"
+ x="515.95068"
+ sodipodi:role="line"
+ id="tspan3232">generation</tspan><tspan
id="tspan6910"
- y="497.11594"
- x="511.95071"
+ y="507.11594"
+ x="515.95068"
sodipodi:role="line"> of e1</tspan></text>
<path
inkscape:connector-type="polyline"
id="path4716-3-7-4-1"
- d="M 598.66981,524.84206 561.3871,505.78901"
- style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline" />
+ d="M 597.81081,526.0849 569.66664,485.49861"
+ style="fill:none;stroke:#000000;stroke-width:0.903;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker8943-3);display:inline;stroke-miterlimit:4;stroke-dasharray:none"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
<g
id="g5910-9-3"
- transform="translate(129.45902,286.05423)">
+ transform="translate(129.45902,286.05423)"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.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"
@@ -1974,7 +2055,10 @@
</g>
</g>
<g
- id="g7680">
+ id="g7680"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438">
<path
id="path6949-5-1-9"
d="m 227.46994,625.37304 c 0,216.77224 0,216.30303 0,216.30303"
@@ -2180,21 +2264,33 @@
<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 573.40706,625.37304 c 0,216.77224 0,216.30303 0,216.30303"
- id="path6949-5-1-9-0" />
+ 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 440.17907,625.37304 c 0,216.77224 0,216.30303 0,216.30303"
- id="path6949-9-7-5-8-2" />
+ 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="758.99347"
x="573.85706"
height="37.468384"
width="109.65764"
id="rect2923-2-5-8-4"
- 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" />
+ 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,364.64162,599.39016)"
- id="g2917-0-4-2-8">
+ 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"
@@ -2225,14 +2321,20 @@
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.11883,643.2811 c 220.83619,0 221.17226,0.005 221.17226,0.005"
- id="path6941-1-8-3-7" />
+ 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="423.89059"
y="640.05188"
id="text6943-33-9-9-6"
- sodipodi:linespacing="100%"><tspan
+ 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"
@@ -2244,7 +2346,10 @@
y="741.08624"
x="405.69138"
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"><tspan
+ 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="741.08624"
x="405.69138"
id="tspan3213-2-4-5-6"
@@ -2259,7 +2364,10 @@
y="726.04669"
x="620.22107"
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"><tspan
+ 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="726.04669"
x="620.22107"
id="tspan3217-8-7-5-4"
@@ -2279,15 +2387,24 @@
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" />
+ 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, 3;stroke-dashoffset:0;marker-end:none"
d="m 432.11883,827.10165 c 220.83619,0 221.17226,0.005 221.17226,0.005"
- id="path6941-7-3-5-0-3" />
+ 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" />
<g
transform="matrix(0.85747563,0,0,0.85747563,125.96692,495.93017)"
- id="g4705-1-4-6">
+ id="g4705-1-4-6"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/path6912.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438">
<path
transform="matrix(0.45261198,0,0,0.45261198,411.38959,140.44702)"
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"
@@ -2332,22 +2449,34 @@
inkscape:connector-type="polyline"
id="path5224-3-9"
d="M 572.93753,759.442 528.45446,734.28786"
- 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)" />
+ 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" />
<rect
y="661.10962"
x="440.62909"
height="37.468384"
width="109.65764"
id="rect2923-2-5-8-1-0"
- 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" />
+ 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" />
<path
inkscape:connector-type="polyline"
id="path5224-3-4-3"
d="M 503.75946,721.736 467.37461,700.05253"
- 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)" />
+ 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" />
<g
transform="matrix(0.6,0,0,0.6,247.73237,504.78134)"
- id="g2917-0-4-2-5-3">
+ id="g2917-0-4-2-5-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: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"
@@ -2380,7 +2509,10 @@
y="170.40047"
x="80.611183"
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"><tspan
+ 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="170.40047"
x="80.611183"
id="tspan7929"
@@ -2391,7 +2523,10 @@
y="376.30768"
x="50.433823"
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"><tspan
+ 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="tspan7985"
y="376.30768"
x="50.433823"
@@ -2402,7 +2537,10 @@
y="594.55798"
x="58.549366"
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"><tspan
+ 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="594.55798"
x="58.549366"
id="tspan7933-2"
@@ -2413,11 +2551,14 @@
y="170.40047"
x="456.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"><tspan
+ 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="170.40047"
x="456.43887"
id="tspan7929-4"
- sodipodi:role="line">(b) generation-precedes-end</tspan></text>
+ sodipodi:role="line">(b) generation-precedes-usage</tspan></text>
<text
inkscape:transform-center-y="6.888"
inkscape:transform-center-x="27.765345"
@@ -2426,7 +2567,10 @@
y="376.30768"
x="420.07336"
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"><tspan
+ 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="tspan7985-7"
y="376.30768"
x="420.07336"
@@ -2437,7 +2581,10 @@
y="594.55798"
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"><tspan
+ 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="594.55798"
x="401.02457"
id="tspan7933-2-0"
@@ -2448,7 +2595,10 @@
y="859.19098"
x="46.271523"
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"><tspan
+ 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="859.19098"
x="46.271523"
id="tspan7933-2-1"
@@ -2459,11 +2609,14 @@
y="859.19098"
x="468.52567"
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"><tspan
+ 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="859.19098"
x="468.52567"
id="tspan7933-2-1-5"
- sodipodi:role="line">(h) wasInformedBy-ordering</tspan></text>
+ sodipodi:role="line">(h) wasStartedBy-ordering</tspan></text>
</g>
</g>
</svg>