--- a/model/ProvenanceModel.html Tue Nov 29 13:32:57 2011 +0000
+++ b/model/ProvenanceModel.html Tue Nov 29 13:46:31 2011 +0000
@@ -1191,7 +1191,7 @@
<p>In PROV-DM, a <dfn id="dfn-Generation">generation record</dfn> is a representation of a world <a title="entity generation event">event</a>, the creation of a new entity by an activity. This entity did not exist before creation.
The representation of this <a>event</a> encompasses a description of the modalities of generation of this entity by this activity.</p>
-<p>A generation event may be, for example, the creation of a file by a program, the creation of a linked data set, the production of a new version of a document, and the sending of a value on a communication channel.</p>
+<p>A <a title="entity generation event">generation event</a> may be, for example, the creation of a file by a program, the creation of a linked data set, the production of a new version of a document, and the sending of a value on a communication channel.</p>
<p>A generation record, written <span class="name">wasGeneratedBy(id,e,a,attrs,t)</span> in PROV-ASN, has the following components:</p>
<ul>
@@ -1212,9 +1212,9 @@
<span class="name">(</span>
<span class="optional"> <span class="nonterminal">identifier</span>
<span class="name">,</span> </span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">aIdentifier</span>
<span class="name">,</span>
<span class="nonterminal">attribute-values</span>
<span class="optional"><span class="name">,</span>
@@ -1273,6 +1273,9 @@
<p>In PROV-DM, a <dfn id="dfn-Use">usage record</dfn> is a representation of a world <a title="entity usage event">event</a>: the consumption of an entity by an activity. The representation includes a description of the modalities of usage of this entity by this activity.</p>
+<p>
+A <a title="entity usage event">usage event</a> may be the consumption of a parameter by a procedure, the reading of a value on a port by a service, the reading of a configuration file by a program, or the adding of an ingredient, such as eggs, in a baking activity. Usage may entirely consume an entity (e.g. eggs are not longer available after being added to the mix), or leave it as such, ready for further uses (e.g. a file on a file system can be read indefinitely).</p>
+
<p>A usage record, written <span class="name">used(id,a,e,attrs,t)</span> in PROV-ASN, has the following constituent:</p>
<ul>
@@ -1293,9 +1296,9 @@
<span class="nonterminal">identifier</span>
<span class="name">,</span>
</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">aIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
<span class="nonterminal">attribute-values</span>
<span class="optional">
@@ -1336,13 +1339,13 @@
-<div class='interpretation' id='usage-generation-ordering'>The <a title="entity generation event">generation</a> of an entity always <a>precedes</a> its <a title="entity usage event">use</a>.
+<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>
-<div class='interpretation' id='usage-activity-ordering'>Given an activity record identified by <span class="name">pe</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(pe,e,attrs)</span> or <span class="name">used(pe,e,attrs,t)</span> holds, <span class='conditional'>then</span>
- 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">pe</span> and <a>follows</a> its <a title="activity start event">start</a>.
+<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:
+ 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>
@@ -2326,6 +2329,9 @@
<div class='grammar'>
<span class="nonterminal">identifier</span> := <span class="nonterminal">qualifiedName</span><br/>
+<span class="nonterminal">eIdentifier</span> := <span class="nonterminal">identifier</span> <em>(for an entity)</em><br/>
+<span class="nonterminal">aIdentifier</span> := <span class="nonterminal">identifier</span> <em>(for an activity)</em><br/>
+<span class="nonterminal">agIdentifier</span> := <span class="nonterminal">identifier</span> <em>(for an agent)</em>
</div>
@@ -3153,6 +3159,7 @@
<section class="appendix">
<h2>Changes Since First Public Working Draft</h2>
<ul>
+<li>11/29/11: Introduced typed identifiers to make grammar clearer. </li>
<li>11/29/11: Added section 2.4 on grammar notation. </li>
<li>11/28/11: Changed grammar notation. </li>
<li>11/25/11: Updated examples of section 8. </li>