updated style for rule reference
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 31 May 2012 15:11:54 +0100 (2012-05-31)
changeset 3123 0af7bf46cb71
parent 3122 80b8f377605c
child 3124 35b322dd0d96
updated style for rule reference
model/prov-constraints.html
--- 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'>