minor updates to 5.3.2.2
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Tue, 29 Nov 2011 15:48:35 +0000
changeset 1098 616f3d3adc49
parent 1097 d3c0b2904f4a
child 1099 4e23a960a66f
minor updates to 5.3.2.2
model/ProvenanceModel.html
--- a/model/ProvenanceModel.html	Tue Nov 29 15:41:55 2011 +0000
+++ b/model/ProvenanceModel.html	Tue Nov 29 15:48:35 2011 +0000
@@ -1426,7 +1426,7 @@
 <h4>Start and End Records</h4>
 
 <p> A <dfn id="dfn-Start">start record</dfn> is a representation of an agent starting an activity.
- An <dfn id="dfn-End">end record</dfn> is a representation of an agent ending an activity. Both relations contains attributes describing the modalities of acting/ending acitivities.</p>
+ An <dfn id="dfn-End">end record</dfn> is a representation of an agent ending an activity. Both relations are specialized forms of <span class="name">wasAssociatedWith</span>. They contain attributes describing the modalities of acting/ending activities.</p>
 
 
 
@@ -1435,7 +1435,7 @@
 <li><em>id</em>:  an OPTIONAL identifier  <span class="name">id</span> identifying the start record;</li> 
 <li><em>activity</em>: an identifier <span class="name">a</span> denoting an activity record, representing the started activity;
 <li><em>agent</em>: an identifier <span class="name">ag</span> for an agent record, representing the starting agent;
-<li><em>attributes</em>: contains a set of attribute-value pairs <span class="name">attrs</span>, describing modalities accorting to which the agent started the activity.
+<li><em>attributes</em>: contains a set of attribute-value pairs <span class="name">attrs</span>, describing modalities according to which the agent started the activity.
 </ul>
 
 <p>An end record, written <span class="name">wasEndedBy(id,a,ag,attrs)</span> in PROV-ASN, contains:</p>
@@ -1443,7 +1443,7 @@
 <li><em>id</em>:  an OPTIONAL identifier  <span class="name">id</span> identifying the end record;</li> 
 <li><em>activity</em>: an identifier <span class="name">a</span> denoting an activity record, representing the ended activity;
 <li><em>agent</em>: an identifier <span class="name">ag</span> for an agent record, representing the ending agent;
-<li><em>attributes</em>: contains a set of attribute-value pairs <span class="name">attrs</span>, describing modalities accorting to which the agent ended the activity.
+<li><em>attributes</em>: contains a set of attribute-value pairs <span class="name">attrs</span>, describing modalities according to which the agent ended the activity.
 </ul>
 
 <p>In PROV-ASN, start and end record's texts match the <span class="nonterminal">startRecord</span> and <span class="nonterminal">endRecord</span> productions of the grammar defined in this specification document.
@@ -1455,16 +1455,16 @@
 <span class="name">wasStartedBy</span>
 <span class="name">(</span>
 <span class="optional"><span class="nonterminal">identifier</span>,</span>
-<span class="nonterminal">identifier</span>,
-<span class="nonterminal">identifier</span>,
+<span class="nonterminal">aIdentifier</span>,
+<span class="nonterminal">agIdentifier</span>,
 <span class="nonterminal">attribute-values</span>
 <span class="name">)</span><br/>
 <span class="nonterminal">endRecord</span>&nbsp;:= 
 <span class="name">wasEndedBy</span>
 <span class="name">(</span>
 <span class="optional"><span class="nonterminal">identifier</span>,</span>
-<span class="nonterminal">identifier</span>,
-<span class="nonterminal">identifier</span>,
+<span class="nonterminal">aIdentifier</span>,
+<span class="nonterminal">agIdentifier</span>,
 <span class="nonterminal">attribute-values</span>
 <span class="name">)</span>
 </div>
@@ -1478,13 +1478,19 @@
 wasEndedby(a,ag,[ex:mode="manual"])
 </pre>
 <p>state that the activity, represented by the activity record denoted by <span class="name">a</span>
-was started and ended by an agent, represented by record denoted by  <span class="name">a</span>, in "manual" mode, an application specific characterization of these relations.
+was started and ended by an agent, represented by record denoted by  <span class="name">ah</span>, in "manual" mode, an application specific characterization of these relations.
 </p>
 </div>
 </section>
 
+<div class="note">Temporal constraints for these relations need to be
+defined. The temporal constraint should ensure that the agent started
+its existence before the effect it may have on the activity. </div>
+
+
 
 <!--
+
 <section id="record-Participation">
 <h4>Participation Record</h4>