replaced wasControlledBy
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 17 Nov 2011 12:16:35 +0000
changeset 944 2b07419946a7
parent 943 15e1a04d6b08
child 945 78e903ff0b39
replaced wasControlledBy
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Thu Nov 17 12:10:43 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Nov 17 12:16:35 2011 +0000
@@ -2077,19 +2077,15 @@
 
 
 <p>
-The following control record describes the role of the agent identified by <span class="name">a5</span> in this control relation with activity <span class="name">a4</span>. </p>
+The following start record describes the role of the agent identified by <span class="name">ag</span> in this start relation with activity <span class="name">a</span>. </p>
 <pre class="example">
-          wasControlledBy(a4,a5, [prov:role="communicator"])
+   wasStartedBy(a,ag, [prov:role="program-operator"])
 </pre>
 <p>From this specification's viewpoint, an the interpretation of an attribute declared in a namespace other than prov-dm is out of
 scope.</p>
 
 
 
-<div class='note'>The following text needs to find a home. It is proposed to introduce optional identifiers for relations, and this will be largely redundant.
-</div>
-
-
 
 
 <p> 
@@ -2478,6 +2474,9 @@
 <p>The end in activity record identified by <span class="name">a3</span> precedes the start in activity record identified by <span class="name">a1</span>, while interval for activity record <span class="name">a2</span> overlaps with each interval for <span class="name">a1</span> and <span class="name">a3</span>, allowing information to flow (<span class="name">e1</span> and <span class="name">e2</span>, respectively).</p>
 
 
+<div class="note">
+This relation to be simplified using wasStartedBy/wasEndedBy.
+</div>
 
 <p>
 A control ordering record, written as 
@@ -2615,7 +2614,7 @@
 <pre>
 activity(pe,recipe,t1,t2,attr1)
 wasGenerateBy(e,pe)
-wasControlledBy(pe,ag,attr2)
+wasAssociatedWith(pe,ag,attr2)
 </pre>
 for some sets of attribute-value pairs <span class="name">attr1</span> and  <span class="name">attr2</span>, time <span class="name">t1</span>, and <span class="name">t2</span>.
 </div>