updated agents in example
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 21 Jul 2011 09:38:27 +0100
changeset 20 33236ee297d2
parent 19 6a86ae8f7c00
child 22 bbc44da24cb4
child 24 64973a5b1ca3
updated agents in example
model/ProvenanceModel.html
model/note.txt
--- a/model/ProvenanceModel.html	Thu Jul 21 00:19:29 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Jul 21 09:38:27 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,11 @@
     <section> 
 <h3>Graphical Illustration</h3>
 
-<img src="http://dvcs.w3.org/hg/prov/file/ec43f1b5e4c4/model/example-graphical.pdf"/>
+<img src="example-graphical.png"/>
     </section> 
 
+</section> 
+
 
     <section > 
 <h2>About the Provenance Language</h2>
--- a/model/note.txt	Thu Jul 21 00:19:29 2011 +0100
+++ b/model/note.txt	Thu Jul 21 09:38:27 2011 +0100
@@ -1,4 +1,4 @@
-
+21 July 2011:
 
-
-Process execution:  could be renamed Activity.
+- BOB: we kept it as a placeholder. Name required to make the document readable.
+- Process execution:  could be renamed Activity?