updated start/end
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 02 Apr 2012 09:56:27 +0100
changeset 2181 717cde12037d
parent 2180 794c2b06456b
child 2182 4043f16103a7
updated start/end
model/prov-dm-constraints.html
--- a/model/prov-dm-constraints.html	Mon Apr 02 09:44:00 2012 +0100
+++ b/model/prov-dm-constraints.html	Mon Apr 02 09:56:27 2012 +0100
@@ -680,9 +680,28 @@
 
 <section id="term-Start">
 <h3>Start</h3>
+
+
+<p>An <a>activity start event</a> is the <a title="event">instantaneous event</a> that marks the instant an activity starts. It allows for an optional time attribute.  Activities also allow for an optional start time attribute.  If both are specified, they MUST be the same, as expressed by the following constraint.
+</p>
+
+<div class='constraint' id='unique-startTime'>
+Given an activity <span class="name">activity(a,t1,t2,attr1)</span> and its start <span class="name">wasStartedBy(id,a,e,t,attrs)</span>,  then <span class="name">t</span>=<span class="name">t1</span>.
+</div> 
 </section> 
+
 <section id="term-End">
 <h3>End</h3>
+
+
+<p>An <a>activity end event</a> is the <a title="event">instantaneous event</a> that marks the instant an activity ends. It allows for an optional time attribute.  Activities also allow for an optional end time attribute.  If both are specified, they MUST be the same, as expressed by the following constraint.
+</p>
+
+<div class='constraint' id='unique-endTime'>
+Given an activity <span class="name">activity(a,t1,t2,attr1)</span> and its end <span class="name">wasEndedBy(id,a,e,t,attrs)</span>,  then <span class="name">t</span>=<span class="name">t2</span>.
+</div> 
+
+
 </section>