misc
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 09 Mar 2012 09:53:33 +0000
changeset 1838 0b14554a9ed7
parent 1837 d90e06a6458d
child 1839 4b0563e1ed21
misc
model/working-copy/wd5-prov-dm-misc.html
--- a/model/working-copy/wd5-prov-dm-misc.html	Fri Mar 09 09:50:59 2012 +0000
+++ b/model/working-copy/wd5-prov-dm-misc.html	Fri Mar 09 09:53:33 2012 +0000
@@ -206,43 +206,43 @@
 </section>
 
 
-<section id="Proposal 1: On Entity Destruction">
-<h4>Proposal 1: On Entity Destruction</h4>
+<section id="Proposal 1: On Entity Invalidation">
+<h4>Proposal 1: On Entity Invalidation</h4>
 
 <p>
 <b>Context:</b>
 Activities have a start and an end (corresponding to event defined in part II). Entities have a characterization interval, with a generation event marking the interval beginning, but no event marking the interval end.
 </p>
 
-<p>It is proposed to  introduce an explicit event that marks the end of an entity characterization interval. Some suggested that it could be a "destruction" event, others felt the term destruction is too strong, but no alternate term has been proposed so far.</p>
+<p>It is proposed to  introduce an explicit event that marks the end of an entity characterization interval. Some suggested that it could be a "invalidation" event, others felt the term invalidation is too strong, but no alternate term has been proposed so far.</p>
 
 <p id="proposal1"><b>PROPOSED</b>: to introduce a prov-dm concept that marks the end of an entity lifetime. Its name remains to be determined. </p>
 
 <p><em>Suggested names:</em>
 <ul>
-<li> destruction, <li>expiration, <li>final usage, <li>invalidate/invalidation 
+<li> invalidation, <li>expiration, <li>final usage, <li>destruction
 <li> lostFormBy
 </ul>
 
-<p>For now, DESTRUCTION is used as <em>placeholder name</em></p>
+<p>For now, INVALIDATION is used as <em>placeholder name</em></p>
 
 <p><em>The text would include the following.</em></p>
 
 <p>Tentative definition:
-<dfn id="concept-destruction">Destruction</dfn> is the end of an entity's lifetime.  This entity becomes unavailable for usage after destruction. This entity no longer exists after destruction. Any generation or usage of an entity precedes its destruction. 
+<dfn id="concept-invalidation">Invalidation</dfn> is the end of an entity's lifetime.  This entity becomes unavailable for usage after invalidation. This entity no longer exists after invalidation. Any generation or usage of an entity precedes its invalidation. 
 </p>
 
 
 <p>
-<div class="attributes" id="attributes-destruction"><dfn title="dfn-Destruction">Destruction</dfn><span class="withAsn">, written <span class="pnExpression">wasDestroyedBy(id,e,a,t,attrs)</span> in PROV-ASN,</span> has the following components:</p>
+<div class="attributes" id="attributes-invalidation"><dfn title="dfn-Invalidation">Invalidation</dfn><span class="withAsn">, written <span class="pnExpression">wasInvalidatedBy(id,e,a,t,attrs)</span> in PROV-ASN,</span> has the following components:</p>
 <ul>
-<li><span class='attribute'>id</span>:  an OPTIONAL identifier for a destruction;</li> 
+<li><span class='attribute'>id</span>:  an OPTIONAL identifier for a invalidation;</li> 
 <li><span class='attribute'>entity</span>:  an identifier for the destroyed entity; </li>
 <li><span class='attribute'>activity</span>:  an OPTIONAL identifier for the activity that destroys the entity;</li>
 
-<li><span class='attribute'>time</span>: an OPTIONAL "destruction time", the time at which the entity began to be destroyed;</li>
+<li><span class='attribute'>time</span>: an OPTIONAL "invalidation time", the time at which the entity began to be destroyed;</li>
 
-<li><span class='attribute'>attributes</span>:  an OPTIONAL set of attribute-value pairs that describes the modalities of destruction of this entity by this activity.</li>
+<li><span class='attribute'>attributes</span>:  an OPTIONAL set of attribute-value pairs that describes the modalities of invalidation of this entity by this activity.</li>
 </ul></div>
 <p>While each of the components <span class='attribute'>activity</span>, <span class='attribute'>time</span>, and  <span class='attribute'>attributes</span> is OPTIONAL, at least one of them MUST be present.</p>
 
@@ -259,6 +259,7 @@
 
 </section>
 
+<!--
 <section id="Proposal 2: On Entity Time">
 <h4>Proposal 2: On Entity Time</h4>
 
@@ -273,7 +274,7 @@
 
 <p><em>The text would include the following.</em></p>
 
-<p>Revised definition of entity, with optional time information. Name 'destruction' (TBC).</p>
+<p>Revised definition of entity, with optional time information. Name 'invalidation' (TBC).</p>
 
 
 
@@ -281,15 +282,17 @@
 <ul>
 <li><span class='attribute'>id</span>: an identifier for an entity; </li>
 <li><span class='attribute'>generationTime</span>: an OPTIONAL time for the generation time of the entity;</li>
-<li><span class='attribute'>destructionTime</span>: an OPTIONAL time for the destruction time of the entity;</li>
+<li><span class='attribute'>invalidationTime</span>: an OPTIONAL time for the invalidation time of the entity;</li>
 
 <li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs representing this entity's situation in the world.</li>
 </ul></div>
 
 </section>
 
-<section id="Proposal 3: On Activity Start and End">
-<h4>Proposal 3: Activity Start and End without Responsibility</h4>
+-->
+
+<section id="Proposal 2: On Activity Start and End">
+<h4>Proposal 2: Activity Start and End without Responsibility</h4>
 
 <b>Context:</b>
 The motivation for introducing  agents in prov-dm is to denote the agent's responsibility for activities. It is however impossible to describe the start/end of an activity without  introducing agents, and therefore assigning responsibility.
@@ -302,13 +305,13 @@
 
 <span class="glossary" id="glossary-start">  
 <dfn id="concept-start">Start</dfn> is when an activity is deemed to have started.
- The activity did not exist before its start. Any usage, generation, or destruction involving an activity follows its start.
+ The activity did not exist before its start. Any usage, generation, or invalidation involving an activity follows its start.
 </span>
 
 
 <span class="glossary" id="glossary-end">  
 <dfn id="concept-end">End</dfn> is when an activity is deemed to have ended.
- The activity no longer exists after its end. Any usage, generation, or destruction involving an activity precedes its end.
+ The activity no longer exists after its end. Any usage, generation, or invalidation involving an activity precedes its end.
 </span>