--- a/model/ProvenanceModel.html Fri Aug 26 08:51:53 2011 +0100
+++ b/model/ProvenanceModel.html Fri Aug 26 12:51:39 2011 +0100
@@ -116,6 +116,8 @@
<div class='resolved'>Some comments on the example. This is <a href="http://www.w3.org/2011/prov/track/issues/63">ISSUE-63</a>.</div>
+<div class='issue'>Comments on section 3.2. This is <a href="http://www.w3.org/2011/prov/track/issues/71">ISSUE-71</a></div>
+
<section>
<h3>A File Scenario</h3>
@@ -141,7 +143,7 @@
</p>
<p>Event evt3: Charles emails (pe2) the contents of /share/crime.txt, as an
-attachment, which we refer to as e4.
+attachment, which we refer to as e4. (Our description is not precise about the nature of e4, it could be a copy of the file that is local the mail client, that is uploaded on the mail server, or even in transit to a recipient.)
</p>
<p>
@@ -179,10 +181,10 @@
</p>
-<p>The entities, as characterized, hold during intervals delimited by events. The following table lists all entities and their corresponding validity intervals; evt5 is considered to be the most recent event.
+<p>The entities are characterized by attributes that have given values during intervals delimited by events; such intervals are referred to as <em>characterization intervals</em>. The following table lists all entities and their corresponding characterization intervals; evt5 is considered to be the most recent event.
<blockquote>
<table>
-<tr><td>Entity</td><td>Interval</td></tr>
+<tr><td>Entity</td><td>Characterization Interval</td></tr>
<tr><td>e0</td><td>evt1 - evt5</td></tr>
<tr><td>e1</td><td>evt1 - evt2</td></tr>
<tr><td>e2</td><td>evt2 - evt4</td></tr>
@@ -217,7 +219,7 @@
</p>
<p>
-Generations (construct described in <a href="#concept-Generation">Section Generation</a>): generation is the event at which a file is created in a specific form. To distinguish the various entities generated by a given process execution, a role (construct described in <a href="#concept-Role">Section Role</a>) is introduced. Illustrations of such roles are outFile, outContent, out, attachment.
+Generations (construct described in <a href="#concept-Generation">Section Generation</a>): generation is the event at which a file is created in a specific form. To distinguish the function that the various entities generated by a given process execution have in the context of this process execution, a role (construct described in <a href="#concept-Role">Section Role</a>) is introduced. Illustrations of such roles are outFile, outContent, out, attachment.
<pre>
isGeneratedBy(e0,pe0,outFile)
isGeneratedBy(e1,pe0,outContent)