Menu
▾
▴
[Scstudio-commits] SF.net SVN: scstudio:[887] trunk/doc/help
|
From: <ag...@us...> - 2010-09-08 08:32:59
|
Revision: 887
http://scstudio.svn.sourceforge.net/scstudio/?rev=887&view=rev
Author: agmy
Date: 2010-09-08 08:32:49 +0000 (Wed, 08 Sep 2010)
Log Message:
-----------
help, improved picture spacing
Modified Paths:
--------------
trunk/doc/help/acyclic/acyclic.html
trunk/doc/help/algorithms.html
trunk/doc/help/beautify/beautify.html
trunk/doc/help/boundedness/boundedness.html
trunk/doc/help/deadlock/deadlock.html
trunk/doc/help/fifo/fifo.html
trunk/doc/help/help.css
trunk/doc/help/livelock/livelock.html
trunk/doc/help/localchoice/localchoice.html
trunk/doc/help/membership/membership.html
trunk/doc/help/race/race.html
trunk/doc/help/recursivity/recursivity.html
trunk/doc/help/time_consistency/time_consistency.html
trunk/doc/help/time_syntax/time_syntax.html
trunk/doc/help/time_tighten/time_tighten.html
trunk/doc/help/time_trace_race/time_race.html
trunk/doc/help/unique_instance/unique_instance.html
Modified: trunk/doc/help/acyclic/acyclic.html
===================================================================
--- trunk/doc/help/acyclic/acyclic.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/acyclic/acyclic.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -15,13 +15,13 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/cyclic_simple.png" width="250" BORDER="0" ALT="Cyclic BMSC" TITLE="Cyclic BMSC"></li>
- <li>Cyclic design</li>
+ <li class="caption">Cyclic design</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/cyclic_result.png" width="250" BORDER="0" ALT="Cyclic BMSC" TITLE="Cyclic BMSC"></li>
- <li>Highlighted cyclic dependency</li>
+ <li class="caption">Highlighted cyclic dependency</li>
</ul>
</li>
</ul>
@@ -37,7 +37,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/acyclic.png" width="250" BORDER="0" ALT="Acyclic BMSC" TITLE="Acyclic BMSC"></li>
- <li>Acyclic design</li>
+ <li class="caption">Acyclic design</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/algorithms.html
===================================================================
--- trunk/doc/help/algorithms.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/algorithms.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -5,20 +5,13 @@
<h1>Algorithms</h1>
-
-<h2>BMSC</h2>
-The following verification algorithms for BMSC are supported:
+The following verification algorithms are supported:
<ul>
<li><a href="acyclic/acyclic.html">Acyclic property</a></li>
<li><a href="fifo/fifo.html">FIFO property</a></li>
<li><a href="race/race.html">Race Condition</a></li>
<li><a href="time_syntax/time_syntax.html">Correct Time Constraint Syntax</a></li>
<li><a href="unique_instance/unique_instance.html">Unique instance names</a></li>
-</ul>
-
-<h2>HMSC</h2>
-The following verification algorithms for HMSC are supported:
-<ul>
<li><a href="boundedness/boundedness.html">Universal Boundedness</a></li>
<li><a href="deadlock/deadlock.html">Deadlock</a></li>
<li><a href="livelock/livelock.html">Livelock</a></li>
@@ -32,7 +25,7 @@
<li><a href="time_syntax/time_syntax.html">Correct Time Constraint Syntax</a></li>
</ul>
-<h2>Frontend</h2>
+<h1>Frontend</h1>
<ul>
<li><a href="beautify/beautify.html">Beautify</a></li>
<li><a href="frontend/automatic-drawing.html">Automatic drawing</a></li>
Modified: trunk/doc/help/beautify/beautify.html
===================================================================
--- trunk/doc/help/beautify/beautify.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/beautify/beautify.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -22,13 +22,13 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/unordered.png" width="500" BORDER="0" ALT="Unordered BMSC"></li>
- <li>Before beautify</li>
+ <li class="caption">Before beautify</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/ordered.png" align="middle" width="350" BORDER="0" ALT="Ordered BMSC"></li>
- <li>After beautify</li>
+ <li class="caption">After beautify</li>
</ul>
</li>
</ul>
@@ -43,7 +43,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/unfifo2.png" width="250" BORDER="0" ALT="Ordered non-FIFO BMSC"></li>
- <li>Acyclic design</li>
+ <li class="caption">Acyclic design</li>
</ul>
</li>
</ul>
@@ -61,14 +61,14 @@
<ul>
<li>
<img src="pictures/coregion1.png" width="250" alt="Crossing messages jointed with coregion"></li>
- <li>Before beautify</li>
+ <li class="caption">Before beautify</li>
</ul></li>
<li>
<ul>
<li>
<img src="pictures/coregion2.png" width="250 "alt=""></li>
- <li>After beautify</li>
+ <li class="caption">After beautify</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/boundedness/boundedness.html
===================================================================
--- trunk/doc/help/boundedness/boundedness.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/boundedness/boundedness.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -17,13 +17,13 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/unbounded_hmsc.png" width="200" BORDER="0" ALT="Unbounded HMSC" TITLE="Unbounded HMSC"></li>
- <li>Unbounded HMSC</li>
+ <li class="caption">Unbounded HMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/unbounded_msc.png" width="250" BORDER="0" ALT="MSC A" TITLE="MSC A"></li>
- <li>MSC A</li>
+ <li class="caption">MSC A</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/deadlock/deadlock.html
===================================================================
--- trunk/doc/help/deadlock/deadlock.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/deadlock/deadlock.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -22,7 +22,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/deadlock.png" width="350" BORDER="0" ALT="Typical deadlock" TITLE="Typical deadlock"></li>
- <li>Typical deadlock</li>
+ <li class="caption">Typical deadlock</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/fifo/fifo.html
===================================================================
--- trunk/doc/help/fifo/fifo.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/fifo/fifo.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -41,7 +41,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/simple_non_fifo.png" width="250" BORDER="0" ALT="Example of a non-fifo design" TITLE="Example of a non-fifo design"></li>
- <li>Example of a non-FIFO design</li>
+ <li class="caption">Example of a non-FIFO design</li>
</ul>
</li>
</ul>
@@ -59,13 +59,13 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/fifo1.png" width="250" BORDER="0" ALT="FIFO MSC design" TITLE="FIFO MSC design"></li>
- <li>Example of a FIFO design</li>
+ <li class="caption">Example of a FIFO design</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/fifo2.png" width="250" BORDER="0" ALT="FIFO MSC design" TITLE="FIFO MSC design"></li>
- <li>Example of a different FIFO design</li>
+ <li class="caption">Example of a different FIFO design</li>
</ul>
</li>
</ul>
@@ -79,7 +79,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/nonfifo1.png" width="250" BORDER="0" ALT="non-fifo design" TITLE="non-fifo design"></li>
- <li>Example of a non-FIFO design</li>
+ <li class="caption">Example of a non-FIFO design</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/help.css
===================================================================
--- trunk/doc/help/help.css 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/help.css 2010-09-08 08:32:49 UTC (rev 887)
@@ -32,3 +32,7 @@
ul.gallery { clear: both; }
ul.gallery li { list-style-type: none; float: left; }
ul.gallery li ul li { float: none; text-align: center; font-size: 15px; }
+ul.gallery li ul li.caption { margin-top:10px; float: none; text-align: center; font-size: 15px; }
+
+
+ul.gallery ul { padding:20px; margin:20px; border:1px #B4B4B4 solid;}
Modified: trunk/doc/help/livelock/livelock.html
===================================================================
--- trunk/doc/help/livelock/livelock.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/livelock/livelock.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -17,7 +17,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/livelock.png" width="450" BORDER="0" ALT="Typical livelock" TITLE="Typical livelock"></li>
- <li>Typical livelock</li>
+ <li class="caption">Typical livelock</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/localchoice/localchoice.html
===================================================================
--- trunk/doc/help/localchoice/localchoice.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/localchoice/localchoice.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -14,20 +14,20 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/simple_nonlocal.png" width="550" BORDER="0" ALT="HMSC specification with a branching node" TITLE="HMSC specification with a branching node"></li>
- <li>HMSC specification with a branching node</li>
+ <li class="caption">HMSC specification with a branching node</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/simple_nonlocal_MSCA.png" width="200" BORDER="0" ALT="MSC A" TITLE="MSC A"></li>
- <li>MSC A</li>
+ <li class="caption">MSC A</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/simple_nonlocal_MSCB.png" width="200" BORDER="0" ALT="MSC B" TITLE="MSC B"></li>
- <li>MSC B</li>
+ <li class="caption">MSC B</li>
</ul>
</li>
</ul>
@@ -48,13 +48,13 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/simple_nonlocal_result.png" width="350" BORDER="0" ALT="Result of SCStudio" TITLE="Result of SCStudio"></li>
- <li>Result of SCStudio</li>
+ <li class="caption">Result of SCStudio</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/simple_nonlocal_implied.png" width="200" BORDER="0" ALT="Implied behavior" TITLE="Implied behavior"></li>
- <li>Implied behavior</li>
+ <li class="caption">Implied behavior</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/membership/membership.html
===================================================================
--- trunk/doc/help/membership/membership.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/membership/membership.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -17,27 +17,27 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/memebership_4.png" width="250" BORDER="0" ALT="Input bMSC" TITLE="Input bMSC"></li>
- <li>Input BMSC</li>
+ <li class="caption">Input BMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_1.png" width="150" BORDER="0" ALT="Input HMSC" TITLE="Input HMSC"></li>
- <li>Input HMSC</li>
+ <li class="caption">Input HMSC</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_2.png" width="250" BORDER="0" ALT="bMSC01" TITLE="bMSC01"></li>
- <li>bMSC01</li>
+ <li class="caption">bMSC01</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_3.png" width="250" BORDER="0" ALT="bMSC02" TITLE="bMSC02"></li>
- <li>bMSC02</li>
+ <li class="caption">bMSC02</li>
</ul>
</li>
</ul>
@@ -78,53 +78,53 @@
<li>
<ul>
<li><IMG SRC="pictures/memebership_11.png" width="250" BORDER="0" ALT="Input BMSC" TITLE="Input BMSC"></li>
- <li>Input BMSC</li>
+ <li class="caption">Input BMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_5.png" width="450" BORDER="0" ALT="Input HMSC" TITLE="Input HMSC"></li>
- <li>Input HMSC</li>
+ <li class="caption">Input HMSC</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_6.png" width="250" BORDER="0" ALT="bMSC1" TITLE="bMSC1"></li>
- <li>bMSC1</li>
+ <li class="caption">bMSC1</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_7.png" width="250" BORDER="0" ALT="bMSC2" TITLE="bMSC2"></li>
- <li>bMSC2</li>
+ <li class="caption">bMSC2</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_8.png" width="250" BORDER="0" ALT="bMSC3" TITLE="bMSC3"></li>
- <li>bMSC3</li>
+ <li class="caption">bMSC3</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_9.png" width="250" BORDER="0" ALT="bMSC4" TITLE="bMSC4"></li>
- <li>bMSC4</li>
+ <li class="caption">bMSC4</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_10.png" width="250" BORDER="0" ALT="bMSC5" TITLE="bMSC5"></li>
- <li>bMSC5</li>
+ <li class="caption">bMSC5</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/memebership_12.png" width="350" BORDER="0" ALT="Result HMSC" TITLE="Result HMSC"></li>
- <li>Result HMSC</li>
+ <li class="caption">Result HMSC</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/race/race.html
===================================================================
--- trunk/doc/help/race/race.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/race/race.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -8,52 +8,54 @@
</HEAD>
<BODY>
<H1>Race Condition</H1>
-<P>Race Condition occurs in an BMSC if a pair of events is drawn in a particular order but the events may occur in the other order during an execution of the MSC. If the real implementation is based on the drawing, it may lead to a system failure. Please don't mix up race condition with <a href="../fifo/fifo.html">FIFO</a>; race condition is only applicable for MSCs that satisfy FIFO.</P>
-<P>SCStudio currently finds all such pairs of events in a given BMSC and also in BMSCs referenced by a HMSC. On the next picture there is an example of an BMSC which contains race condition:
+<P>
+Informally, two events are in race if they are specified by user to perform in some order, but there is a possibility that they can perform in an inverse order.
+Race condition occurs in a BMSC whenever a pair of events is drawn in a particular order but there exists a execution with a different order. If the real implementation is based on the BMSC specification, it may lead to a system failure. Do not mix up race condition with <a href="../fifo/fifo.html">FIFO</a>; race condition is only applicable for BMSCs that satisfy FIFO.</P>
+<P>SCStudio finds all pairs of events in a given BMSC and also in BMSCs referenced by an HMSC. On the next picture there is an example of an BMSC which contains race condition:
<div style="margin: 0 auto;">
<ul class="gallery"><li>
- <ul>
- <li><IMG SRC="pictures/easyrace_1.png" width="300" BORDER="0" ALT="Input BMSC" TITLE="Input BMSC"></li>
- <li>Input BMSC</li>
+ <ul >
+ <li><IMG SRC="pictures/easyrace_1.png" width="300" BORDER="0" ALT="Input BMSC" TITLE="Input BMSC"></li>
+ <li class="caption">Input BMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/easyrace_2.png" width="300" BORDER="0" ALT="Possible execution" TITLE="Possible execution"></li>
- <li>Possible execution</li>
+ <li class="caption">Possible execution</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/easyrace_result.png" width="300" BORDER="0" ALT="SCStudio result" TITLE="SCStudio result"></li>
- <li>SCStudio result</li>
+ <li class="caption">SCStudio result</li>
</ul>
</li>
</ul>
</div>
<p style="clear: both;">
-The race condition may also occur between events from different BMSC. SCStudio is capable of finding one such occurence:</P>
+The race condition may also occur between events from different BMSC within an HMSC. HMSC contains race if there exists path which contains a race. SCStudio is capable of finding one such occurence:</P>
<div style="margin: 0 auto;">
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/trickyrace_1.png" width="100" BORDER="0" ALT="Input HMSC" TITLE="Input HMSC"></li>
- <li>Input HMSC with a race</li>
+ <li class="caption">Input HMSC with a race</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/trickyrace_2.png" width="300" BORDER="0" ALT="MSC A" TITLE="MSC A"></li>
- <li>MSC A</li>
+ <li class="caption">MSC A</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/trickyrace_3.png" width="300" BORDER="0" ALT="MSC B" TITLE="MSC B"></li>
- <li>MSC B</li>
+ <li class="caption">MSC B</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/recursivity/recursivity.html
===================================================================
--- trunk/doc/help/recursivity/recursivity.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/recursivity/recursivity.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -13,20 +13,20 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/recursivity1.png" width="150" BORDER="0" ALT="Input HMSC" TITLE="Input HMSC"></li>
- <li>Input HMSC</li>
+ <li class="caption">Input HMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/recursivity2.png" width="150" BORDER="0" ALT="HMSC A violating non recursivity" TITLE="HMSC A violating non recursivity"></li>
- <li>HMSC A violating non recursivity</li>
+ <li class="caption">HMSC A violating non recursivity</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/recursivity3.png" width="150" BORDER="0" ALT="Non recursive HMSC" TITLE="Non recursive HMSC"></li>
- <li>Non recursive HMSC</li>
+ <li class="caption">Non recursive HMSC</li>
</ul>
</li>
Modified: trunk/doc/help/time_consistency/time_consistency.html
===================================================================
--- trunk/doc/help/time_consistency/time_consistency.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/time_consistency/time_consistency.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -19,7 +19,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/cons1.png" width="350" BORDER="0" ALT="Time inconsistent BMSC" TITLE="Time inconsistent BMSC"></li>
- <li>Time inconsistent BMSC</li>
+ <li class="caption">Time inconsistent BMSC</li>
</ul>
</li>
</ul>
@@ -34,7 +34,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/cons2.png" width="250" BORDER="0" ALT="Time inconsistent HMSC" TITLE="Time inconsistent HMSC"></li>
- <li>Time inconsistent HMSC</li>
+ <li class="caption">Time inconsistent HMSC</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/time_syntax/time_syntax.html
===================================================================
--- trunk/doc/help/time_syntax/time_syntax.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/time_syntax/time_syntax.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -23,7 +23,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/syntax3.png" width="350" BORDER="0" ALT="Example of a wrong time constraint" TITLE="Example of a wrong time constraint"></li>
- <li>Example of a wrong time constraint</li>
+ <li class="caption">Example of a wrong time constraint</li>
</ul>
</li>
</ul>
@@ -37,7 +37,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/syntax1.png" width="200" BORDER="0" ALT="Violation of constraint syntax" TITLE="Violation of constraint syntax"></li>
- <li>Violation of constraint syntax</li>
+ <li class="caption">Violation of constraint syntax</li>
</ul></li>
</ul>
</div>
@@ -50,7 +50,7 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/syntax2.png" width="350" BORDER="0" ALT="Example of a wrong time constraint" TITLE="Example of a wrong time constraint"></li>
- <li>Example of a wrong time constraint</li>
+ <li class="caption">Example of a wrong time constraint</li>
</ul></li>
</ul>
</div>
Modified: trunk/doc/help/time_tighten/time_tighten.html
===================================================================
--- trunk/doc/help/time_tighten/time_tighten.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/time_tighten/time_tighten.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -21,13 +21,13 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/tighten2_1.png" width="350" BORDER="0" ALT="Original BMSC" TITLE="Original BMSC"></li>
- <li>Original BMSC</li>
+ <li class="caption">Original BMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/tighten2_2.png" width="350" BORDER="0" ALT="Tightened BMSC" TITLE="Tightened BMSC"></li>
- <li>Tightened BMSC</li>
+ <li class="caption">Tightened BMSC</li>
</ul>
</li>
</ul>
@@ -52,20 +52,20 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/tighten1_1.png" width="350" BORDER="0" ALT="Original HMSC" TITLE="Original HMSC"></li>
- <li>Original HMSC</li>
+ <li class="caption">Original HMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/tighten1_2.png" width="250" BORDER="0" ALT="Original BMSC A" TITLE="Original BMSC A"></li>
- <li>Original BMSC A</li>
+ <li class="caption">Original BMSC A</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/tighten1_3.png" width="250" BORDER="0" ALT="Original BMSC B" TITLE="Original BMSC B"></li>
- <li>Original BMSC B</li>
+ <li class="caption">Original BMSC B</li>
</ul>
</li>
@@ -79,20 +79,20 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/tighten1_4.png" width="350" BORDER="0" ALT="Tightened HMSC" TITLE="Tightened HMSC"></li>
- <li>Tightened HMSC</li>
+ <li class="caption">Tightened HMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/tighten1_5.png" width="250" BORDER="0" ALT="Tightened BMSC A" TITLE="Tightened BMSC A"></li>
- <li>Tightened BMSC A</li>
+ <li class="caption">Tightened BMSC A</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/tighten1_6.png" width="250" BORDER="0" ALT="Tightened BMSC B" TITLE="Tightened BMSC B"></li>
- <li>Tightened BMSC B</li>
+ <li class="caption">Tightened BMSC B</li>
</ul>
</li>
Modified: trunk/doc/help/time_trace_race/time_race.html
===================================================================
--- trunk/doc/help/time_trace_race/time_race.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/time_trace_race/time_race.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -9,21 +9,20 @@
<BODY>
<H1>Time Race</H1>
-<P> Informally, two events are in race if they are specified by user to perform in some order, but there is a possibility that they can perform in inverse order.</P>
-<P> The introduction of time constraints can eliminate some race conditions. For example consider the next two pictures. On the first one there is a time race between <I>HTTP Request</I> and <I>HTTP Response</I> receive events. However on the second one the added time constraint caused that the BMSC is time race free (the receive event of <I>HTTP Request</I> surely happens after the <I>HTTP Response</I> receive event). </P>
+<P> The introduction of time constraints can eliminate some <a href="../race/race.html">race conditions</a>. For example consider the next two pictures. On the first one there is a time race between <I>HTTP Request</I> and <I>HTTP Response</I> receive events. However on the second one the added time constraint caused that the BMSC is time race free (the receive event of <I>HTTP Request</I> surely happens after the <I>HTTP Response</I> receive event). </P>
<div style="margin: 0 auto;">
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/race1_1.png" width="350" BORDER="0" ALT="BMSC with the time race" TITLE="BMSC with the time race"></li>
- <li>BMSC with the time race</li>
+ <li class="caption">BMSC with the time race</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/race1_2.png" width="350" BORDER="0" ALT="Time race free BMSC" TITLE="Time race free BMSC"></li>
- <li>Time race free BMSC</li>
+ <li class="caption">Time race free BMSC</li>
</ul>
</li>
</ul>
@@ -41,20 +40,20 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/race2_1.png" width="250" BORDER="0" ALT="Example of time race free HMSC" TITLE="Example of time race free HMSC"></li>
- <li>Example of time race free HMSC</li>
+ <li class="caption">Example of time race free HMSC</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/race2_2.png" width="300" BORDER="0" ALT="BMSC A" TITLE="BMSC A"></li>
- <li>BMSC A</li>
+ <li class="caption">BMSC A</li>
</ul>
</li>
<li>
<ul>
<li><IMG SRC="pictures/race2_3.png" width="300" BORDER="0" ALT="BMSC B" TITLE="BMSC B"></li>
- <li>BMSC B</li>
+ <li class="caption">BMSC B</li>
</ul>
</li>
</ul>
Modified: trunk/doc/help/unique_instance/unique_instance.html
===================================================================
--- trunk/doc/help/unique_instance/unique_instance.html 2010-09-08 07:48:34 UTC (rev 886)
+++ trunk/doc/help/unique_instance/unique_instance.html 2010-09-08 08:32:49 UTC (rev 887)
@@ -14,13 +14,13 @@
<ul class="gallery"><li>
<ul>
<li><IMG SRC="pictures/uniqueinstance.png" width="350" BORDER="0" ALT="BMSC violating unique instance names" TITLE="BMSC violating unique instance names"></li>
- <li>BMSC violating unique instance names</li>
+ <li class="caption">BMSC violating unique instance names</li>
</ul></li>
<li>
<ul>
<li><IMG SRC="pictures/uniqueinstance2.png" width="350" BORDER="0" ALT="SCStudio result" TITLE="SCStudio result"></li>
- <li>SCStudio result</li>
+ <li class="caption">SCStudio result</li>
</ul>
</li>
</ul>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
