Menu
▾
▴
[Scstudio-commits] SF.net SVN: scstudio:[925] trunk/doc/help
|
From: <got...@us...> - 2010-09-14 21:04:00
|
Revision: 925
http://scstudio.svn.sourceforge.net/scstudio/?rev=925&view=rev
Author: gotthardp
Date: 2010-09-14 21:03:53 +0000 (Tue, 14 Sep 2010)
Log Message:
-----------
Added template for membership help. Next step: write some text.
Modified Paths:
--------------
trunk/doc/help/algorithms.html
trunk/doc/help/frontend.html
trunk/doc/help/scstudio.hhc
trunk/doc/help/unique_instance/unique_instance.html
Added Paths:
-----------
trunk/doc/help/index.html
trunk/doc/help/montecarlo/
trunk/doc/help/montecarlo/montecarlo.html
trunk/doc/help/transformers.html
Modified: trunk/doc/help/algorithms.html
===================================================================
--- trunk/doc/help/algorithms.html 2010-09-14 17:07:59 UTC (rev 924)
+++ trunk/doc/help/algorithms.html 2010-09-14 21:03:53 UTC (rev 925)
@@ -3,7 +3,7 @@
<link href="help.css" rel="stylesheet" type="text/css"/>
</head>
-<h1>Algorithms</h1>
+<h1>Verification Algorithms</h1>
The following verification algorithms are supported:
<ul>
@@ -13,40 +13,14 @@
<li><a href="fifo/fifo.html">FIFO</a></li>
<li><a href="livelock/livelock.html">Livelock</a></li>
<li><a href="localchoice/localchoice.html">Nonlocal Choice</a></li>
-<li><a href="membership/membership.html">Membership</a></li>
<li><a href="race/race.html">Race Condition</a></li>
<li><a href="realizability/realizability.html">Strong Realizability</a></li>
<li><a href="recursivity/recursivity.html">Non-recursivity</li>
<li><a href="time_consistency/time_consistency.html">Time Consistency</a></li>
<li><a href="time_syntax/time_syntax.html">Correct Time Constraint Syntax</a></li>
<li><a href="time_trace_race/time_race.html">Time Race</a></li>
-<li><a href="unique_instance/unique_instance.html">Unique instance names</a></li>
+<li><a href="unique_instance/unique_instance.html">Unique Instance Names</a></li>
</ul>
-<h1>Transformers</h1>
-<ul>
-<li><a href="beautify/beautify.html">Beautify</a></li>
-<li><a href="time_tighten/time_tighten.html">Tighten Time</a></li>
-</ul>
-
-<h1>Frontend</h1>
-
-<p>Currently, the SCStudio frontend is accessible as a Microsoft Visio addon.
-Thus, Microsoft Visio 2003 or 2007 must be installed prior to installing
-SCStudio.</p>
-<p>When an MSC document is opened, the Sequence Chart Studio toolbar and menu Check
-are available:</p>
-<img class="big" src="frontend/pictures/frontend.png" alt="SCStudio toolbar and menu in MS Visio">
-
-<p>SCStudio functions extending Visio are divided into the following categories:</p>
-<ul>
-<li><a href="frontend/automatic-drawing.html">Automatic drawing</a></li>
-<li><a href="frontend/message-numbering.html">Message numbering</a></li>
-<li><a href="frontend/message-snapping.html">Message snapping</a></li>
-<li><a href="frontend/shape-selection.html">Shape selection</a></li>
-</ul>
-
-<p>Many SCStudio functions define their own keyboard accelerators.
-See the <a href="frontend/shortcuts.html">keyboard accelerators</a> section to
-list all of them.</p></body>
+</body>
</html>
Modified: trunk/doc/help/frontend.html
===================================================================
--- trunk/doc/help/frontend.html 2010-09-14 17:07:59 UTC (rev 924)
+++ trunk/doc/help/frontend.html 2010-09-14 21:03:53 UTC (rev 925)
@@ -15,10 +15,10 @@
<p>SCStudio functions extending Visio are divided into the following categories:</p>
<ul>
-<li><a href="frontend/shape-selection.html">Shape selection</a></li>
-<li><a href="frontend/automatic-drawing.html">Automatic drawing</a></li>
-<li><a href="frontend/message-numbering.html">Message numbering</a></li>
-<li><a href="frontend/message-snapping.html">Message snapping</a></li>
+<li><a href="frontend/shape-selection.html">Shape Selection</a></li>
+<li><a href="frontend/automatic-drawing.html">Automatic Drawing</a></li>
+<li><a href="frontend/message-numbering.html">Message Numbering</a></li>
+<li><a href="frontend/message-snapping.html">Message Snapping</a></li>
</ul>
<p>Many SCStudio functions define their own keyboard accelerators.
Added: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html (rev 0)
+++ trunk/doc/help/index.html 2010-09-14 21:03:53 UTC (rev 925)
@@ -0,0 +1,45 @@
+<html>
+<head>
+<link href="help.css" rel="stylesheet" type="text/css"/>
+</head>
+
+<h1>Sequence Chart Studio</h1>
+
+<ul>
+<li><a href="frontend.html">Microsoft Visio Front-end</a>
+ <ul>
+ <li><a href="frontend/shape-selection.html">Shape Selection</a></li>
+ <li><a href="frontend/automatic-drawing.html">Automatic Drawing</a></li>
+ <li><a href="frontend/message-numbering.html">Message Numbering</a></li>
+ <li><a href="frontend/message-snapping.html">Message Snapping</a></li>
+ <li><a href="frontend/shortcuts.html">Keyboard Accelerators</a></li>
+ </ul>
+</li>
+<li><a href="algorithms.html">Verification Algoritms</a>
+ <ul>
+ <li><a href="acyclic/acyclic.html">Acyclic property</a></li>
+ <li><a href="boundedness/boundedness.html">Universal Boundedness</a></li>
+ <li><a href="deadlock/deadlock.html">Deadlock</a></li>
+ <li><a href="fifo/fifo.html">FIFO</a></li>
+ <li><a href="livelock/livelock.html">Livelock</a></li>
+ <li><a href="localchoice/localchoice.html">Nonlocal Choice</a></li>
+ <li><a href="race/race.html">Race Condition</a></li>
+ <li><a href="realizability/realizability.html">Strong Realizability</a></li>
+ <li><a href="recursivity/recursivity.html">Non-recursivity</li>
+ <li><a href="time_consistency/time_consistency.html">Time Consistency</a></li>
+ <li><a href="time_syntax/time_syntax.html">Correct Time Constraint Syntax</a></li>
+ <li><a href="time_trace_race/time_race.html">Time Race</a></li>
+ <li><a href="unique_instance/unique_instance.html">Unique Instance Names</a></li>
+</ul>
+</li>
+<li><a href="membership/membership.html">Drawing Membership</a></li>
+<li><a href="montecarlo/montecarlo.html">Monte Carlo Simulation</a></li>
+<li><a href="transformers.html">Drawing Transformers</a></li>
+ <ul>
+ <li><a href="beautify/beautify.html">Beautify</a></li>
+ <li><a href="time_tighten/time_tighten.html">Tighten Time</a></li>
+ </ul>
+</ul>
+
+</body>
+</html>
Property changes on: trunk/doc/help/index.html
___________________________________________________________________
Added: svn:eol-style
+ native
Added: trunk/doc/help/montecarlo/montecarlo.html
===================================================================
--- trunk/doc/help/montecarlo/montecarlo.html (rev 0)
+++ trunk/doc/help/montecarlo/montecarlo.html 2010-09-14 21:03:53 UTC (rev 925)
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="utf-8"?>
+
+<!DOCTYPE html
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+ <head>
+ <title>
+ Monte Carlo Simulation
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h2>
+ Monte Carlo Simulation
+ </h2>
+ <p>
+ Through the Monte Carlo Simulation you can estimate a value of time
+ measurements in your drawing. To receive simulation results you need
+ to start the Microsoft Excel.
+ </p>
+ </body>
+</html>
Property changes on: trunk/doc/help/montecarlo/montecarlo.html
___________________________________________________________________
Added: svn:eol-style
+ native
Modified: trunk/doc/help/scstudio.hhc
===================================================================
--- trunk/doc/help/scstudio.hhc 2010-09-14 17:07:59 UTC (rev 924)
+++ trunk/doc/help/scstudio.hhc 2010-09-14 21:03:53 UTC (rev 925)
@@ -14,11 +14,11 @@
</OBJECT>
<UL>
<LI> <OBJECT type="text/sitemap">
- <param name="Name" value="Shape selection">
+ <param name="Name" value="Shape Selection">
<param name="Local" value="frontend\shape-selection.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
- <param name="Name" value="Automatic drawing">
+ <param name="Name" value="Automatic Drawing">
<param name="Local" value="frontend\automatic-drawing.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
@@ -30,7 +30,7 @@
<param name="Local" value="frontend\message-snapping.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
- <param name="Name" value="Keyboard accelerators">
+ <param name="Name" value="Keyboard Accelerators">
<param name="Local" value="frontend\shortcuts.html">
</OBJECT>
</UL>
@@ -44,37 +44,74 @@
<param name="Local" value="acyclic\acyclic.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Universal Boundedness">
+ <param name="Local" value="boundedness\boundedness.html">
+ </OBJECT>
+ <LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Deadlock Property">
+ <param name="Local" value="deadlock\deadlock.html">
+ </OBJECT>
+ <LI> <OBJECT type="text/sitemap">
<param name="Name" value="FIFO property">
<param name="Local" value="fifo\fifo.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Livelock Property">
+ <param name="Local" value="livelock\livelock.html">
+ </OBJECT>
+ <LI> <OBJECT type="text/sitemap">
<param name="Name" value="Nonlocal Choice">
<param name="Local" value="localchoice\localchoice.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
- <param name="Name" value="Membership">
- <param name="Local" value="membership\membership.html">
- </OBJECT>
- <LI> <OBJECT type="text/sitemap">
<param name="Name" value="Race Condition">
<param name="Local" value="race\race.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
- <param name="Name" value="Deadlock Property">
- <param name="Local" value="deadlock\deadlock.html">
+ <param name="Name" value="Strong Realizability">
+ <param name="Local" value="realizability\realizability.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
- <param name="Name" value="Livelock Property">
- <param name="Local" value="livelock\livelock.html">
+ <param name="Name" value="Non-recursivity">
+ <param name="Local" value="recursivity/recursivity.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
- <param name="Name" value="Universal Boundedness">
- <param name="Local" value="boundedness\boundedness.html">
+ <param name="Name" value="Time Consistency">
+ <param name="Local" value="time_consistency/time_consistency.html">
</OBJECT>
<LI> <OBJECT type="text/sitemap">
- <param name="Name" value="Strong Realizability">
- <param name="Local" value="realizability\realizability.html">
+ <param name="Name" value="Correct Time Constraint Syntax">
+ <param name="Local" value="time_syntax/time_syntax.html">
</OBJECT>
+ <LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Time Race">
+ <param name="Local" value="time_trace_race/time_race.html">
+ </OBJECT>
+ <LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Unique Instance Names">
+ <param name="Local" value="unique_instance/unique_instance.html">
+ </OBJECT>
</UL>
+ <LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Membership">
+ <param name="Local" value="membership\membership.html">
+ </OBJECT>
+ <LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Monte Carlo Simulation">
+ <param name="Local" value="montecarlo\montecarlo.html">
+ </OBJECT>
+ <LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Transformers">
+ </OBJECT>
+ <UL>
+ <LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Beautify">
+ <param name="Local" value="beautify\beautify.html">
+ </OBJECT>
+ <LI> <OBJECT type="text/sitemap">
+ <param name="Name" value="Tighten Time">
+ <param name="Local" value="time_tighten\time_tighten.html">
+ </OBJECT>
+ </UL>
</UL>
</BODY></HTML>
Added: trunk/doc/help/transformers.html
===================================================================
--- trunk/doc/help/transformers.html (rev 0)
+++ trunk/doc/help/transformers.html 2010-09-14 21:03:53 UTC (rev 925)
@@ -0,0 +1,13 @@
+<html>
+<head>
+<link href="help.css" rel="stylesheet" type="text/css"/>
+</head>
+
+<h1>Drawing Transformers</h1>
+<ul>
+<li><a href="beautify/beautify.html">Beautify</a></li>
+<li><a href="time_tighten/time_tighten.html">Tighten Time</a></li>
+</ul>
+
+</body>
+</html>
Property changes on: trunk/doc/help/transformers.html
___________________________________________________________________
Added: svn:eol-style
+ native
Modified: trunk/doc/help/unique_instance/unique_instance.html
===================================================================
--- trunk/doc/help/unique_instance/unique_instance.html 2010-09-14 17:07:59 UTC (rev 924)
+++ trunk/doc/help/unique_instance/unique_instance.html 2010-09-14 21:03:53 UTC (rev 925)
@@ -14,7 +14,7 @@
</head>
<body>
<h1>
- Unique instance names
+ Unique Instance Names
</h1>
<p>
ensures that there are no two instances with the same name within a BMSC.
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
