--- a/model/ProvenanceModel.html Thu Nov 17 09:30:20 2011 +0000
+++ b/model/ProvenanceModel.html Thu Nov 17 09:51:15 2011 +0000
@@ -1563,18 +1563,46 @@
</section>
<section id="record-Control">
-<h4>Control Record</h4>
-
-<p> A <dfn id="dfn-Control">control record</dfn> is a representation of the involvement of entity (represented as an agent record or an entity record) in an activity, which is represented by an activity record; attributes describe this involvement.</p>
-
-<p>In PROV-ASN, a control record's text matches the <span class="nonterminal">controlRecord</span> production of the grammar defined in this specification document.
+<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>
+
+
+
+<p>A start record, written <span class="name">wasStartedBy(id,a,ag,attrs)</span> in PROV-ASN, contains:</p>
+<ul>
+<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.
+</ul>
+
+<p>An end record, written <span class="name">wasEndedBy(id,a,ag,attrs)</span> in PROV-ASN, contains:</p>
+<ul>
+<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.
+</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.
</p>
<div class='grammar'>
-<span class="nonterminal">controlRecord</span> :=
-<span class="name">wasControlledBy</span>
+<span class="nonterminal">startRecord</span> :=
+<span class="name">wasStartedBy</span>
<span class="name">(</span>
+[<span class="nonterminal">identifier</span>,]
+<span class="nonterminal">identifier</span>,
+<span class="nonterminal">identifier</span>,
+<span class="nonterminal">attribute-values</span>
+<span class="name">)</span><br/>
+<span class="nonterminal">endRecord</span> :=
+<span class="name">wasEndedBy</span>
+<span class="name">(</span>
+[<span class="nonterminal">identifier</span>,]
<span class="nonterminal">identifier</span>,
<span class="nonterminal">identifier</span>,
<span class="nonterminal">attribute-values</span>
@@ -1582,24 +1610,20 @@
</div>
-<p>A control record, written <span class="name">wasControlledBy(pe,ag,attrs)</span> in PROV-ASN:</p>
-<ul>
-<li> contains an identifier <span class="name">pe</span> denoting an activity record, representing the controlled activity;
-<li> refers to an agent record or an entity record identified by <span class="name">ag</span>, representing the controlling entity;
-<li> contains a set of attribute-value pairs <span class="name">attrs</span>, describing the involvement of the entity in the activity.
-</ul>
-
-
+<div class="anexample">
<p>
-The following control assertion</p>
-<pre class="example">
-wasControlledBy(pe3,a4,[prov:role="author"])
+The following assertions</p>
+<pre class="codeexample">
+wasStartedBy(a,ag,[ex:mode="manual"])
+wasEndedby(a,ag,[ex:mode="manual"])
</pre>
-<p>states that the activity, represented by the activity record denoted by <span class="name">pe3</span> saw the involvement of an entity, represented by entity record denoted by <span class="name">a4</span> in the capacity of author. This specification reserves the attribute <span class="name">role</span> (see Section <a href="#extensibility-section">Extensibility Section</a>) to denote the function of an entity with respect to an activity.
+<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.
</p>
-
+</div>
</section>
+
<section id="record-Participation">
<h4>Participation Record</h4>
@@ -1695,14 +1719,14 @@
<p>A complementarity record is written <span class="name">wasComplementOf(e2,e1)</span>, where <span class="name">e1</span> and <span class="name">e2</span> are two identifiers denoting entity records.</p>
<pre class="codeexample">
-entity(rs,[created="1870"])
-
-entity(rs_l1,[location="loc2"])
-entity(rs_l2,[location="The Mall"])
-
-entity(rs_m1,[membership="250", year="1900"])
-entity(rs_m2,[membership="300", year="1945"])
-entity(rs_m3,[membership="270", year="2010"])
+entity(rs,[ex:created="1870" %% xsd:integer])
+
+entity(rs_l1,[prov:location="loc2"])
+entity(rs_l2,[prov:location="The Mall"])
+
+entity(rs_m1,[ex:membership="250" %% xsd:integer, ex:year="1900" %% xsd:integer])
+entity(rs_m2,[ex:membership="300" %% xsd:integer, ex:year="1945" %% xsd:integer])
+entity(rs_m3,[ex:membership="270" %% xsd:integer, ex:year="2010" %% xsd:integer])
wasComplementOf(rs_m3, rs_l2)
wasComplementOf(rs_m2, rs_l1)