--- a/model/ProvenanceModel.html Wed Sep 14 11:09:01 2011 +0100
+++ b/model/ProvenanceModel.html Wed Sep 14 11:44:00 2011 +0100
@@ -494,7 +494,7 @@
<h3>Expression</h3>
-<p>PROV-DM consists of a set of constructs to formulate representations of the world and constraints that must be satisfied by them. In PROV-ASN, such representations of the world MUST be conformant with the toplevel production <span class="nonterminal">expression</span> of the grammar. <span class="nonterminal">expression</span>s are grouped in three categories,
+<p>PROV-DM consists of a set of constructs to formulate representations of the world and constraints that must be satisfied by them. In PROV-ASN, such representations of the world MUST be conformant with the toplevel production <span class="nonterminal">expression</span> of the grammar. These <span class="nonterminal">expression</span>s are grouped in three categories:
<span class="nonterminal">elementExpression</span> (see section <a href="expression-element">Element</a>),
<span class="nonterminal">relationExpression</span> (see section <a href="expression-relation">Relation</a>), and
<span class="nonterminal">bundleExpression</span> (see section <a href="expression-bundle">Bundle</a>).
@@ -529,7 +529,7 @@
| <span class="nonterminal">accountExpression</span>
</div>
-<div class='note'>We need to confirm the choice of names for non-terminal. E.g. is it elementExpression? </div>
+
</section>
<section id="expression-element">
@@ -624,7 +624,7 @@
<div class='resolved'>The name <b>entity</b> is used as a replacement for placeholder BOB. This is <a href="http://www.w3.org/2011/prov/track/issues/30">ISSUE-30</a>.</div>
-<div class='issue'>Definition of Entity is confusing, maybe over-complex <a href="http://www.w3.org/2011/prov/track/issues/85">ISSUE-85</a>.</div>
+<div class='pending'>Definition of Entity is confusing, maybe over-complex <a href="http://www.w3.org/2011/prov/track/issues/85">ISSUE-85</a>.</div>
@@ -639,67 +639,49 @@
<p>In PROV-ASN, a process execution expression's text matches the <span class='nonterminal'>processExecutionExpression</span> production of the grammar defined in this specification document.</p>
-<div class='grammar'>
-<span class="nonterminal">processExecutionExpression</span> :=
-<span class="name">processExecution</span>
-<span class="name">(</span>
-<span class="nonterminal">identifier</span>
-<span class="name">,</span>
-<span class="name">[</span>
-<span class="nonterminal">attribute-values</span>
-<span class="name">]</span>
-<span class="name">)</span><br/>
-<!-- -->
-<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>
-<br/>
-<span class="nonterminal">attribute-value</span> :=
-<span class="nonterminal">attribute</span>
-<span class="name">:</span>
-<span class="nonterminal">Literal</span>
-<br/>
-</div>
<div class='grammar'>
<span class="nonterminal">processExecutionExpression</span> :=
<span class="name">processExecution</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
-[<span class="name">,</span>
-<span class="nonterminal">recipe</span>]
-[<span class="name">,</span>
-<span class="nonterminal">time</span>]
-[<span class="name">,</span>
-<span class="nonterminal">time</span>]
+[ <span class="name">,</span>
+<span class="nonterminal">recipe</span> ]
+[ <span class="name">,</span>
+<span class="nonterminal">time</span> ]
+[ <span class="name">,</span>
+<span class="nonterminal">time</span> ]
+<span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
<span class="name">)</span><br/>
</div>
-<div class='note'>Luc to explain attributes for PEs, incl start, end, type, reciple link</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.</p>
-
-<p> An instance of a process execution expression, noted <span class="name">processExecution(id,rl,st,et)</span> in PROV-ASN:
+<div class='note'>Ambiguity of the grammar is noted for optional start and end times. To be resolved once definition of pe is agreed.</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> 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 start time <span class="name">st</sp1an>;
-<li> MAY contain an end time <span class="name">et</span>.
+<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>
</ul>
</p>
<p>
The following process execution assertion
<pre class="example">
-processExecution(pe1,add-crime-in-london,t+1,t+1+epsilon)
+processExecution(pe1,add-crime-in-london,t+1,t+1+epsilon,[host="server.example.com"])
</pre>
-states the existence of an activity, denoted by identifier <span class="name">id</span>, with recipe link <span class="name">add-crime-in-london</span>, start time <span class="name">t+1</span>, and end time <span class="name">t+1+epsilon</span>.
+identified by identifier <span class="name">id</span>, states the existence of an activity with recipe link <span class="name">add-crime-in-london</span>, start time <span class="name">t+1</span>, and end time <span class="name">t+1+epsilon</span>, running on host <span class="name">server.example.com</span>. The attribute <span class="name">host</span> is application specific, but MUST hold for the duration of activity.
</p>
-<p>The mere existence of a process execution assertion entails some event ordering in the world, since the start event preceds the end event. This expressed by constraint <a href="'#start-precedes-end'">start-precedes-end</a>.</p>
+<p>The mere existence of a process execution assertion entails some event ordering in the world, since the start event precedes the end event. This is expressed by constraint <a href="'#start-precedes-end'">start-precedes-end</a>.</p>
<div class='constraint' id='start-precedes-end'><a name="PIL:0001"> From a process execution expression, one can infer that the
-start precedes the end of the represented activity.</a> [<a
+start event precedes the end event of the represented activity.</a> [<a
href="../ontology/ProvenanceFormalModel.html#PIL:0001">PIL:0001</a>] </div>
<p>A process execution expression is not an entity expression.