--- a/model/ProvenanceModel.html Wed Sep 07 13:12:21 2011 +0100
+++ b/model/ProvenanceModel.html Wed Sep 07 13:46:48 2011 +0100
@@ -1363,31 +1363,58 @@
</section>
-<section id="expression-OrderingOfProcesses">
+<section id="expression-OrderingOfProcessExecutions">
<h3>Ordering of Process Executions</h3>
</section>
<p>PIDM allows two forms of temporal relationships between process executions to be expressed.
-<dfn id="InformationOrdering">Information flow ordering</dfn> states that a characterized thing was generated by a process execution before it was used by another process execution.
-<dfn id="ControlOrdering">Control ordering</dfn> states that the end of
-a process execution precedes the start of another process execution,
-by a same agent.
+An <dfn id="InformationFlowOrdering">information flow ordering expression</dfn> is a representation that a characterized thing was generated by an activity, represented by a process execution, before it was used by another activity, also represented by a process execution.
+A <dfn id="ControlOrdering">control ordering expression</dfn> is a representation that the end of
+an activity, represented by a process execution, precedes the start of another activity, represented by process execution.
</p>
+<p>In the Provenance Abstract Syntax Notation, a process execution ordering expression's text matches the <span class="nonterminal">peOrdering</span> production of the grammar defined in this specification document.
+</p>
+
+<div class='grammar'>
+<span class="nonterminal">peOrdering</span> :=
+<span class="nonterminal">informationFlowOrdering</span> |
+<span class="nonterminal">controlOrdering</span>
+<br/>
+
+<span class="nonterminal">informationFlowOrdering</span> :=
+<span class="name">wasInformedBy</span>
+<span class="name">(</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+<span class="nonterminal">identifier</span>
+<span class="name">)</span>
+<br/>
+
+<span class="nonterminal">controlOrdering</span> :=
+<span class="name">wasScheduledAfter</span>
+<span class="name">(</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+<span class="nonterminal">identifier</span>
+<span class="name">)</span>
+<br/>
+</div>
+
<p>
-An instance of a <span class="name">wasInformedBy</span> construct, written as
+An instance of an information flow ordering expression, written as
<span class="name">wasInformedBy(pe2,pe1)</span> in the Provenance Abstract Syntax Notation:
<ul>
<li> refers to a process execution <span class="name">pe2</span>;
<li> refers to a process execution <span class="name">pe1</span>
</ul>
-and expresses information flow ordering between <span class="name">pe2</span> and <span class="name">pe1</span>.
+and states information flow ordering between <span class="name">pe2</span> and <span class="name">pe1</span>.
The meaning of the <span class="name">wasInformedBy</span> construct is specified as follows.
<div class='constraint' id='wasInformedBy'>Given two process executions denoted by <span class="name">pe1</span> and <span class="name">pe2</span>,
- the construct <span class="name">wasInformedBy(pe2,pe1)</span>
+ the expression <span class="name">wasInformedBy(pe2,pe1)</span>
holds, <span class='conditional'>if and only if</span>
there is an entity denoted by <span class="name">e</span> and roles <span class="name">r1</span> and <span class="name">r2</span>,
such that <span class="name">wasGeneratedBy(e,pe1,r1)</span> and <span class="name">used(pe2,e,r2)</span> hold.
@@ -1396,23 +1423,26 @@
<p>
-An instance of an <span class="name">wasScheduledAfter</span> construct, written as
+An instance of a control ordering expression, written as
<span class="name">wasScheduledAfter(pe2,pe1)</span> in the Provenance Abstract Syntax Notation:
<ul>
<li> refers to a process execution <span class="name">pe2</span>;
<li> refers to a process execution <span class="name">pe1</span>,
</ul>
-and expresses control ordering between <span class="name">pe2</span> and <span class="name">pe1</span>.
-The meaning of the <span class="name">wasScheduledAfter</span> construct is as follows.
+and states control ordering between <span class="name">pe2</span> and <span class="name">pe1</span>.
+The meaning of the <span class="name">wasScheduledAfter</span> expression is as follows.
<div class='constraint' id='wasScheduledAfter'>Given two process executions denoted by <span class="name">pe1</span> and <span class="name">pe2</span>,
- the construct <span class="name">wasScheduledAfter(pe2,pe1)</span>
+ the expression <span class="name">wasScheduledAfter(pe2,pe1)</span>
holds, <span class='conditional'>if and only if</span>
- there are two entities denoted by <span class="name">e1</span> and <span class="name">e2</span> and roles <span class="name">r1</span> and <span class="name">r2</span>,
-such that <span class="name">wasControlledBy(pe1,e1,r1)</span> and <span class="name">wasControlledBy(pe2,e2,r2)</span> and <span class="name">wasDerivedFrom(e2,e1)</span>.
+ there are two entities denoted by <span class="name">e1</span> and <span class="name">e2</span>,
+such that <span class="name">wasControlledBy(pe1,e1,end)</span> and <span class="name">wasControlledBy(pe2,e2,start)</span> and <span class="name">wasDerivedFrom(e2,e1)</span>.
</div>
+<div class='note'>This definition suppose we have some predefined role
+for "starting" and "ending" activities.</div>
+
<div class='issue'>Suggested definition for process ordering. This is <a href="http://www.w3.org/2011/prov/track/issues/50">ISSUE-50</a>.</div>
</p>