revised definition of end
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Sun, 04 Nov 2012 19:59:34 +0000
changeset 4631 2ccd3eed53ff
parent 4630 38d5d16a9bed
child 4632 1e5d261d1c85
revised definition of end
model/glossary.html
model/glossary.js
--- a/model/glossary.html	Sun Nov 04 13:18:05 2012 +0000
+++ b/model/glossary.html	Sun Nov 04 19:59:34 2012 +0000
@@ -152,15 +152,15 @@
 
 <span class="glossary" id="glossary-start">  
 <dfn id="concept-start">Start</dfn> is when an activity is deemed to have been started by an an entity, known as <dfn id="concept-start-trigger">trigger</dfn>.
- The activity did not exist before its start. Any usage or generation involving an activity follows the activity's start.
+ The activity did not exist before its start. Any usage, generation, or invalidation involving an activity follows the activity's start.
 A start may refer to a trigger entity that set off the activity, or to an activity, known as <dfn id="concept-start-starter">starter</dfn>, that generated the trigger.
 </span>
 
 
 <span class="glossary" id="glossary-end">  
-<dfn id="concept-end">End</dfn> is when an activity is deemed to have ended.
+<dfn id="concept-end">End</dfn> is when an activity is deemed to have been ended by an entity, known as <dfn id="concept-end-trigger">trigger</dfn>.
  The activity no longer exists after its end. Any usage, generation, or invalidation involving an activity precedes the activity's end.
-An end may refer to an entity, known as <dfn id="concept-end-trigger">trigger</dfn>, that terminated the activity, or to an activity, known as <dfn id="concept-end-ender">ender</dfn> that generated the trigger.
+An end may refer to a trigger entity that terminated the activity, or to an activity, known as <dfn id="concept-end-ender">ender</dfn> that generated the trigger.
 </span>
 
 <span class="glossary" id="glossary-attribution">  
--- a/model/glossary.js	Sun Nov 04 13:18:05 2012 +0000
+++ b/model/glossary.js	Sun Nov 04 19:59:34 2012 +0000
@@ -3,7 +3,7 @@
 //  with <script src="glossary.js" class="remove"></script>
 //Insert glossary definitions with the following 
 // <div class="glossary-ref" ref="glossary-generation"></div>
-glossary_hg='http://dvcs.w3.org/hg/prov/file/b6c6896623ec/model/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/38d5d16a9bed/model/glossary.html';
 glossary_string= 
 ' ' + 
 '<html> ' + 
@@ -159,15 +159,15 @@
 ' ' + 
 '<span class="glossary" id="glossary-start">   ' + 
 '<dfn id="concept-start">Start</dfn> is when an activity is deemed to have been started by an an entity, known as <dfn id="concept-start-trigger">trigger</dfn>. ' + 
-' The activity did not exist before its start. Any usage or generation involving an activity follows the activity\'s start. ' + 
+' The activity did not exist before its start. Any usage, generation, or invalidation involving an activity follows the activity\'s start. ' + 
 'A start may refer to a trigger entity that set off the activity, or to an activity, known as <dfn id="concept-start-starter">starter</dfn>, that generated the trigger. ' + 
 '</span> ' + 
 ' ' + 
 ' ' + 
 '<span class="glossary" id="glossary-end">   ' + 
-'<dfn id="concept-end">End</dfn> is when an activity is deemed to have ended. ' + 
+'<dfn id="concept-end">End</dfn> is when an activity is deemed to have been ended by an entity, known as <dfn id="concept-end-trigger">trigger</dfn>. ' + 
 ' The activity no longer exists after its end. Any usage, generation, or invalidation involving an activity precedes the activity\'s end. ' + 
-'An end may refer to an entity, known as <dfn id="concept-end-trigger">trigger</dfn>, that terminated the activity, or to an activity, known as <dfn id="concept-end-ender">ender</dfn> that generated the trigger. ' + 
+'An end may refer to a trigger entity that terminated the activity, or to an activity, known as <dfn id="concept-end-ender">ender</dfn> that generated the trigger. ' + 
 '</span> ' + 
 ' ' + 
 '<span class="glossary" id="glossary-attribution">   ' +