--- a/model/ProvenanceModel.html Thu Jul 21 09:40:47 2011 +0100
+++ b/model/ProvenanceModel.html Thu Jul 21 09:51:47 2011 +0100
@@ -147,7 +147,7 @@
<section>
<h3>Encoding in PIL</h3>
<p>
-BOBs
+BOBs:
<pre>
bob(e0, [ type: "File", location: "/shared/crime.txt", creator: "Alice" ])
bob(e1, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "" ])
@@ -158,22 +158,20 @@
</pre>
</p>
-<p><em>what is in PIL, properties, properties and values, none?</em></p>
-
<p>
-<pre>
-e0 holds in interval [t,t+4[
-e1 holds in interval [t,t+1[
-e2 holds in interval [t+1,t+3[
-e3 holds in interval [t+3,t+4[
-e4: the information piped to sendmail at t+2 (that's a copy of e2's content)
-e5: the information piped to sendmail at t+4 (that's a copy of e3's content)
-</pre>
+<table>
+<tr><td>e0:</td><td> holds in interval [t,t+4[</td></tr>
+<tr><td>e1:</td><td> holds in interval [t,t+1[</td></tr>
+<tr><td>e2:</td><td> holds in interval [t+1,t+3[</td></tr>
+<tr><td>e3:</td><td> holds in interval [t+3,t+4[</td></tr>
+<tr><td>e4:</td><td> the information piped to sendmail at t+2 (that's a copy of e2's content)</td></tr>
+<tr><td>e5:</td><td> the information piped to sendmail at t+4 (that's a copy of e3's content)</td></tr>
+</table>
</p>
<p>
-Derivation:
+Derivations:
<pre>
isDerivedFrom(e2,e1)
isDerivedFrom(e3,e2)
@@ -183,7 +181,7 @@
</p>
<p>
-Generation:
+Generations:
<pre>
isGeneratedBy(e2,pe1,out)
isGeneratedBy(e3,pe3,out)
@@ -204,7 +202,7 @@
</p>
<p>
-Process Execution:
+Process Executions:
<pre>
processExecution(pe1,add-crime-in-london,t+1)
processExecution(pe2,copy,t+2)
@@ -225,13 +223,22 @@
<p>
-Agent:
+Agents:
<pre>
-agent(alice)
-agent(bob)
-agent(charles)
-agent(david)
-agent(edith)
+bob(ag_al, [ type: "Person", name: "Alice" ])
+agent(ag_al)
+
+bob(ag_bo, [ type: "Person", name: "Bob" ])
+agent(ag_bo)
+
+bob(ag_ch, [ type: "Person", name: "Charles" ])
+agent(ag_ch)
+
+bob(ag_da, [ type: "Person", name: "David" ])
+agent(ag_da)
+
+bob(ag_ed, [ type: "Person", name: "Edith" ])
+agent(ag_ed)
</pre>
</p>
@@ -239,10 +246,10 @@
<p>
Control:
<pre>
-isControlledBy(pe1,bob,"author")
-isControlledBy(pe2,charles, "communicator")
-isControlledBy(pe3,david,"author")
-isControlledBy(pe4,edith, "communicator")
+isControlledBy(pe1,ag_bo,"author")
+isControlledBy(pe2,ag_ch, "communicator")
+isControlledBy(pe3,ag_da,"author")
+isControlledBy(pe4,ag_ed, "communicator")
</pre>
</p>
</section>
@@ -251,9 +258,10 @@
<section>
<h3>Graphical Illustration</h3>
-<img src="http://dvcs.w3.org/hg/prov/raw-file/ec43f1b5e4c4/model/example-graphical.png" width="50" border="0"/>
-
-
+Provenance assertions as graph:<br/>
+<img src="http://dvcs.w3.org/hg/prov/raw-file/33236ee297d2/model/example-graphical.png"/>
+<p/>
+<img src="http://dvcs.w3.org/hg/prov/raw-file/33236ee297d2/model/timeline.png"/>
</section>