--- a/model/ProvenanceModel.html Thu Jul 21 09:38:27 2011 +0100
+++ b/model/ProvenanceModel.html Thu Jul 21 10:00:28 2011 +0100
@@ -277,12 +277,12 @@
the world, as perceived by their asserters.</p>
<p>
-In the rest of the document, we are concerned with the representation of such entities, and their situation in the world will be represented using sets of attributes.
+In the rest of the document, we are concerned with the representation of such entities; their situation in the world will be represented using sets of attributes.
</p>
<p>
<div class="example">
-<b>Example</b>: a file at some point during its lifecycle, which includes multiple edits by multiple people, will be reprensented by its location in the file system, a creator, and content.
+<b>Example</b>: a file at some point during its lifecycle, which includes multiple edits by multiple people, can be represented by its location in the file system, a creator, and content.
</div>
</p>
@@ -292,7 +292,7 @@
vocabulary.
These representations are relative to an asserter, and in that sense constitute assertions about
- the world. Different asserters will normally contribute different representations, and no attempt is made to define the notion of consistency of such different sets of assertions. The language provides the means to associate attribution to assertions.
+ the world. Different asserters will normally contribute different representations, and no attempt is made to define a notion of consistency of such different sets of assertions. The language provides the means to associate attribution to assertions.
</p>
@@ -339,10 +339,14 @@
some of the attributes are assigned a value as part of that assertion.
</p>
-<p>A BOB assertion:
+<div class="note"> "some of the attributes are assigned ..." ... I would say "attributes are assigned"
+</div>
+
+
+<p>A BOB assertion, noted <b>bob(id, [ attr: val, ...])</b>:
<ul>
-<li> contains an identifier;</li>
-<li> contains a set of attribute-value pairs.</li>
+<li> contains an identifier <b>id</b>;</li>
+<li> contains a set of attribute-value pairs <b>[ attr: val, ...]</b>.</li>
</ul>
<p>
@@ -367,14 +371,15 @@
<h3>Process Execution</h3>
<p>A <dfn id="dfn-ProcessExecution">process execution</dfn> represents an identifiable activity, which performs a piece of work.</p>
-<p>The activity that a process execution represents has a duration, delimited by its start and its end; hence, it occurs over a continuous time interval. However, the process execution repsenting the activity need not mention time information, nor duration, because they may not be known.</p>
+<p>The activity that a process execution represents has a duration, delimited by its start and its end; hence, it occurs over a continuous time interval. However, the process execution repre
+senting the activity need not mention time information, nor duration, because they may not be known.</p>
-<p> A process execution assertion:
+<p> A process execution assertion, noted <b>processExecution(id,rl,st,et)</b>:
<ul>
-<li> contains an identifier;
-<li> MAY contain a <a href="#concept-RecipeLink">recipe link</a>;
-<li> MAY contain a start time;
-<li> MAY contain an end time.
+<li> contains an identifier <b>id</b>;
+<li> MAY contain a <a href="#concept-RecipeLink">recipe link</a> <b>rl</b>;
+<li> MAY contain a start time <b>st</b>;
+<li> MAY contain an end time <b>et</b>.
</ul>
</p>
@@ -399,12 +404,12 @@
-<p>A Generation assertion:
+<p>A Generation assertion, noted <b>isGeneratedBy(b,pe,r,t)</b>:
<ul>
-<li> refers to a process execution;
-<li> refers to a BOB, which represents the characterized entity that is created;
-<li> contains a <a href="#concept-Role">role</a>;
-<li> MAY contain a "generation time", the time at which the characterized entity was created.</p>
+<li> refers to a BOB <b>b</b>, which represents the characterized entity that is created;
+<li> refers to a process execution <b>pe</b>;
+<li> contains a <a href="#concept-Role">role</a> <b>r</b>;
+<li> MAY contain a "generation time" <b>t</b>, the time at which the characterized entity was created.</p>
</ul>
</p>
@@ -417,7 +422,7 @@
<p>A given BOB can be generated at most by one process execution.</p>
<p>Given an assertion <b>isGeneratedBy(x,pe,r)</b> or <b>isGeneratedBy(x,pe,r,t)</b>, the
-activity denoted by <b>pe</b> and the entities used by <b>pe</b> dermine values of some of <b>x</b>'s characteristics.</p>
+activity denoted by <b>pe</b> and the entities used by <b>pe</b> dermine values of some of <b>x</b>'s attributes.</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 entity denoted by <b>x</b> precedes the end
@@ -433,12 +438,12 @@
<p><dfn id="dfn-Use">Use</dfn> represents the consumption of a characterized entity by an activity.</p>
-<p>A Use assertion:
+<p>A Use assertion, <b>use(pe,b,r,t)</b>:
<ul>
-<li> refers to a process execution;
-<li> refers to a BOB, representing the characterized entity that is used;
-<li> contains a <a href="#concept-Role">role</a>;
-<li> MAY contain a "use time", the time at which the characterized entity was used.</p>
+<li> refers to a process execution <b>pe</b>;
+<li> refers to a BOB <b>b</b>, representing the characterized entity that is used;
+<li> contains a <a href="#concept-Role">role</a> <b>r</b>;
+<li> MAY contain a "use time" <b>t</b>, the time at which the characterized entity was used.</p>
</ul>
</p>
@@ -477,10 +482,10 @@
<p><dfn id="dfn-Derivation">Derivation</dfn> expresses that some characterized entity is transformed from, created from, or affected by another characterized entity. </p>
-<p>A Derivation assertion:
+<p>A Derivation assertion, <b>isDerivedFrom(b1,b2)</b>:
<ul>
-<li> refers to a BOB, denoting the generated characterized entity;
-<li> refers to a BOB, denoting the used characterized entity.
+<li> refers to a BOB <b>b1</b>, denoting the generated characterized entity;
+<li> refers to a BOB <b>b2</b>, denoting the used characterized entity.
</ul>
</p>