clarified 'overloading' of wasStartedBy
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 21 Dec 2011 10:36:26 +0000
changeset 1300 e82bc2d0bc3c
parent 1299 8f8764cad3a1
child 1301 1d696f076f51
clarified 'overloading' of wasStartedBy
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Wed Dec 21 10:05:55 2011 +0000
+++ b/model/ProvenanceModel.html	Wed Dec 21 10:36:26 2011 +0000
@@ -3042,6 +3042,8 @@
  and <span class="name">wasStartedBy(a2,e,sAttr)</span> hold.
 </div>
 
+<p>We note that a <a>start record</a> associates an activity with an agent, and is denoted by the name <span class="name">wasStartedBy</span>.  A <a>control ordering record</a> associates an activity with another activity, also denoted by the name <span class="name">wasStartedBy</span>. Effectively, by considering both record types, the relation <span class="name">wasStartedBy</span> has a range formed by the union of agents and activities.</p>
+
 
 <div class="anexample">
 <p>