--- a/model/ProvenanceModel.html Sun Nov 06 17:10:06 2011 -0500
+++ b/model/ProvenanceModel.html Mon Nov 07 08:24:46 2011 +0000
@@ -649,7 +649,7 @@
<br/>
<span class="nonterminal">elementExpression</span> :=
<span class="nonterminal">entityExpression</span>
-| <span class="nonterminal">processExecutionExecution</span>
+| <span class="nonterminal">processExecutionExpression</span>
| <span class="nonterminal">agentExpression</span>
| <span class="nonterminal">annotationExpression</span> <br/>
<!-- -->
@@ -772,7 +772,7 @@
<section id="expression-ProcessExecution">
<h3>Process Execution Expression</h3>
-<p>In PROV-DM, a <dfn id="dfn-ProcessExecution">process execution expression</dfn> is a representation an identifiable activity, which performs a piece of work.</p>
+<p>In PROV-DM, a <dfn id="dfn-ProcessExecution">process execution expression</dfn> is a representation of an identifiable activity, which performs a piece of work.</p>
<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>
@@ -921,7 +921,7 @@
<p>
The following annotation expression</p>
<pre class="example">
-annotation(ann1,[color="bue", screenX=20, screenY=30])
+annotation(ann1,[color="blue", screenX=20, screenY=30])
</pre>
<p>consists of a list of application-specific name-value pairs, intended
to help the rendering of the expression it is associated with, by
@@ -1313,8 +1313,7 @@
the former, we can infer the latter.</p>
<div class='constraint' id='derivation-linked-independent'>
Given two entity expressions denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasDerivedFrom(e2,e1)</span> or <span class="name">wasDerivedFrom(e2,e1,pe,q12,q1)</span>
- holds, <span class='conditional'>then</span> the
- the expression <span class="name">wasEventuallyDerivedFrom(e2,e1)</span> also holds.
+ holds, <span class='conditional'>then</span> the expression <span class="name">wasEventuallyDerivedFrom(e2,e1)</span> also holds.
</div>
<p>Hence, a process-execution independent derivation expression can be directly asserted or can be inferred (by means of <a href="#derivation-linked-independent">derivation-linked-independent</a>).</p>
@@ -2415,7 +2414,7 @@
<div class='grammar'>
<span class="nonterminal">attributionExpression</span> :=
-<span class="name">wasAttributeTo</span>
+<span class="name">wasAttributedTo</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
<span class="name">,</span>
@@ -2433,7 +2432,7 @@
<div class='constraint' id='attribution-implication'>
<span class='conditional'>If</span>
-<span class="name">wasAttributeTo(e,ag)</span> holds for some identifiers
+<span class="name">wasAttributedTo(e,ag)</span> holds for some identifiers
<span class="name">e</span> and <span class="name">ag</span>,
<span class='conditional'>then</span> there exists a process execution identified by <span class="name">pe</span> such that the following statements hold:
<pre>
@@ -2451,7 +2450,7 @@
-<p> A quotation exression is a representation of the repeating or copying of some part of a characterized thing, compatible with
+<p> A quotation expression is a representation of the repeating or copying of some part of a characterized thing, compatible with
the <span class="nonterminal">quotationExpression</span> production.</p>
<div class='grammar'>
@@ -2484,8 +2483,8 @@
<span class='conditional'>then</span> the following expressions hold:
<pre>
wasEventuallyDerivedDerivedFrom(e2,e1)
-wasAttributeTo(e2,ag2)
-wasAttributeTo(e1,ag1)
+wasAttributedTo(e2,ag2)
+wasAttributedTo(e1,ag1)
</pre>
</div>