merged
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Tue, 29 Nov 2011 15:59:05 +0000
changeset 1105 379c3214a49e
parent 1104 175f8f784828 (current diff)
parent 1100 278da14c4a8a (diff)
child 1107 297cc811b8ab
child 1108 8d0ebc48d40e
merged
--- a/model/ProvenanceModel.html	Tue Nov 29 15:58:46 2011 +0000
+++ b/model/ProvenanceModel.html	Tue Nov 29 15:59:05 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.
@@ -1454,17 +1454,17 @@
 <span class="nonterminal">startRecord</span>&nbsp;:= 
 <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="optional"> <span class="nonterminal">identifier</span>,</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="optional"> <span class="nonterminal">identifier</span>,</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 remain to be
+written. The temporal constraints 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>
 
@@ -1580,10 +1586,10 @@
 <span class="nonterminal">responsibilityRecord</span>&nbsp;:= 
 <span class="name">actedOnBehalfOf</span>
 <span class="name">(</span>
-<span class="optional"><span class="nonterminal">identifier</span>,</span>
-<span class="nonterminal">identifier</span>,
-<span class="nonterminal">identifiers</span>,
-<span class="optional"><span class="nonterminal">identifier</span>,</span>
+<span class="optional"> <span class="nonterminal">identifier</span>,</span>
+<span class="nonterminal">agIdentifier</span>,
+<span class="nonterminal">agIdentifier</span>,
+<span class="optional"><span class="nonterminal">aIdentifier</span>,</span>
 <span class="nonterminal">attribute-values</span>
 <span class="name">)</span>
 </div>