--- a/model/working-copy/wd5-prov-dm-components.html Thu Mar 15 22:59:06 2012 +0000
+++ b/model/working-copy/wd5-prov-dm-components.html Fri Mar 16 08:09:14 2012 +0000
@@ -1051,44 +1051,89 @@
</section>
-<section id="term-Start-End">
-<h4>Activity Start and Activity End (Voting in Progress)</h4>
-
-<p> A <dfn title="dfn-Start">activity start</dfn> is a representation of an agent starting an activity.
- An <dfn title="dfn-End">activity end</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>
-
-
-
-<p>An activity start<span class="withPn">, written <span class="pnExpression">wasStartedBy(id,a,ag,attrs)</span> in PROV-N,</span> contains:</p>
+<section id="term-Start">
+<h4>Activity Start</h4>
+
+<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 or generation involving an activity follows its start.
+</span>
+
+
+<p>An activity start<span class="withPn">, written <span class="pnExpression">wasStartedBy(id,a,e,t,attrs)</span> in PROV-N,</span> contains:</p>
<ul>
<li><span class='attribute'>id</span>: an OPTIONAL identifier for the activity start;</li>
-<li><span class='attribute'>activity</span>: an identifier for the started activity;
-<li><span class='attribute'>agent</span>: an identifier for the agent starting the activity;
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the agent started the activity.
+<li><span class='attribute'>activity</span>: an identifier for the started activity;</li>
+<li><span class='attribute'>trigger</span>: an OPTIONAL identifier for the entity triggering the activity;</li>
+<li><span class='attribute'>time</span>: the OPTIONAL time at which the activity was started; </li>
+<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the activity was started.
</ul>
-<p>An activity end<span class="withPn">, written <span class="pnExpression">wasEndedBy(id,a,ag,attrs)</span> in PROV-N,</span> contains:</p>
+<div class="anexample">
+<p>
+The following example contains the description of an activity <span class="name">a1</span> (a discussion), which was started at a specific time, and was triggered by an email message <span class="name">e1</span>.</p>
+<pre class="codeexample">
+entity(e1,[prov:type="email message"])
+activity(a1,[prov:type="Discuss"])
+wasStartedBy(a1,e1,2011-11-16T16:05:00)
+</pre>
+Furthermore, if the activity happens to consume the message content, then the message would also be regarded as an input to the activity, which we describe as follows:
+<pre class="codeexample">
+used(a1,e1)
+</pre>
+</div>
+
+<div class="anexample">
+<p>
+In the following example, a race is started by a bang, and responsibility for this trigger is attributed to an agent
+ <span class="name">ex:DarthVader</span>.
+<pre class="codeexample">
+activity(ex:foot_race)
+wasStartedBy(ex:foot_race,ex:bang,2012-03-09T08:05:08-05:00)
+entiy(ex:bang)
+agent(ex:DarthVader)
+wasAttributedTo(ex:foot_race,ex:DarthVader)
+</pre>
+</div>
+
+
+<p>The relations wasStartedBy and used are orthogonal, and thus need to be asserted independently, according to the situation being described.</p>
+
+</section>
+
+<section id="term-End">
+<h4>Activity End</h4>
+
+<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 invalidation involving an activity precedes its end.
+</span>
+
+<p>An activity end<span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,e,t,attrs)</span> in PROV-ASN,</span> contains:</p>
<ul>
<li><span class='attribute'>id</span>: an OPTIONAL identifier for the activity end;</li>
<li><span class='attribute'>activity</span>: an identifier for the ended activity;
-<li><span class='attribute'>agent</span>: an identifier for the agent ending the activity;
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the agent ended the activity.
+<li><span class='attribute'>trigger</span>: an OPTIONAL identifier for the entity triggering the activity ending;
+<li><span class='attribute'>time</span>: the OPTIONAL time at which the activity was ended; </li>
+<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the activity was ended.
</ul>
-
<div class="anexample">
<p>
-In the following example,</p>
+The following example is a description of an activity <span class="name">a1</span> (editing) that was ended following an approval document <span class="name">e1</span>.</p>
<pre class="codeexample">
-wasStartedBy(a,ag,[ex:mode="manual"])
-wasEndedby(a,ag,[ex:mode="manual"])
+entity(e1,[prov:type="approval document"])
+activity(a1,[prov:type="Editing"])
+wasEndedBy(a1,e1)
</pre>
-<p>there is an activity denoted by <span class="name">a</span>
-that was started and ended by an agent denoted by <span class="name">ag</span>, in "manual" mode, an application specific characterization of these relations.
-</p>
</div>
+
+<div class="note">
+Constraints need to be added to part II, to ensure that time information on activity matches time information on Start/End.
+</div>
+
+
<div class='issue'>
Should we define start/end records as representation of activity start/end events.
Should time be associated with these events rather than with activities. This will be similar to what
@@ -1139,7 +1184,7 @@
<p>
A control ordering relation<span class="withPn">, written as
-<span class="pnExpression">wasStartedBy(id, a2, a1, attrs)</span> in PROV-N,</span> contains: </p>
+<span class="pnExpression">wasStartedByActivity(id, a2, a1, attrs)</span> in PROV-N,</span> contains: </p>
<ul>
<li><span class='attribute'>id</span>: an OPTIONAL identifier of the relation;</li>
<li><span class='attribute'>started</span>: the identifier of the started activity;
@@ -1156,7 +1201,7 @@
<pre class="codeexample">
activity(a1,t1,t2,[ex:host="server1.example.org",prov:type="workflow"])
activity(a2,t3,t4,[ex:host="server2.example.org",prov:type="subworkflow"])
-wasStartedBy(a2,a1)
+wasStartedByActivity(a2,a1)
</pre>
</div>
--- a/model/working-copy/wd5-prov-n.html Thu Mar 15 22:59:06 2012 +0000
+++ b/model/working-copy/wd5-prov-n.html Fri Mar 16 08:09:14 2012 +0000
@@ -490,11 +490,11 @@
<span class="nonterminal">optional-identifier</span>
<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
-(<span class="nonterminal">aIdentifier</span> | <span class="name">-</span>)
+( <span class="nonterminal">aIdentifier</span> | <span class="name">-</span> )
<span class="nonterminal">optional-time</span>
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span><br/>
-<span class="nonterminal">optional-identifier</span> ::= <span class="optional"><span class="nonterminal">identifier</span><span class="name">,</span> </span><br/>
+<span class="nonterminal">optional-identifier</span> ::= <span class="optional"><span class="nonterminal">identifier</span> <span class="name">,</span></span><br/>
<span class="nonterminal">optional-time</span> ::= <span class="optional"><span class="name">,</span>
<span class="nonterminal">time</span></span>
</div>
@@ -558,7 +558,7 @@
<span class="nonterminal">optional-identifier</span>
<span class="nonterminal">aIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">eIdentifier</span>
+( <span class="nonterminal">eIdentifier</span> | '-' )
<span class="nonterminal">optional-time</span>
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
@@ -589,7 +589,7 @@
<span class="nonterminal">optional-identifier</span>
<span class="nonterminal">aIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">eIdentifier</span>
+( <span class="nonterminal">eIdentifier</span> | '-' )
<span class="nonterminal">optional-time</span>
<span class="nonterminal">optional-attribute-values</span>
<span class="name">)</span>
@@ -634,7 +634,7 @@
<div class="grammar">
<span class="nonterminal">controlOrderingExpression</span> ::=
-<span class="name">wasStartedBy</span>
+<span class="name">wasStartedByActivity</span>
<span class="name">(</span>
<span class="nonterminal">optional-identifier</span>
<span class="nonterminal">aIdentifier</span>
@@ -678,7 +678,7 @@
<div class="anexample">
<pre class="codeexample">
agent(ag4)
-agent(ag4, [ prov:type="prov:Human" %% xsd:QName, ex:name="David" ])
+agent(ag4, [ prov:type="prov:Person" %% xsd:QName, ex:name="David" ])
</pre>
</div>