--- a/model/working-copy/prov-dm-constraints.html Tue Feb 14 12:16:05 2012 +0000
+++ b/model/working-copy/prov-dm-constraints.html Tue Feb 14 12:27:18 2012 +0000
@@ -1109,31 +1109,22 @@
<div class='constraint' id='wasInformedBy-Definition'>Given two activities identified by <span class="name">a1</span> and <span class="name">a2</span>,
<span class="name">wasInformedBy(a2,a1)</span>
holds, <span class='conditional'>if and only if</span>
- there is an entity identified by <span class="name">e</span> and sets of attribute-value pairs <span class="name">attrs1</span> and <span class="name">attrs2</span>,
+ there is an entity with some identifier <span class="name">e</span> and some sets of attribute-value pairs <span class="name">attrs1</span> and <span class="name">attrs2</span>,
such that <span class="name">wasGeneratedBy(e,a1,attrs1)</span> and <span class="name">used(a2,e,attrs2)</span> hold.
</div>
<div class="interpretation-forward">
-For the interpretation of an information flow ordering record, see <a href="#wasInformedBy-ordering">wasInformedBy-ordering</a>.
+For the interpretation of an information flow ordering, see <a href="#wasInformedBy-ordering">wasInformedBy-ordering</a>.
</div>
-<!--
-<div class='interpretation' id='wasInformedBy-ordering'>
-Given two activity records denoted by <span class="name">a1</span> and <span class="name">a2</span>, <span class='conditional'>if</span> the record <span
-class="name">wasInformedBy(a2,a1)</span>
- holds, <span class='conditional'>then</span> the following temporal constraint holds:
-the <a title="activity start event">start event</a> of the activity record denoted by <span class="name">a1</span> <a>precedes</a> the <a title="activity end event">end event</a> of
-the activity record denoted by <span class="name">a2</span>.
-</div>
--->
-
-<p>The relationship <span class="name">wasInformedBy</span> is not transitive. Indeed, consider the following records.</p>
+
+<p>The relationship <span class="name">wasInformedBy</span> is not transitive. Indeed, consider the following fragment.</p>
<pre class="codeexample">
wasInformedBy(a2,a1)
wasInformedBy(a3,a2)
</pre>
-<p> We cannot infer <span class="name">wasInformedBy(a3,a1)</span> from them. Indeed,
+<p> We cannot infer <span class="name">wasInformedBy(a3,a1)</span> from these expressions. Indeed,
from
<span class="name">wasInformedBy(a2,a1)</span>, we know that there exists <span class="name">e1</span> such that <span class="name">e1</span> was generated by <span class="name">a1</span>
and used by <span class="name">a2</span>. Likewise, from <span class="name">wasInformedBy(a3,a2)</span>, we know that there exists <span class="name">e2</span> such that <span
@@ -1149,26 +1140,26 @@
</figure>
</div>
-<p>Such a record states control ordering between <span class="name">a2</span> and <span class="name">a1</span>, specified as follows.</p>
-
-<div class='constraint' id='wasStartedBy'>Given two activity records identified by <span class="name">a1</span> and <span class="name">a2</span>,
- the record <span class="name">wasStartedBy(a2,a1)</span>
+<p>Control ordering between two activities denoted by <span class="name">a2</span> and <span class="name">a1</span> is specified as follows.</p>
+
+<div class='constraint' id='wasStartedBy'>Given two activities with identifiers <span class="name">a1</span> and <span class="name">a2</span>,
+ <span class="name">wasStartedBy(a2,a1)</span>
holds <span class='conditional'>if and only if</span>
- there exist an entity record identified by <span class="name">e</span>
+ there exist an entity with some identifier <span class="name">e</span>
and some attributes <span class="name">gAttr</span> and <span class="name">sAttr</span>,
such that
<span class="name">wasGeneratedBy(e,a1,gAttr)</span>
and <span class="name">wasStartedBy(a2,e,sAttr)</span> hold.
</div>
-<p>We note that a <a>start record</a> associates an activity with an agent, and is denoted by the name <span class="name">wasStartedBy</span>. A <a>control ordering record</a> associates an
-activity with another activity, also denoted by the name <span class="name">wasStartedBy</span>. Effectively, by considering both record types, the relation <span
+<p>We note that an activity start associates an activity with an agent, and is denoted by the name <span class="name">wasStartedBy</span>. A <a>control ordering</a> relation associates an
+activity with another activity, also denoted by the name <span class="name">wasStartedBy</span>. Effectively, by considering both relation types, the relation <span
class="name">wasStartedBy</span> has a range formed by the union of agents and activities.</p>
<div class="interpretation-forward">
-For the interpretation of a control flow ordering record, see <a href="#wasStartedBy-ordering">wasStartedBy-ordering</a>.
+For the interpretation of a control flow ordering, see <a href="#wasStartedBy-ordering">wasStartedBy-ordering</a>.
</div>
@@ -1179,12 +1170,12 @@
-<p>A revision record needs to satisfy the following constraint, linking the two entity records by a derivation, and stating them to be a complement of a third entity record.</p>
+<p>A revision needs to satisfy the following constraint, linking the two entities by a derivation, and stating them to be a specialization of a third entity.</p>
<div class='inference' id='wasRevision'>
Given two identifiers <span class="name">old</span> and <span class="name">new</span> identifying two entities, and an identifier <span class="name">ag</span> identifying an agent,
-<span class='conditional'>if</span> a record <span class="name">wasRevisionOf(new,old,ag)</span> is asserted, <span class='conditional'>then</span>
-there exists an entity record identifier <span class="name">e</span> and attribute-values <span class="name">eAttrs</span>, <span class="name">dAttrs</span>, such that the following records
+<span class='conditional'>if</span> <span class="name">wasRevisionOf(new,old,ag)</span> holds, <span class='conditional'>then</span>
+there exists an entity with some identifier <span class="name">e</span> and some attribute-values <span class="name">eAttrs</span>, <span class="name">dAttrs</span>, such that the following
hold:
<ul>
<li> <span class="name">wasDerivedFrom(new,old,dAttrs)</span>;
@@ -1192,7 +1183,7 @@
<li> <span class="name">specializationOf(new,e)</span>;
<li> <span class="name">specializationOf(old,e)</span>.
</ul>
-The derivation record may be imprecise-1 or imprecise-n.
+The derivation may be imprecise-1 or imprecise-n.
</div>
<p><span class="name">wasRevisionOf</span> is a strict sub-relation
@@ -1213,7 +1204,7 @@
<span class='conditional'>If</span>
<span class="name">wasAttributedTo(e,ag)</span> holds for some identifiers
<span class="name">e</span> and <span class="name">ag</span>,
-<span class='conditional'>then</span> there exists an activity identified by <span class="name">a</span> such that the following statements hold:
+<span class='conditional'>then</span>, there exists an activity with some identifier <span class="name">a</span> such that the following statements hold:
<pre>
activity(a,t1,t2,attr1)
wasGenerateBy(e,a)
@@ -1233,7 +1224,7 @@
<span class='conditional'>If</span>
<span class="name">wasQuotedFrom(e2,e1,ag2,ag1,attrs)</span> holds for some identifiers
<span class="name">e2</span>, <span class="name">e1</span>, <span class="name">ag2</span>, <span class="name">ag1</span>,
-<span class='conditional'>then</span> the following records hold:
+<span class='conditional'>then</span> the following hold:
<pre>
wasDerivedFrom(e2,e1)
wasAttributedTo(e2,ag2)