--- a/model/ProvenanceModel.html Mon Sep 19 10:01:31 2011 +0100
+++ b/model/ProvenanceModel.html Mon Sep 19 10:16:20 2011 +0100
@@ -611,7 +611,7 @@
<!-- -->
<span class="nonterminal">attribute-values</span> :=
<span class="nonterminal">attribute-value</span>
-|<span class="nonterminal">attribute-value</span> <span class="name">,</span> <span class="nonterminal">attribute-values</span>
+| <span class="nonterminal">attribute-value</span> <span class="name">,</span> <span class="nonterminal">attribute-values</span>
<br/>
<span class="nonterminal">attribute-value</span> :=
<span class="nonterminal">attribute</span>
@@ -645,11 +645,11 @@
Further considerations:
<ul>
-<li>If an asserter wishes to characterize a thing with same attribute-value pairs over several intervals, then they are required to assert multiple entity expressions, each with its own identifier. </li>
+<li>If an asserter wishes to characterize a thing with the same attribute-value pairs over several intervals, then they are required to assert multiple entity expressions, each with its own identifier (so as to allow potential dependencies between the various entity expressions to be expressed). </li>
<li>There is no assumption that the set of attributes is complete and that the attributes are independent/orthogonal of each other.</li>
-<li>A characterization interval may collapse into a single instant</li>
+<li>A characterization interval may collapse into a single instant.</li>
<li>An entity assertion
is about a characterized thing, whose situation in the world may be variant.
@@ -666,7 +666,7 @@
<div class='resolved'>Characterized entity may be variant. This is <a href="http://www.w3.org/2011/prov/track/issues/32">ISSUE-32</a></div>
-<div class='issue'>How is domain specific data combined with the provenance model? This is <a href="http://www.w3.org/2011/prov/track/issues/65">ISSUE-65</a>.</div>
+<div class='pending'>How is domain specific data combined with the provenance model? This is <a href="http://www.w3.org/2011/prov/track/issues/65">ISSUE-65</a>.</div>
<div class='resolved'> Comments on bob <a href="http://www.w3.org/2011/prov/track/issues/60">ISSUE-60</a>.</div>
@@ -705,12 +705,14 @@
<span class="nonterminal">other-attribute-values</span> := <span class="nonterminal">attribute-values</span>
</div>
-<p>The activity that a process execution expression is a representation of has a duration, delimited by its start and its end events; hence, it occurs over an interval delimited by two events. However, a process execution expression need not mention time information, nor duration, because they may not be known. Further characteristics of the activity in the world world can be represented by the attribute-value pairs, which remain unchanged during the activity duration.</p>
+<p>The activity that a process execution expression is a representation of has a duration, delimited by its start and its end events; hence, it occurs over an interval delimited by two events. However, a process execution expression need not mention time information, nor duration, because they may not be known.</p>
+
+<p>Such start and end times constitute <em>attributes</em> of an activity, where the meaning of attribute in the context of a process execution expression is similar to the meaning of attribute for entity expression. A process execution expression's attribute remains constant for the duration of the activity it represents. Further characteristics of the activity in the world world can be represented by other attribute-value pairs, which also remain unchanged during the activity duration.</p>
<p> An instance of a process execution expression, noted <span class="name">processExecution(id, rl, st, et, [ attr1=val1, ...])</span> in PROV-ASN:
<ul>
<li> contains an identifier <span class="name">id</span>;
-<li> MAY contain a <a href="#expression-RecipeLink">recipe link</a> <span class="name">rl</span>;
+<li> MAY contain a <a href="#expression-RecipeLink">recipe link</a> <span class="name">rl</span>, which consists of a domain specific description of the activity;
<li> MAY contain a start time <span class="name">st</sp1an>;
<li> MAY contain an end time <span class="name">et</span>;
<li> contains a set of attribute-value pairs <span class="name">[ attr1=val1, ...]</span>, representing other attributes of this activity that hold for its all duration.</li>
@@ -2209,6 +2211,7 @@
</p>
</section>
+ </section>
<section id="extensibility-section">
<h2>PROV-DM Extensibility Points</h2>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/README.txt Mon Sep 19 10:16:20 2011 +0100
@@ -0,0 +1,27 @@
+Changes in version 2011-09-19:
+
+The document underwent substantial reorganization. Section 2,
+preliminaries, now includes key material setting the context for the
+definition of the data model:
+- conceptualization of the world
+- ASN
+- discussion on representation/assertion/inference
+
+The following issues have been addressed in this version of the document
+and have been closed pending review:
+
+- ISSUE-87: section 2.2 now explains the role of PROV-ASN. Its role
+ is now more central in this document (as reflected in the new title).
+
+- ISSUE-86: a high-level overview of the data model is now available
+ in section 3.
+
+- ISSUE-71: multiple comments about the example have now been tackled.
+
+- ISSUE-65: extensibility points are now explicitly discussed in section 6.
+
+- ISSUE-85: the email discussions have indicated where the origin of
+ the confusion arises from. Multiple changes have been introduced to tackle
+ this issue:
+ - preliminaries section: to introduce conceputal model
+ - section 6, PROV DM: refers to 'entity expression'