edited example with wasStartedBy
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 08 Dec 2011 11:03:23 +0000
changeset 1193 464377ca2a37
parent 1192 ce62739717ad
child 1194 d7c05dff7113
edited example with wasStartedBy
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Thu Dec 08 10:57:07 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Dec 08 11:03:23 2011 +0000
@@ -2873,21 +2873,20 @@
 
 <div class="anexample">
 <p>
-In the following assertions, we find two activity records, identified by <span class="name">a1</span> and <span class="name">a2</span>, representing two activities, which took place on two separate hosts.</p>
+In the following assertions, we find two activity records, identified by <span class="name">a1</span> and <span class="name">a2</span>, representing two activities, which took place on two separate hosts. The third record indicates that the latter activity was started by the former.</p>
 <pre class="codeexample">
 activity(a1,workflow,t1,t2,[ex:host="server1.example.org"])
 activity(a2,sub-workflow,t3,t4,[ex:host="server2.example.org"])
 wasStartedBy(a2,a1)
-
-entity(e,[prov:type="spawn-request"])
-wasGeneratedBy(e,a2)
+</pre>
+
+<p>Alternatively, we could have asserted the existence of an entity, representing a request to create a sub-workflow. This request, issued by <span class="name">a1</span>, triggered the start of <span class="name">a2</span>.
+</p>
+<pre class="codeexample">
+entity(e,[prov:type="creation-request"])
+wasGeneratedBy(e,a1)
 wasStartedBy(a2,e)
 </pre>
-<p>The one identified by <span class="name">a2</span> was started 
-by the one identified by <span class="name">a1</span>
-because the scheduler terminated the activity (represented by activity identified by <span class="name">a1</span>) to relocate it
-to the new host.
-</p>
 </div>
 
 <div class='interpretation' id='wasStartedBy-ordering'>