--- a/model/prov-constraints.html Thu May 31 15:00:27 2012 +0100
+++ b/model/prov-constraints.html Thu May 31 15:11:54 2012 +0100
@@ -1290,7 +1290,7 @@
<hr />
<p>A usage implies ordering of <a title="instantaneous event">events</a>, since the <a title="entity usage event">usage event</a> had to occur during the associated activity. This is
-illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (b) and expressed by constraint <a href="#usage-within-activity">usage-within-activity</a>.</p>
+illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (b) and expressed by <a class="rule-ref" href="#usage-within-activity"><span>TBD</span></a>.</p>
<div class='constraint' id='usage-within-activity'>
<ol>
@@ -1321,7 +1321,7 @@
<p>A generation implies ordering of <a title="instantaneous event">events</a>, since the <a title="entity generation event">generation event</a> had to occur during the associated activity. This is
-illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (c) and expressed by constraint <a href="#generation-within-activity">generation-within-activity</a>.</p>
+illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (c) and expressed by <a class="rule-ref" href="#generation-within-activity"><span>TBD</span></a>.</p>
<div class='constraint' id='generation-within-activity'>
<ol>
@@ -1353,7 +1353,7 @@
<p>Communication between two activities <span class="name">a1</span> and <span class="name">a2</span> also implies ordering of <a
title="instantaneous event">events</a>, since some entity must have been generated by the former and used by the latter, which implies that the start event of <span class="name">a1</span>
cannot follow the end event of <span class="name">a2</span>. This is
-illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (d) and expressed by constraint <a href="#wasInformedBy-ordering">wasInformedBy-ordering</a>.</p>
+illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (d) and expressed by <a class="rule-ref" href="#wasInformedBy-ordering"><span>TBD</span></a>.</p>
<div class='constraint' id='wasInformedBy-ordering'>
<span class="conditional">IF</span>
@@ -1373,7 +1373,7 @@
<p>Start of <span class="name">a2</span> by activity <span class="name">a1</span> also implies ordering of <a
title="instantaneous event">events</a>, since <span class="name">a1</span> must have been active before <span class="name">a2</span> started. This is
-illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (e) and expressed by constraint <a href="#wasStartedByActivity-ordering">wasStartedByActivity-ordering</a>.</p>
+illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (e) and expressed by constraint <a class="rule-ref" href="#wasStartedByActivity-ordering"><span>TBD</span></a>.</p>
<div class='constraint' id='wasStartedByActivity-ordering'>
@@ -1430,7 +1430,7 @@
<p> A usage and a generation for a given entity implies ordering of <a title="instantaneous event">events</a>, since the <a title="entity generation
event">generation event</a> had to precede the <a title="entity usage event">usage event</a>. This is
-illustrated by Subfigure <a href="#ordering-entity-fig">ordering-entity-fig</a> (a) and expressed by constraint <a href="#generation-precedes-usage">generation-precedes-usage</a>.</p>
+illustrated by Subfigure <a href="#ordering-entity-fig">ordering-entity-fig</a> (a) and expressed by <a class="rule-ref" href="#generation-precedes-usage"><span>TBD</span></a>.</p>
<div class='constraint' id='generation-precedes-usage'>
<span class="conditional">IF</span>
@@ -1445,7 +1445,7 @@
<hr />
-<p>All usages of an entity precede its invalidation, which is captured by constraint <a href="#usage-precedes-invalidation">usage-precedes-invalidation</a> (without any explicit graphical representation).</p>
+<p>All usages of an entity precede its invalidation, which is captured by <a class="rule-ref" href="#usage-precedes-invalidation"><span>TBD</span></a> (without any explicit graphical representation).</p>
<div class='constraint' id='usage-precedes-invalidation'>
<span class="conditional">IF</span>
@@ -1472,8 +1472,8 @@
First, we consider derivations, where the activity and usage are known. In that case, the <a title="entity usage event">usage</a> of <span class="name">e1</span> has to precede the <a title="entity generation
event">generation</a> of <span class="name">e2</span>.
This is
-illustrated by Subfigure <a href="#ordering-entity-fig">ordering-entity-fig</a> (b) and expressed by constraint <a
-href="#derivation-usage-generation-ordering">derivation-usage-generation-ordering</a>.</p>
+illustrated by Subfigure <a href="#ordering-entity-fig">ordering-entity-fig</a> (b) and expressed by <a
+class="rule-ref" href="#derivation-usage-generation-ordering"><span>TBD</span></a>.</p>
<div class='constraint' id='derivation-usage-generation-ordering'>
@@ -1490,8 +1490,8 @@
<p>When the usage is unknown, a similar constraint exists, except that the constraint refers to its
generation event, as
-illustrated by Subfigure <a href="#ordering-entity-fig">ordering-entity-fig</a> (c) and expressed by constraint <a
-href="#derivation-generation-generation-ordering">derivation-generation-generation-ordering</a>.</p>
+illustrated by Subfigure <a href="#ordering-entity-fig">ordering-entity-fig</a> (c) and expressed by <a
+class="rule-ref" href="#derivation-generation-generation-ordering"><span>TBD</span></a>.</p>
<div class='constraint'
id='derivation-generation-generation-ordering'>
@@ -1518,7 +1518,7 @@
<p>The entity that triggered the start of an activity must exist before the activity starts.
This is
-illustrated by Subfigure <a href="#ordering-entity-trigger-fig">ordering-entity-trigger-fig</a> (a) and expressed by constraint <a href="#wasStartedBy-ordering">wasStartedBy-ordering</a>.</p>
+illustrated by Subfigure <a href="#ordering-entity-trigger-fig">ordering-entity-trigger-fig</a> (a) and expressed by constraint <a class="rule-ref" href="#wasStartedBy-ordering"><span>TBD</span></a>.</p>
<div class='constraint' id='wasStartedBy-ordering'>