--- a/model/ProvenanceModel.html Thu Aug 04 11:54:00 2011 +0100
+++ b/model/ProvenanceModel.html Thu Aug 04 13:38:07 2011 +0100
@@ -453,7 +453,7 @@
</p>
<p>A process execution is not an entity, because ... </p>
-<div class='note'>Formulate justification. We shouldn't adopt FRBR definitions. </div>
+<div class='note'>Formulate justification. Should we or or not adopt FRBR definitions? </div>
@@ -487,13 +487,18 @@
</pre>
</p>
-<p>A given entity can be generated at most by one process execution.</p>
+<p>A given entity can be generated at most by one process execution.
+The rationale for this constraint is as follows.
+If two process executions sequentially set different values to some attribute by means of two different generate events, then they generate distinct entities. Alternatively, for two process executions to generate an entity simultaneously, they would require some synchronization by which they agree the entity is released for use; the end of this synchronization would constitute the actual generation of the entity, but is performed by a single process execution. </p>
+</p>
<p>Given a process execution <b>pe</b>, entity <b>e</b>, role <b>r</b>, and optional time <b>t</b>,
if the assertion <b>isGeneratedBy(e,pe,r)</b>
-or <b>isGeneratedBy(e,pe,r,t)</b> holds, the values of some of <b>e</b>'s
+or <b>isGeneratedBy(e,pe,r,t)</b> holds, the values of <em>some</em> of <b>e</b>'s
attributes are determined by the activity denoted by <b>pe</b> and the
-entities used by <b>pe</b>.</p>
+entities used by <b>pe</b>.
+Only some of the attributes values may be determined since, in an open world, not all used entities may have been asserted.
+</p>
<p>Given an assertion <b>isGeneratedBy(x,pe,r)</b> or <b>isGeneratedBy(x,pe,r,t)</b>, one can
infer that the generation of the thing denoted by <b>x</b> precedes the end
@@ -503,7 +508,12 @@
<div class='pending'>Need to say identifiable activity. This is <a href="http://www.w3.org/2011/prov/track/issues/39">ISSUE-39</a>. The qualifier 'identifiable' is said to be implicit in section 4. </div>
-<div class='issue'> Comments on generation <a href="http://www.w3.org/2011/prov/track/issues/59">ISSUE-59</a>.</div>
+<div class='pending'> Comments on generation <a href="http://www.w3.org/2011/prov/track/issues/59">ISSUE-59</a>.</div>
+
+<div class='pending'> Added justification for generation by a single process <a href="http://www.w3.org/2011/prov/track/issues/67">ISSUE-67</a>.</div>
+
+
+
</section>