|
From: <mbe...@us...> - 2010-09-18 18:06:24
|
Revision: 974
http://scstudio.svn.sourceforge.net/scstudio/?rev=974&view=rev
Author: mbezdeka
Date: 2010-09-18 18:06:18 +0000 (Sat, 18 Sep 2010)
Log Message:
-----------
frontend help fixed:
- added deleted message_numbering.html
- fixed page names in index.html, shortcuts.html
Modified Paths:
--------------
trunk/doc/help/frontend/shortcuts.html
trunk/doc/help/index.html
Added Paths:
-----------
trunk/doc/help/frontend/message_numbering.html
Added: trunk/doc/help/frontend/message_numbering.html
===================================================================
--- trunk/doc/help/frontend/message_numbering.html (rev 0)
+++ trunk/doc/help/frontend/message_numbering.html 2010-09-18 18:06:18 UTC (rev 974)
@@ -0,0 +1,75 @@
+<?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>Message Numbering – SCStudio frontend</title>
+<link href="../help.css" rel="stylesheet" type="text/css">
+</head>
+<body>
+<h1>Message Numbering</h1>
+<p>Message numbering allows users to enumerate all types of message shapes (left, right, lost, found).<br>
+You can enumerate all messages on the active page (if no messages are selected) or the selection.<br>
+</p>
+
+<h2>Enable message numbering</h2>
+<p>By pressing Message numbering button <img src="pictures/icon_message_enumeration.png" alt="Message Numbering">, via menu <code>Check->Drawing->Message numbering->Message numbering</code> or by using hotkey <Code>Ctrl+Alt+E</Code> the dialog with options will be shown:</p>
+
+<p>
+<img src="pictures/message_numbering_options.png" alt="Message Numbering options dialog">
+</p>
+
+<p>You can choose:<br>
+- specific numbering type (numbers, letters, capital letters, romans)<br>
+- starting index (1-9999 for number, letters and capital letters and 1-3999 for romans)<br>
+- and additional string following the index such as ".", "-", … (max 4 chars). A space between the index and the message label is added automatically.<br>
+</p>
+
+<p>
+When the OK button is pressed, messages are numbered according to their positions on the page from left to right and then from top to bottom.<br>
+Already numbered messages will be overwritten by new numbering.
+ </p>
+
+<h2>Disable message numbering</h2>
+<p>Numbering can be deleted by pressing Delete numbering button <img src="pictures/icon_message_enumeration_disable.png" alt="Disable message numbering"> on the toolbar, via menu <code>Check->Drawing->Message numbering->Delete numbering</code> or by using hotkey <Code>Ctrl+Alt+D.</Code></p>
+
+<p>
+Using <code>Delete numbering</code> on selection causes other messages indexes will be recomputed. <br>
+If no selection is used all numbering indexes will be deleted.
+</p>
+
+<h2>Numbering group selection</h2>
+<p>When a group of messages is numbered, user can select it by right-click on any of numbered messages from group and choose <code>Select numbering group</code> from context menu. Example is shown in the following picture:</p>
+
+<p>
+<img src="pictures/select_numbering_group.png" alt="Select numbering group">
+</p>
+
+<h2>Auto numbering</h2>
+<p>New messages can be automatically numbered after they are dropped on the page. Specific behavior can be set via menu <code>Check->Drawing->Settings</code>, tab Numbering. Following dialog will be shown:</p>
+
+<p>
+<img src="pictures/message_numbering_autoenum_options.png" alt="Auto numbering options">
+</p>
+
+<p>
+Options are:<br>
+</p>
+
+<p>
+<code>automatic numbering new messages</code><br>
+ - sets whether auto numbering is enabled, otherwise all other options are disabled.<br><br>
+<code>as nearest message</code><br>
+ - new messages will be numbered according to the group of the closest message on the active page. All message indexes in the current group will be recounted. If the closest message isn't numbered, new one won't be either. <br>
+<code>as nearest numbered message</code><br>
+ - new messages will be numbered according to the closest <b>numbered</b> message on the active page. If there are no numbered messages on the active page you can choose between: <br><br>
+ <code>don't number</code><br>
+ - don't number new messages if there are no numbered messages on the page.<br>
+ <code>use numbering style</code><br>
+ - use specific numbering style if there are no numbered messages on the page.<br>
+</p>
+</body>
+</html>
\ No newline at end of file
Modified: trunk/doc/help/frontend/shortcuts.html
===================================================================
--- trunk/doc/help/frontend/shortcuts.html 2010-09-18 17:43:26 UTC (rev 973)
+++ trunk/doc/help/frontend/shortcuts.html 2010-09-18 18:06:18 UTC (rev 974)
@@ -26,7 +26,7 @@
<code>Ctrl+Alt+I</code>
</td>
<td>
- <a href="shape-selection.html">Select all instances</a>
+ <a href="shape_selection.html">Select all instances</a>
</td>
</tr>
<tr>
@@ -34,7 +34,7 @@
<code>Ctrl+Alt+M</code>
</td>
<td>
- <a href="shape-selection.html">Select all message</a>
+ <a href="shape_selection.html">Select all message</a>
</td>
</tr>
<tr>
@@ -42,7 +42,7 @@
<code>Ctrl+Alt+F</code>
</td>
<td>
- <a href="automatic-drawing.html#add_instances">Add instances</a>
+ <a href="automatic_drawing.html#add_instances">Add instances</a>
</td>
</tr>
<tr>
@@ -50,7 +50,7 @@
<code>Ctrl+Alt+S</code>
</td>
<td>
- <a href="automatic-drawing.html#message_sequence">Message sequence</a>
+ <a href="automatic_drawing.html#message_sequence">Message sequence</a>
</td>
</tr>
<tr>
@@ -58,7 +58,7 @@
<code>Ctrl+Alt+E</code>
</td>
<td>
- <a href="message-numbering.html">Message Numbering</a>
+ <a href="message_numbering.html">Message Numbering</a>
</td>
</tr>
<tr>
@@ -66,7 +66,7 @@
<code>Ctrl+Alt+D</code>
</td>
<td>
- <a href="message-numbering.html">Delete message numbering</a>
+ <a href="message_numbering.html">Delete message numbering</a>
</td>
</tr>
</table>
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2010-09-18 17:43:26 UTC (rev 973)
+++ trunk/doc/help/index.html 2010-09-18 18:06:18 UTC (rev 974)
@@ -20,16 +20,16 @@
<a href="frontend.html">Microsoft Visio Front-end</a>
<ul>
<li>
- <a href="frontend/shape-selection.html">Shape Selection</a>
+ <a href="frontend/shape_selection.html">Shape Selection</a>
</li>
<li>
- <a href="frontend/automatic-drawing.html">Automatic Drawing</a>
+ <a href="frontend/automatic_drawing.html">Automatic Drawing</a>
</li>
<li>
- <a href="frontend/message-numbering.html">Message Numbering</a>
+ <a href="frontend/message_numbering.html">Message Numbering</a>
</li>
<li>
- <a href="frontend/message-snapping.html">Message Snapping</a>
+ <a href="frontend/message_snapping.html">Message Snapping</a>
</li>
<li>
<a href="frontend/shortcuts.html">Keyboard Accelerators</a>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ob...@us...> - 2010-09-20 14:41:11
|
Revision: 978
http://scstudio.svn.sourceforge.net/scstudio/?rev=978&view=rev
Author: obouda
Date: 2010-09-20 14:41:01 +0000 (Mon, 20 Sep 2010)
Log Message:
-----------
Documentation corrections and added documentation for Flip message direction, instance rotation and message jumping
Modified Paths:
--------------
trunk/doc/help/frontend/message_numbering.html
trunk/doc/help/frontend/pictures/message_snapping_options.png
trunk/doc/help/frontend/shortcuts.html
trunk/doc/help/frontend.html
Added Paths:
-----------
trunk/doc/help/frontend/flip_message_direction.html
trunk/doc/help/frontend/pictures/flip_message_direction.png
trunk/doc/help/frontend/pictures/flip_message_direction_applied.png
trunk/doc/help/frontend/settings.html
Removed Paths:
-------------
trunk/doc/help/frontend/message_snapping.html
Added: trunk/doc/help/frontend/flip_message_direction.html
===================================================================
--- trunk/doc/help/frontend/flip_message_direction.html (rev 0)
+++ trunk/doc/help/frontend/flip_message_direction.html 2010-09-20 14:41:01 UTC (rev 978)
@@ -0,0 +1,31 @@
+<?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>
+ Flip Message Direction - SCStudio frontend
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h1>
+ Flip Message Direction
+ </h1>
+ <p>
+ Direction of the messages already drawn may be flipped.
+ Such a function is available in the context (right-click) menu of
+ a message or a set of messages via <code>Flip message direction</code>
+ item, as shown in the following picture:
+ </p>
+ <img src="pictures/flip_message_direction.png" alt="Flip message direction function" />
+ <p>
+ After invoking the Flip message direction function, the direction of all
+ selected messages is reversed:
+ </p>
+ <img src="pictures/flip_message_direction_applied.png" alt="Flip message direction function applied" />
+ </body>
+</html>
Modified: trunk/doc/help/frontend/message_numbering.html
===================================================================
--- trunk/doc/help/frontend/message_numbering.html 2010-09-20 14:29:47 UTC (rev 977)
+++ trunk/doc/help/frontend/message_numbering.html 2010-09-20 14:41:01 UTC (rev 978)
@@ -3,11 +3,11 @@
<!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>Message Numbering – SCStudio frontend</title>
-<link href="../help.css" rel="stylesheet" type="text/css">
+<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
<h1>Message Numbering</h1>
@@ -31,14 +31,14 @@
<p>
When the OK button is pressed, messages are numbered according to their positions on the page from left to right and then from top to bottom.<br>
Already numbered messages will be overwritten by new numbering.
- </p>
+ </p>
<h2>Disable message numbering</h2>
<p>Numbering can be deleted by pressing Delete numbering button <img src="pictures/icon_message_enumeration_disable.png" alt="Disable message numbering"> on the toolbar, via menu <code>Check->Drawing->Message numbering->Delete numbering</code> or by using hotkey <Code>Ctrl+Alt+D.</Code></p>
<p>
Using <code>Delete numbering</code> on selection causes other messages indexes will be recomputed. <br>
-If no selection is used all numbering indexes will be deleted.
+If no selection is used all numbering indexes will be deleted.
</p>
<h2>Numbering group selection</h2>
Deleted: trunk/doc/help/frontend/message_snapping.html
===================================================================
--- trunk/doc/help/frontend/message_snapping.html 2010-09-20 14:29:47 UTC (rev 977)
+++ trunk/doc/help/frontend/message_snapping.html 2010-09-20 14:41:01 UTC (rev 978)
@@ -1,62 +0,0 @@
-<?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>
- Message Snapping - SCStudio frontend
- </title>
- <link href="../help.css" rel="stylesheet" type="text/css" />
- </head>
- <body>
- <h1>
- Message Snapping
- </h1>
- <p>
- When a message is dropped onto the drawing a user has to connect this
- message to the instances manually. If Message snapping is enabled then all
- new messages are automatically snapped to the nearest instances as soon as
- the user releases the mouse button. The nearest instances are taken from
- the mouse position.
- </p>
- <p>
- Snapping can be enabled via <code>Check -> Drawing -> Settings...</code>,
- tab Snap & Glue. Following dialog will be shown:
- </p>
- <p>
- <img src="pictures/message_snapping_options.png"
- alt="Message Snapping options dialog" />
- </p>
- <p>
- Options are:<br /> <code>Enable/disable message snapping</code><br />
-    - sets whether message snapping is enabled, otherwise all
- other options are disabled.
- </p>
- <p>
- When the message is already dropped on the page, user can still use
- snapping. As the message is moved, it automatically snaps to the nearest
- instance(s) (if exists). Since the message can be oblique, three types of
- snapping are provided:<br /><br /> <code>straighten</code><br />
-   - the message is straighten on the current location of the
- mouse cursor and snapped to instance(s).<br /> <code>preserve
- vertical distance between send - receive</code><br />
-   - endpoint(s) of the message are horizontally stretched and snapped
- to the nearest instance(s).<br /> <code>preserve slope</code><br />
-   - the message stays obliqued as it was. The endpoint(s) will
- be prolonged to the nearest instance(s).<br />
- </p>
- <h2>
- Multiple message snapping
- </h2>
- <i>Not implemented yet</i>
- <h2>
- Restrictions
- </h2>
- - Lost and Found messages are snapped only at one endpoint.<br /> -
- Messages can be snapped only to the instances lines. Instance's head and end
- symbols are ignored.<br />
- </body>
-</html>
Added: trunk/doc/help/frontend/pictures/flip_message_direction.png
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/frontend/pictures/flip_message_direction.png
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Added: trunk/doc/help/frontend/pictures/flip_message_direction_applied.png
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/frontend/pictures/flip_message_direction_applied.png
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Modified: trunk/doc/help/frontend/pictures/message_snapping_options.png
===================================================================
(Binary files differ)
Copied: trunk/doc/help/frontend/settings.html (from rev 976, trunk/doc/help/frontend/message_snapping.html)
===================================================================
--- trunk/doc/help/frontend/settings.html (rev 0)
+++ trunk/doc/help/frontend/settings.html 2010-09-20 14:41:01 UTC (rev 978)
@@ -0,0 +1,85 @@
+<?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>
+ Drawing Settings - SCStudio frontend
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
+ <h1>Drawing Settings</h1>
+
+ <p>
+ The SCStudio frontend may be configured via menu
+ <code>Check → Drawing → Settings…</code>.
+ Concrete configuration sections are described below.
+ </p>
+
+ <h2>Message Numbering</h2>
+ <p>
+ Message numbering and its configuration is described on a
+ <a href="message_numbering.html">separate page</a>.
+ </p>
+
+ <h2>Message Snapping</h2>
+ <p>
+ When a message is dropped onto the drawing, the user has to connect this
+ message to the instances manually. If Message snapping is enabled, then all
+ new messages are automatically snapped to the nearest instances as soon as
+ the user releases the mouse button. The nearest instances are taken from
+ the mouse position.
+ </p>
+ <p>
+ Snapping can be enabled via <code>Check -> Drawing -> Settings…</code>,
+ tab Snap & Glue. Following dialog will be shown:
+ </p>
+ <p>
+ <img src="pictures/message_snapping_options.png"
+ alt="Message Snapping options dialog" />
+ </p>
+ <p>
+ Options are:<br /> <code>Enable/disable message snapping</code><br />
+    - sets whether message snapping is enabled, otherwise all
+ other options are disabled.
+ </p>
+ <p>
+ When the message is already dropped on the page, user can still use
+ snapping. As the message is moved, it automatically snaps to the nearest
+ instance(s) (if exists). Since the message can be oblique, three types of
+ snapping are provided:<br /><br /> <code>straighten</code><br />
+   - the message is straightened on the current location of the
+ mouse cursor and snapped to instance(s).<br /> <code>preserve
+ vertical distance between send - receive</code><br />
+   - endpoint(s) of the message are horizontally stretched and snapped
+ to the nearest instance(s).<br /> <code>preserve slope</code><br />
+   - the message stays obliqued as it was. The endpoint(s) will
+ be prolonged to the nearest instance(s).<br />
+ </p>
+ <h3>
+ Restrictions
+ </h3>
+ <ul>
+ <li>Multiple message snapping is not implemented.</li>
+ <li>Lost and Found messages are snapped only at one endpoint.</li>
+ <li>Messages can be snapped only to the instances lines. Instance's head and end
+ symbols are ignored.</li>
+ </ul>
+
+ <h2>Protection</h2>
+ <p>
+ In the Protection section, some drawing protection options can be set.
+ </p>
+ <p>
+ Normally, shapes can be rotated in Microsoft Visio. However, the
+ ITU-T Z.120 standard specifies the instances to be drawn vertically.
+ The option <code>Do not allow to rotate instances</code> may be set to
+ disable instance rotating.
+ </p>
+
+ </body>
+</html>
Modified: trunk/doc/help/frontend/shortcuts.html
===================================================================
--- trunk/doc/help/frontend/shortcuts.html 2010-09-20 14:29:47 UTC (rev 977)
+++ trunk/doc/help/frontend/shortcuts.html 2010-09-20 14:41:01 UTC (rev 978)
@@ -34,7 +34,7 @@
<code>Ctrl+Alt+M</code>
</td>
<td>
- <a href="shape_selection.html">Select all message</a>
+ <a href="shape_selection.html">Select all messages</a>
</td>
</tr>
<tr>
Modified: trunk/doc/help/frontend.html
===================================================================
--- trunk/doc/help/frontend.html 2010-09-20 14:29:47 UTC (rev 977)
+++ trunk/doc/help/frontend.html 2010-09-20 14:41:01 UTC (rev 978)
@@ -32,17 +32,20 @@
</p>
<ul>
<li>
- <a href="frontend/shape-selection.html">Shape selection</a>
+ <a href="frontend/shape_selection.html">Shape selection</a>
</li>
<li>
- <a href="frontend/automatic-drawing.html">Automatic drawing</a>
+ <a href="frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="frontend/message-numbering.html">Message numbering</a>
+ <a href="frontend/message_numbering.html">Message numbering</a>
</li>
<li>
- <a href="frontend/message-snapping.html">Message snapping</a>
+ <a href="frontend/flip_message_direction.html">Flip message direction</a>
</li>
+ <li>
+ <a href="frontend/settings.html">Drawing settings</a>
+ </li>
</ul>
<p>
Many SCStudio functions define their own keyboard accelerators. See the <a
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <koc...@us...> - 2010-09-20 15:36:57
|
Revision: 980
http://scstudio.svn.sourceforge.net/scstudio/?rev=980&view=rev
Author: kocianon
Date: 2010-09-20 15:36:50 +0000 (Mon, 20 Sep 2010)
Log Message:
-----------
deleting redundant help files: one index file, menu on the left; menu in final look in acyclic.html
Modified Paths:
--------------
trunk/doc/help/acyclic/acyclic.html
trunk/doc/help/help.css
trunk/doc/help/index.html
Removed Paths:
-------------
trunk/doc/help/algorithms.html
trunk/doc/help/frontend.html
trunk/doc/help/transformers.html
Modified: trunk/doc/help/acyclic/acyclic.html
===================================================================
--- trunk/doc/help/acyclic/acyclic.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/acyclic/acyclic.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -17,88 +17,90 @@
</h1>
<ul>
<li>
- <a href="../frontend.html">Microsoft Visio Front-end</a>
+ Microsoft Visio Front-end
<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>
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="frontend/settings.html">Drawing settings</a>
+ </li>
</ul>
</li>
<li>
- <a href="../algorithms.html">Verification Algoritms</a>
+ Verification Algorithms
<ul>
<li>
<a href="../acyclic/acyclic.html">Acyclic property</a>
</li>
<li>
- <a href="../boundedness/boundedness.html">Universal Boundedness</a>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
</li>
<li>
- <a href="../deadlock/deadlock.html">Deadlock</a>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
</li>
<li>
- <a href="../fifo/fifo.html">FIFO</a>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
</li>
<li>
- <a href="../livelock/livelock.html">Livelock</a>
+ <a href="../livelock/livelock.html">Livelock Free</a>
</li>
<li>
- <a href="../localchoice/localchoice.html">Nonlocal Choice</a>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
</li>
<li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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</a>
+ <a href="../time_consistency/time_consistency.html">Time Consistent</a>
</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
</ul>
</li>
<li>
- <a href="../membership/membership.html">Drawing Membership</a>
+ <a href="../membership/membership.html">Find Flow</a>
</li>
<li>
<a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
</li>
<li>
- <a href="../transformers.html">Drawing Transformers</a>
- </li>
- <li>
+ Drawing Transformers
<ul>
+
<li>
<a href="../beautify/beautify.html">Beautify</a>
</li>
<li>
<a href="../time_tighten/time_tighten.html">Tighten Time</a>
</li>
+ <li>
+ Repaint
+ </li>
</ul>
</li>
</ul>
Deleted: trunk/doc/help/algorithms.html
===================================================================
--- trunk/doc/help/algorithms.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/algorithms.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -1,110 +0,0 @@
-<?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>all</title>
- <link href="help.css" rel="stylesheet" type="text/css" />
- </head>
- <body>
- <h1>
- Algorithms
- </h1>
- The following verification algorithms are supported:
- <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="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</a>
- </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>
- <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>
-</html>
Deleted: trunk/doc/help/frontend.html
===================================================================
--- trunk/doc/help/frontend.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/frontend.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -1,56 +0,0 @@
-<?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>
- SCStudio frontend
- </title>
- <link href="help.css" rel="stylesheet" type="text/css" />
- </head>
- <body>
- <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/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/flip_message_direction.html">Flip message direction</a>
- </li>
- <li>
- <a href="frontend/settings.html">Drawing settings</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>
-</html>
Modified: trunk/doc/help/help.css
===================================================================
--- trunk/doc/help/help.css 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/help.css 2010-09-20 15:36:50 UTC (rev 980)
@@ -52,7 +52,7 @@
ul.gallery ul { padding:20px; margin:20px; border:1px #B4B4B4 solid;}
-.menu { float: left; width: 250px; border: 1px solid #b4b4b4; padding: 4px; position: relative; font-size: 12px; margin-right: 700px}
+.menu { float: left; width: 250px; border: 1px solid #b4b4b4; padding: 4px; position: relative; font-size: 12px;margin: 5px; margin-right: 700px; font-weight: bold; }
.menu h1 { text-align: center; margin-bottom: 30px; }
.footer {text-align: center; margin-top: 45px; font-size: 10px; line-height: 5px; }
.content { float: right; position: absolute; margin-left: 300px; max-width: 800px; }
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/index.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -17,7 +17,7 @@
</h1>
<ul>
<li>
- <a href="frontend.html">Microsoft Visio Front-end</a>
+ Microsoft Visio Front-end
<ul>
<li>
<a href="frontend/shape_selection.html">Shape Selection</a>
@@ -37,7 +37,7 @@
</ul>
</li>
<li>
- <a href="algorithms.html">Verification Algoritms</a>
+ Verification Algoritms
<ul>
<li>
<a href="acyclic/acyclic.html">Acyclic property</a>
@@ -89,9 +89,7 @@
<a href="montecarlo/montecarlo.html">Monte Carlo Simulation</a>
</li>
<li>
- <a href="transformers.html">Drawing Transformers</a>
- </li>
- <li>
+ Drawing Transformers
<ul>
<li>
<a href="beautify/beautify.html">Beautify</a>
Deleted: trunk/doc/help/transformers.html
===================================================================
--- trunk/doc/help/transformers.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/transformers.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -1,27 +0,0 @@
-<?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>
- <link href="help.css" rel="stylesheet" type="text/css" />
- <title>
- Transformers
- </title>
- </head>
- <body>
- <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>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <koc...@us...> - 2010-09-20 16:11:19
|
Revision: 982
http://scstudio.svn.sourceforge.net/scstudio/?rev=982&view=rev
Author: kocianon
Date: 2010-09-20 16:11:11 +0000 (Mon, 20 Sep 2010)
Log Message:
-----------
adding menu to help; changing index file to have some basic info about scstudio (taken from homepage)
Modified Paths:
--------------
trunk/doc/help/acyclic/acyclic.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/frontend/automatic_drawing.html
trunk/doc/help/frontend/flip_message_direction.html
trunk/doc/help/frontend/message_numbering.html
trunk/doc/help/frontend/settings.html
trunk/doc/help/frontend/shape_selection.html
trunk/doc/help/frontend/shortcuts.html
trunk/doc/help/help.css
trunk/doc/help/index.html
trunk/doc/help/livelock/livelock.html
trunk/doc/help/localchoice/localchoice.html
trunk/doc/help/membership/membership.html
trunk/doc/help/montecarlo/montecarlo.html
trunk/doc/help/race/race.html
trunk/doc/help/realizability/realizability.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
Added Paths:
-----------
trunk/doc/help/pictures/scstudio.png
Modified: trunk/doc/help/acyclic/acyclic.html
===================================================================
--- trunk/doc/help/acyclic/acyclic.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/acyclic/acyclic.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -20,19 +20,19 @@
Microsoft Visio Front-end
<ul>
<li>
- <a href="frontend/shape_selection.html">Shape selection</a>
+ <a href="../frontend/shape_selection.html">Shape selection</a>
</li>
<li>
- <a href="frontend/automatic_drawing.html">Automatic drawing</a>
+ <a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Message numbering</a>
</li>
<li>
- <a href="frontend/flip_message_direction.html">Flip message direction</a>
+ <a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Drawing settings</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/beautify/beautify.html
===================================================================
--- trunk/doc/help/beautify/beautify.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/beautify/beautify.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -12,6 +12,107 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Drawing settings</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
+ <div class="content">
<h2>
Beautify
</h2>
@@ -110,5 +211,6 @@
</ul>
</li>
</ul>
+ </div>
</body>
</html>
Modified: trunk/doc/help/boundedness/boundedness.html
===================================================================
--- trunk/doc/help/boundedness/boundedness.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/boundedness/boundedness.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -13,6 +13,107 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Drawing settings</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
+ <div class="content">
<h1>
Universal Boundedness
</h1>
@@ -68,5 +169,6 @@
of them. Thus we have exceeded the bound <i>B</i> for this
buffer.
</p>
+ </div>
</body>
</html>
Modified: trunk/doc/help/deadlock/deadlock.html
===================================================================
--- trunk/doc/help/deadlock/deadlock.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/deadlock/deadlock.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -13,6 +13,107 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Drawing settings</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
+ <div class="content">
<h1>
Deadlock
</h1>
@@ -43,5 +144,6 @@
</ul>
</li>
</ul>
+ </div>
</body>
</html>
Modified: trunk/doc/help/fifo/fifo.html
===================================================================
--- trunk/doc/help/fifo/fifo.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/fifo/fifo.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -13,6 +13,107 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Drawing settings</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
+ <div class="content">
<h1>
FIFO (First In, First Out) property
</h1>
@@ -178,5 +279,6 @@
HMSC satisfies FIFO property for a certain channel type, if every BMSC
represented by the HMSC satisfies the FIFO property for that channel type.
</p>
+ </div>
</body>
</html>
Modified: trunk/doc/help/frontend/automatic_drawing.html
===================================================================
--- trunk/doc/help/frontend/automatic_drawing.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/frontend/automatic_drawing.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -12,6 +12,107 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Drawing settings</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
+ <div class="content">
<h1>
Automatic drawing
</h1>
@@ -122,5 +223,6 @@
messages passing through a coregion may be ordered by ordering line or
side-side ordering.
</p>
+ </div>
</body>
</html>
Modified: trunk/doc/help/frontend/flip_message_direction.html
===================================================================
--- trunk/doc/help/frontend/flip_message_direction.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/frontend/flip_message_direction.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -12,6 +12,107 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Drawing settings</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
+ <div class="content">
<h1>
Flip Message Direction
</h1>
@@ -27,5 +128,6 @@
selected messages is reversed:
</p>
<img src="pictures/flip_message_direction_applied.png" alt="Flip message direction function applied" />
+ </div>
</body>
</html>
Modified: trunk/doc/help/frontend/message_numbering.html
===================================================================
--- trunk/doc/help/frontend/message_numbering.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/frontend/message_numbering.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -10,6 +10,107 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Drawing settings</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
+ <div class="content">
<h1>Message Numbering</h1>
<p>Message numbering allows users to enumerate all types of message shapes (left, right, lost, found).<br>
You can enumerate all messages on the active page (if no messages are selected) or the selection.<br>
@@ -71,5 +172,6 @@
<code>use numbering style</code><br>
- use specific numbering style if there are no numbered messages on the page.<br>
</p>
+</div>
</body>
-</html>
\ No newline at end of file
+</html>
Modified: trunk/doc/help/frontend/settings.html
===================================================================
--- trunk/doc/help/frontend/settings.html 2010-09-20 15:38:48 UTC (rev 981)
+++ trunk/doc/help/frontend/settings.html 2010-09-20 16:11:11 UTC (rev 982)
@@ -12,6 +12,107 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Drawing settings</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../mont...
[truncated message content] |
|
From: <mbe...@us...> - 2011-12-22 10:59:10
|
Revision: 1241
http://scstudio.svn.sourceforge.net/scstudio/?rev=1241&view=rev
Author: mbezdeka
Date: 2011-12-22 10:58:58 +0000 (Thu, 22 Dec 2011)
Log Message:
-----------
front-end help updated
Modified Paths:
--------------
trunk/doc/help/acyclic/acyclic.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/frontend/automatic_drawing.html
trunk/doc/help/frontend/flip_message_direction.html
trunk/doc/help/frontend/message_numbering.html
trunk/doc/help/frontend/pictures/add_instances_options.png
trunk/doc/help/frontend/pictures/message_numbering_autoenum_options.png
trunk/doc/help/frontend/pictures/message_snapping_options.png
trunk/doc/help/frontend/settings.html
trunk/doc/help/frontend/shape_selection.html
trunk/doc/help/frontend/shortcuts.html
trunk/doc/help/index.html
trunk/doc/help/livelock/livelock.html
trunk/doc/help/localchoice/localchoice.html
trunk/doc/help/membership/membership.html
trunk/doc/help/montecarlo/montecarlo.html
trunk/doc/help/race/race.html
trunk/doc/help/realizability/realizability.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 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/acyclic/acyclic.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -26,13 +26,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/beautify/beautify.html
===================================================================
--- trunk/doc/help/beautify/beautify.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/beautify/beautify.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/boundedness/boundedness.html
===================================================================
--- trunk/doc/help/boundedness/boundedness.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/boundedness/boundedness.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/deadlock/deadlock.html
===================================================================
--- trunk/doc/help/deadlock/deadlock.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/deadlock/deadlock.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/fifo/fifo.html
===================================================================
--- trunk/doc/help/fifo/fifo.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/fifo/fifo.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/frontend/automatic_drawing.html
===================================================================
--- trunk/doc/help/frontend/automatic_drawing.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/automatic_drawing.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -127,7 +127,7 @@
</h2>
<p>
The first of them is the <code>Add Instances</code> function
- accessible via menu <code>Check → Drawing → Add Instances</code>,
+ accessible via menu <code>SCStudio → Drawing → Add Instances</code>,
or <code>Ctrl+Alt+F</code> keyboard shortcut. It is available in
the context (right-click) menu of the document, too. The function draws a
given number of instances on the active page of the document, with
@@ -147,7 +147,7 @@
drawing will start from the point where the cursor was.
</p>
<p>
- In the Options panel, if the Total width switch is chosen, all the
+ The last two options define spacing between instances. If the Total width switch is chosen, all the
instances will be drawn in the place of a width given, so the gaps between
instances will be calculated to fit this area. On the contrary, the
Spacing switch sets constant gaps between the instances not limiting the
@@ -168,7 +168,7 @@
</p>
<img src="pictures/message_sequence.png" alt="Message Sequence example" />
<p>
- The Message Sequence function is accessible via menu <code>Check →
+ The Message Sequence function is accessible via menu <code>SCStudio →
Drawing → Message Sequence</code>, or <code>Ctrl+Alt+S</code>
keyboard shortcut or <code>Message Sequence</code> context-menu
on instances. As for other automatic drawing functions, an options dialog
Modified: trunk/doc/help/frontend/flip_message_direction.html
===================================================================
--- trunk/doc/help/frontend/flip_message_direction.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/flip_message_direction.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -120,7 +120,7 @@
Direction of the messages already drawn may be flipped.
Such a function is available in the context (right-click) menu of
a message or a set of messages via <code>Flip message direction</code>
- item, as shown in the following picture:
+ item or via shortcut <code>Ctrl+Alt+Backspace</code>, as shown in the following picture:
</p>
<img src="pictures/flip_message_direction.png" alt="Flip message direction function" />
<p>
Modified: trunk/doc/help/frontend/message_numbering.html
===================================================================
--- trunk/doc/help/frontend/message_numbering.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/message_numbering.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
-<title>Message Numbering – SCStudio frontend</title>
+<title>Element Numbering – SCStudio frontend</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
@@ -25,13 +25,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -111,16 +111,16 @@
</div>
</div>
<div class="content">
-<h1>Message Numbering</h1>
-<p>Message numbering allows users to enumerate all types of message shapes (left, right, lost, found).<br>
-You can enumerate all messages on the active page (if no messages are selected) or the selection.<br>
+<h1>Element Numbering</h1>
+<p>Element Numbering allows users to enumerate all types of message shapes (left, right, lost, found), conditions and actions.<br>
+You can enumerate all element on the active page (if no element are selected) or the selection.<br>
</p>
-<h2>Enable message numbering</h2>
-<p>By pressing Message numbering button <img src="pictures/icon_message_enumeration.png" alt="Message Numbering">, via menu <code>Check->Drawing->Message numbering->Message numbering</code> or by using hotkey <Code>Ctrl+Alt+E</Code> the dialog with options will be shown:</p>
+<h2>Enable Element Numbering</h2>
+<p>By pressing Element Numbering button <img src="pictures/icon_message_enumeration.png" alt="Element Numbering">, via menu <code>SCStudio → Drawing → Element Numbering → Add Numbering</code> or by using hotkey <Code>Ctrl+Alt+E</Code> the dialog with options will be shown:</p>
<p>
-<img src="pictures/message_numbering_options.png" alt="Message Numbering options dialog">
+<img src="pictures/message_numbering_options.png" alt="Element Numbering options dialog">
</p>
<p>You can choose:<br>
@@ -130,12 +130,12 @@
</p>
<p>
-When the OK button is pressed, messages are numbered according to their positions on the page from left to right and then from top to bottom.<br>
-Already numbered messages will be overwritten by new numbering.
+When the OK button is pressed, elements are numbered according to their positions on the page from left to right and then from top to bottom.<br>
+Already numbered elements will be overwritten by new numbering.
</p>
-<h2>Disable message numbering</h2>
-<p>Numbering can be deleted by pressing Delete numbering button <img src="pictures/icon_message_enumeration_disable.png" alt="Disable message numbering"> on the toolbar, via menu <code>Check->Drawing->Message numbering->Delete numbering</code> or by using hotkey <Code>Ctrl+Alt+D.</Code></p>
+<h2>Disable Element Numbering</h2>
+<p>Numbering can be deleted by pressing Delete numbering button <img src="pictures/icon_message_enumeration_disable.png" alt="Disable Element Numbering"> on the toolbar, via menu <code>SCStudio → Drawing → Element Numbering → Delete numbering</code> or by using hotkey <Code>Ctrl+Alt+D.</Code></p>
<p>
Using <code>Delete numbering</code> on selection causes other messages indexes will be recomputed. <br>
@@ -150,7 +150,7 @@
</p>
<h2>Auto numbering</h2>
-<p>New messages can be automatically numbered after they are dropped on the page. Specific behavior can be set via menu <code>Check->Drawing->Settings</code>, tab Numbering. Following dialog will be shown:</p>
+<p>New elements can be automatically numbered after they are dropped on the page. Specific behavior can be set via menu <code>SCStudio → Options</code>, section Element Numbering. Following dialog will be shown:</p>
<p>
<img src="pictures/message_numbering_autoenum_options.png" alt="Auto numbering options">
@@ -161,16 +161,16 @@
</p>
<p>
-<code>automatic numbering new messages</code><br>
+<code>automatic numbering new elements</code><br>
- sets whether auto numbering is enabled, otherwise all other options are disabled.<br><br>
-<code>as nearest message</code><br>
+<code>as nearest element</code><br>
- new messages will be numbered according to the group of the closest message on the active page. All message indexes in the current group will be recounted. If the closest message isn't numbered, new one won't be either. <br>
-<code>as nearest numbered message</code><br>
- - new messages will be numbered according to the closest <b>numbered</b> message on the active page. If there are no numbered messages on the active page you can choose between: <br><br>
+<code>as nearest numbered element</code><br>
+ - new elements will be numbered according to the closest <b>numbered</b> element on the active page. If there are no numbered elements on the active page you can choose between: <br><br>
<code>don't number</code><br>
- - don't number new messages if there are no numbered messages on the page.<br>
+ - don't number new elements if there are no numbered elements on the page.<br>
<code>use numbering style</code><br>
- - use specific numbering style if there are no numbered messages on the page.<br>
+ - use specific numbering style if there are no numbered elements on the page.<br>
</p>
</div>
</body>
Modified: trunk/doc/help/frontend/pictures/add_instances_options.png
===================================================================
(Binary files differ)
Modified: trunk/doc/help/frontend/pictures/message_numbering_autoenum_options.png
===================================================================
(Binary files differ)
Modified: trunk/doc/help/frontend/pictures/message_snapping_options.png
===================================================================
(Binary files differ)
Modified: trunk/doc/help/frontend/settings.html
===================================================================
--- trunk/doc/help/frontend/settings.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/settings.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Drawing Settings - SCStudio frontend
+ Settings dialog
</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -113,17 +113,17 @@
</div>
</div>
<div class="content">
- <h1>Drawing Settings</h1>
+ <h1>Options</h1>
<p>
- The SCStudio frontend may be configured via menu
- <code>Check → Drawing → Settings…</code>.
+ The SCStudio may be configured via menu
+ <code>SCStudio → Options…</code>.
Concrete configuration sections are described below.
</p>
- <h2>Message Numbering</h2>
+ <h2>Element Numbering</h2>
<p>
- Message numbering and its configuration is described on a
+ Element numbering and its configuration is described on a
<a href="message_numbering.html">separate page</a>.
</p>
@@ -136,8 +136,8 @@
the mouse position.
</p>
<p>
- Snapping can be enabled via <code>Check -> Drawing -> Settings…</code>,
- tab Snap & Glue. Following dialog will be shown:
+ Snapping can be enabled via <code>SCStudio → Options…</code>,
+ section Message snapping. Following dialog will be shown:
</p>
<p>
<img src="pictures/message_snapping_options.png"
@@ -181,6 +181,13 @@
The option <code>Do not allow to rotate instances</code> may be set to
disable instance rotating.
</p>
+
+ <h2>Beautify</h2>
+ <p>
+ Beautify and its configuration is described on a
+ <a href=".\..\beautify\beautify.html">separate page</a>.
+ </p>
+
</div>
</body>
</html>
Modified: trunk/doc/help/frontend/shape_selection.html
===================================================================
--- trunk/doc/help/frontend/shape_selection.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/shape_selection.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
@@ -127,7 +127,7 @@
of active document. The second button <img
src="pictures/icon_select_messages.png" alt="Select messages button" />
selects all messages in the current page of active document. These
- functions are also available via menu <code>Check → Drawing →
+ functions are also available via menu <code>SCStudio → Drawing →
Select → All Instances</code>, or <code>All Messages</code>,
respectively. Keyboard shortcuts are assigned to these functions, too:
<code>Ctrl+Alt+I</code> for selecting all instances and <code>Ctrl+Alt+M</code>
Modified: trunk/doc/help/frontend/shortcuts.html
===================================================================
--- trunk/doc/help/frontend/shortcuts.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/frontend/shortcuts.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/index.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="frontend/message_numbering.html">Message numbering</a>
+ <a href="frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="frontend/settings.html">Drawing settings</a>
+ <a href="frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/livelock/livelock.html
===================================================================
--- trunk/doc/help/livelock/livelock.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/livelock/livelock.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/localchoice/localchoice.html
===================================================================
--- trunk/doc/help/localchoice/localchoice.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/localchoice/localchoice.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/membership/membership.html
===================================================================
--- trunk/doc/help/membership/membership.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/membership/membership.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/montecarlo/montecarlo.html
===================================================================
--- trunk/doc/help/montecarlo/montecarlo.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/montecarlo/montecarlo.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -27,13 +27,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/race/race.html
===================================================================
--- trunk/doc/help/race/race.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/race/race.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/realizability/realizability.html
===================================================================
--- trunk/doc/help/realizability/realizability.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/realizability/realizability.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/recursivity/recursivity.html
===================================================================
--- trunk/doc/help/recursivity/recursivity.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/recursivity/recursivity.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/time_consistency/time_consistency.html
===================================================================
--- trunk/doc/help/time_consistency/time_consistency.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/time_consistency/time_consistency.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/time_syntax/time_syntax.html
===================================================================
--- trunk/doc/help/time_syntax/time_syntax.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/time_syntax/time_syntax.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../frontend/message_numbering.html">Message numbering</a>
+ <a href="../frontend/message_numbering.html">Element numbering</a>
</li>
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
<li>
- <a href="../frontend/settings.html">Drawing settings</a>
+ <a href="../frontend/settings.html">Options</a>
</li>
</ul>
</li>
Modified: trunk/doc/help/time_tighten/time_tighten.html
===================================================================
--- trunk/doc/help/time_tighten/time_tighten.html 2011-12-21 10:54:36 UTC (rev 1240)
+++ trunk/doc/help/time_tighten/time_tighten.html 2011-12-22 10:58:58 UTC (rev 1241)
@@ -28,13 +28,13 @@
<a href="../frontend/automatic_drawing.html">Automatic drawing</a>
</li>
<li>
- <a href="../fr...
[truncated message content] |
|
From: <xr...@us...> - 2012-01-12 09:36:42
|
Revision: 1278
http://scstudio.svn.sourceforge.net/scstudio/?rev=1278&view=rev
Author: xrehak
Date: 2012-01-12 09:36:31 +0000 (Thu, 12 Jan 2012)
Log Message:
-----------
New CMakeList for generating html files from %.head.htm + menu[i].htm + %.body.htm
Modified Paths:
--------------
trunk/doc/help/CMakeLists.txt
trunk/doc/help/index.html
Added Paths:
-----------
trunk/doc/help/index.body.htm
trunk/doc/help/index.head.htm
trunk/doc/help/menu.htm
trunk/doc/help/menui.htm
trunk/doc/help/race/race.body.htm
trunk/doc/help/race/race.head.htm
Modified: trunk/doc/help/CMakeLists.txt
===================================================================
--- trunk/doc/help/CMakeLists.txt 2012-01-11 07:36:47 UTC (rev 1277)
+++ trunk/doc/help/CMakeLists.txt 2012-01-12 09:36:31 UTC (rev 1278)
@@ -1,26 +1,60 @@
-FIND_PACKAGE(HTMLHelp)
-IF(HTML_HELP_COMPILER)
- ADD_CUSTOM_TARGET(help ALL
- DEPENDS scstudio.chm
+# auxiliary files are names %.htm (because all %.html files are included
+# into installation package of SCStudio)
+
+# list of files generated by preprocessing from %.head.htm + menu.htm + %.body.htm
+set( HTML_FILES
+ index.html
+)
+
+# list of files generated by preprocessing from %/%.head.htm + menui.htm + %/%.body.htm
+set( iHTML_FILES
+ race/race.html
+)
+
+IF(WIN32)
+ set(TYPEORCAT "type")
+ELSE(WIN32)
+ set(TYPEORCAT "cat")
+ENDIF(WIN32)
+
+ADD_CUSTOM_TARGET(HTML ALL
+ DEPENDS menu.htm menui.htm ${HTML_FILES} ${iHTML_FILES}
+)
+
+
+# changes file path to native (win vs. linux) and erase ".html" at the end
+MACRO(SHORT_NAT_PATH inputvar outputvar)
+ FILE(TO_NATIVE_PATH ${${inputvar}} NATIVE_FILE)
+ STRING(REPLACE ".html" "" ${outputvar} ${NATIVE_FILE})
+ENDMACRO(SHORT_NAT_PATH)
+
+
+# ${HTML_FILES} with menu.htm
+FOREACH(FILE ${HTML_FILES})
+ # new %.html file is composed from from %.head.htm + menu.htm + %.body.htm
+ SHORT_NAT_PATH(FILE SHORT_FILE)
+ ADD_CUSTOM_COMMAND(
+# TARGET HTML
+ OUTPUT ${FILE}
+ COMMAND ${TYPEORCAT} ${SHORT_FILE}.head.htm menu.htm ${SHORT_FILE}.body.htm >${FILE}
+ DEPENDS ${SHORT_FILE}.head.htm menu.htm ${SHORT_FILE}.body.htm
+ WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
)
+ENDFOREACH(FILE)
+
+# ${iHTML_FILES} with menui.htm
+FOREACH(FILE ${iHTML_FILES})
+ # new %.html file is composed from from %.head.htm + menui.htm + %.body.htm
+ SHORT_NAT_PATH(FILE SHORT_FILE)
ADD_CUSTOM_COMMAND(
- OUTPUT scstudio.chm
- COMMAND ${CMAKE_COMMAND} -DHTML_HELP_COMPILER=${HTML_HELP_COMPILER} -P ${CMAKE_CURRENT_SOURCE_DIR}/hhc.cmake
- DEPENDS
- help.css
- algorithms.html
- frontend.html
- localChoice/localchoice.html
- membership/membership.html
- fifo/fifo.html
- deadlock/deadlock.html
- livelock/livelock.html
- race/race.html
- realizability/realizability.html
- boundedness/boundedness.html
+# TARGET HTML
+ OUTPUT ${FILE}
+ COMMAND ${TYPEORCAT} ${SHORT_FILE}.head.htm menui.htm ${SHORT_FILE}.body.htm >${FILE}
+ DEPENDS ${SHORT_FILE}.head.htm menui.htm ${SHORT_FILE}.body.htm
WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
)
-ENDIF(HTML_HELP_COMPILER)
+ENDFOREACH(FILE)
# $Id$
+
Added: trunk/doc/help/index.body.htm
===================================================================
--- trunk/doc/help/index.body.htm (rev 0)
+++ trunk/doc/help/index.body.htm 2012-01-12 09:36:31 UTC (rev 1278)
@@ -0,0 +1,25 @@
+ <div class="content">
+<h1>Basic Overview</h1>
+
+<p>
+The Sequence Chart Studio (scstudio) is a user-friendly drawing and verification tool for Message Sequence Charts (basic MSC, HMSC) and UML Sequence Diagrams. It provides several verification algorithms and offers an open interface for additional modules. The graphical front-end is implemented as a Microsoft Visio add-on, but integration with other applications is possible.
+</p>
+<p>
+The Sequence Chart Studio enables users of Microsoft Visio 2003/2007 to: </p>
+
+<ul>
+
+ <li>Draw basic MSC: line instances, messages, coregions, general ordering, time constraints and measurements</li>
+ <li>Draw HMSC: references, conditions, connections</li>
+ <li>Export and import the ITU-T Z.120 textual format (.mpr)</li>
+ <li>Perform graphical syntax verification</li>
+ <li>Execute verification algorithms: detect deadlock/livelock, detect cycles, race conditions and universal boundedness</li>
+ <li>Determine probability distribution of time constraints using Monte Carlo simulation</li>
+ <li>Develop proprietary stencils and verification/export modules</li>
+</ul>
+
+<img src="pictures/scstudio.png" alt="SCStudio screenshot" title="SCStudio screenshot"/>
+
+ </div>
+ </body>
+</html>
Property changes on: trunk/doc/help/index.body.htm
___________________________________________________________________
Added: svn:keywords
+ Date Revision Author HeadURL Id
Added: svn:eol-style
+ native
Added: trunk/doc/help/index.head.htm
===================================================================
--- trunk/doc/help/index.head.htm (rev 0)
+++ trunk/doc/help/index.head.htm 2012-01-12 09:36:31 UTC (rev 1278)
@@ -0,0 +1,14 @@
+<?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>
+ <link href="help.css" rel="stylesheet" type="text/css" />
+ <title>
+ Sequence Chart Studio - help
+ </title>
+ </head>
+ <body>
Property changes on: trunk/doc/help/index.head.htm
___________________________________________________________________
Added: svn:keywords
+ Date Revision Author HeadURL Id
Added: svn:eol-style
+ native
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2012-01-11 07:36:47 UTC (rev 1277)
+++ trunk/doc/help/index.html 2012-01-12 09:36:31 UTC (rev 1278)
@@ -8,7 +8,7 @@
<head>
<link href="help.css" rel="stylesheet" type="text/css" />
<title>
- Content
+ Sequence Chart Studio - help
</title>
</head>
<body>
Added: trunk/doc/help/menu.htm
===================================================================
--- trunk/doc/help/menu.htm (rev 0)
+++ trunk/doc/help/menu.htm 2012-01-12 09:36:31 UTC (rev 1278)
@@ -0,0 +1,100 @@
+ <div class="menu">
+ <h1>
+ <a href="index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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">Element numbering</a>
+ </li>
+ <li>
+ <a href="frontend/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="frontend/settings.html">Options</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="recursivity/recursivity.html">Nonrecursivity</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="time_consistency/time_consistency.html">Time Consistent</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="boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
Property changes on: trunk/doc/help/menu.htm
___________________________________________________________________
Added: svn:keywords
+ Date Revision Author HeadURL Id
Added: svn:eol-style
+ native
Added: trunk/doc/help/menui.htm
===================================================================
--- trunk/doc/help/menui.htm (rev 0)
+++ trunk/doc/help/menui.htm 2012-01-12 09:36:31 UTC (rev 1278)
@@ -0,0 +1,100 @@
+ <div class="menu">
+ <h1>
+ <a href="../index.html">Sequence Chart Studio</a>
+ </h1>
+ <ul>
+ <li>
+ Microsoft Visio Front-end
+ <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">Element numbering</a>
+ </li>
+ <li>
+ <a href="../frontend/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="../frontend/settings.html">Options</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ Verification Algorithms
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock Free</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Find Flow</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ Drawing Transformers
+ <ul>
+
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ <li>
+ Repaint
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
Property changes on: trunk/doc/help/menui.htm
___________________________________________________________________
Added: svn:keywords
+ Date Revision Author HeadURL Id
Added: svn:eol-style
+ native
Added: trunk/doc/help/race/race.body.htm
===================================================================
--- trunk/doc/help/race/race.body.htm (rev 0)
+++ trunk/doc/help/race/race.body.htm 2012-01-12 09:36:31 UTC (rev 1278)
@@ -0,0 +1,97 @@
+ <div class="content">
+ <h1>
+ Race Condition
+ </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
+ 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:
+ </p>
+ <ul class="gallery">
+ <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 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 class="caption">
+ SCStudio result
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <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 occurrence:
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <li>
+ <img src="pictures/trickyrace_1.png" width="100" border="0"
+ alt="Input HMSC" title="Input HMSC" />
+ </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 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 class="caption">
+ MSC B
+ </li>
+ </ul>
+ </li>
+ </ul>
+</div>
+ </body>
+</html>
Property changes on: trunk/doc/help/race/race.body.htm
___________________________________________________________________
Added: svn:keywords
+ Date Revision Author HeadURL Id
Added: svn:eol-style
+ native
Added: trunk/doc/help/race/race.head.htm
===================================================================
--- trunk/doc/help/race/race.head.htm (rev 0)
+++ trunk/doc/help/race/race.head.htm 2012-01-12 09:36:31 UTC (rev 1278)
@@ -0,0 +1,15 @@
+<?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>
+ Race Condition
+ </title>
+ <meta name="author" content="Martin Chmelik" />
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
Property changes on: trunk/doc/help/race/race.head.htm
___________________________________________________________________
Added: svn:keywords
+ Date Revision Author HeadURL Id
Added: svn:eol-style
+ native
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lko...@us...> - 2012-01-13 11:32:18
|
Revision: 1281
http://scstudio.svn.sourceforge.net/scstudio/?rev=1281&view=rev
Author: lkorenciak
Date: 2012-01-13 11:32:12 +0000 (Fri, 13 Jan 2012)
Log Message:
-----------
added source files of images in help
Added Paths:
-----------
trunk/doc/help/race/pictures/easyrace_1.vsd
trunk/doc/help/race/pictures/easyrace_2.vsd
trunk/doc/help/race/pictures/trickyrace_1.vsd
trunk/doc/help/recursivity/pictures/recursivity3.vsd
Added: trunk/doc/help/race/pictures/easyrace_1.vsd
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/race/pictures/easyrace_1.vsd
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Added: trunk/doc/help/race/pictures/easyrace_2.vsd
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/race/pictures/easyrace_2.vsd
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Added: trunk/doc/help/race/pictures/trickyrace_1.vsd
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/race/pictures/trickyrace_1.vsd
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Added: trunk/doc/help/recursivity/pictures/recursivity3.vsd
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/recursivity/pictures/recursivity3.vsd
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lko...@us...> - 2012-01-13 12:10:50
|
Revision: 1282
http://scstudio.svn.sourceforge.net/scstudio/?rev=1282&view=rev
Author: lkorenciak
Date: 2012-01-13 12:10:41 +0000 (Fri, 13 Jan 2012)
Log Message:
-----------
fixed help of scstudio
Modified Paths:
--------------
trunk/doc/help/acyclic/acyclic.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/frontend/automatic_drawing.html
trunk/doc/help/frontend/message_numbering.html
trunk/doc/help/frontend/settings.html
trunk/doc/help/frontend/shape_selection.html
trunk/doc/help/index.html
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/realizability/realizability.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 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/acyclic/acyclic.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -114,7 +114,7 @@
<div class="content">
<h1>Acyclic property</h1>
<p>
- ensures that there is no cyclic dependency among events in an BMSC. Such a
+ ensures that there is no cyclic dependency among events in a BMSC. Such a
dependency is erroneous, because it requires to wait with sending a
message until it is received. An example of such BMSC design can be seen
in the following figure:
@@ -122,24 +122,28 @@
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/cyclic_simple.vsd">
<li>
- <img src="pictures/cyclic_simple.png" width="250"
+ <img src="pictures/cyclic_simple.png" width="250" border="0"
alt="Cyclic BMSC" title="Cyclic BMSC" />
</li>
<li class="caption">
Cyclic design
</li>
+ </a>
</ul>
</li>
<li>
<ul>
+ <a href="pictures/cyclic_result.vsd">
<li>
- <img src="pictures/cyclic_result.png" width="250"
+ <img src="pictures/cyclic_result.png" width="250" border="0"
alt="Cyclic BMSC" title="Cyclic BMSC" />
</li>
<li class="caption">
Highlighted cyclic dependency
</li>
+ </a>
</ul>
</li>
</ul>
@@ -149,7 +153,7 @@
<i>m2</i> is received.
</p>
SCStudio highlights the cyclic dependency: A more tricky example of an
- acyclic design is depicted on the following figure. There is a coregion box
+ acyclic design is depicted in the following figure. There is a coregion box
on the <i>Instance p</i> which contains send of the message <i>m2</i>
and receive of the message <i>m1</i>. From the semantics of
coregion it follows that <i>m1, m2</i> are unordered. Thus we can
@@ -158,13 +162,15 @@
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/acyclic.vsd">
<li>
- <img src="pictures/acyclic.png" width="250"
+ <img src="pictures/acyclic.png" width="250" border="0"
alt="Acyclic BMSC" title="Acyclic BMSC" />
</li>
<li class="caption">
Acyclic design
</li>
+ </a>
</ul>
</li>
</ul>
Modified: trunk/doc/help/beautify/beautify.html
===================================================================
--- trunk/doc/help/beautify/beautify.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/beautify/beautify.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -118,20 +118,20 @@
</h2>
<p>
The main aim of this function is to redraw BMSC to be well-arranged. It
- is accessible via menu <code>Check -> Drawing -> Beautify</code> or by using
+ is accessible via menu <code>Check -> Drawing -> Beautify</code> or by using
hotkey <code>Crtl + Alt + B</code>.
- </p>
- <h3>
- Setting of parameteres
- </h3>
- <p>
- The parameters respected by <code>Beautify</code> can be changed via menu
- <code>Check->Options->Beautify</code>.
- </p>
- <p>
- By pressing <code>General</code> the dialog with options concerning customization of instances
- will be shown:
- </p>
+ </p>
+ <h3>
+ Setting of parameteres
+ </h3>
+ <p>
+ The parameters respected by <code>Beautify</code> can be changed via menu
+ <code>Check->Options->Beautify</code>.
+ </p>
+ <p>
+ By pressing <code>General</code> the dialog with options concerning customization of instances
+ will be shown:
+ </p>
<ul class="gallery">
<li>
<ul>
@@ -140,17 +140,17 @@
alt="General Dialog" />
</li>
</ul>
- </li>
- </ul>
- <p>
- Via <code>General</code>, is possible to set distances between elements, instances length,
- width of instances head, foot and coregions, length of lost and found message and slope
- of messages.
- </p>
- <p>
- By pressing <code>Additional</code> the dialog used for setting of permutation of instances,
- spacing between instances and placement of leftmost instance will be shown:
- </p>
+ </li>
+ </ul>
+ <p>
+ Via <code>General</code>, is possible to set distances between elements, length of instances,
+ width of instance heads, foots and coregions, length of lost and found messages and slope
+ of messages.
+ </p>
+ <p>
+ By pressing <code>Additional</code> the dialog used for setting of permutation of instances,
+ spacing between instances and placement of leftmost instance will be shown:
+ </p>
<ul class="gallery">
<li>
<ul>
@@ -159,18 +159,18 @@
alt="General Dialog" />
</li>
</ul>
- </li>
- </ul>
- <p>
+ </li>
+ </ul>
+ <p>
</p>
<h3>
Example 1:
</h3>
<p>
It changes order of instances to minimize a number of messages going
- from right side to left side and crossing instances with messages.
- Instances are justified to top and have the same length. For <a
- href="../fifo/fifo.html">FIFO</a> and <a
+ from right side to left side and to minimize the crossings of instances
+ with messages. Instances are aligned to top and have the same length.
+ For <a href="../fifo/fifo.html">FIFO</a> and <a
href="../acyclic/acyclic.html">acyclic</a> BMSC it makes all
messages horizontal and arranged over instances uniformly from top to
down.
@@ -178,6 +178,7 @@
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/unordered.vsd">
<li>
<img src="pictures/unordered.png" width="500" border="0"
alt="Unordered BMSC" />
@@ -185,10 +186,12 @@
<li class="caption">
Before beautify
</li>
- </ul>
+ </a>
+ </ul>
</li>
<li>
<ul>
+ <a href="pictures/ordered.vsd">
<li>
<img src="pictures/ordered.png" width="350"
border="0" alt="Ordered BMSC" />
@@ -196,6 +199,7 @@
<li class="caption">
After beautify
</li>
+ </a>
</ul>
</li>
</ul>
@@ -211,13 +215,15 @@
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/unfifo2.vsd">
<li>
- <img src="pictures/unfifo2.png" width="250"
+ <img src="pictures/unfifo2.png" width="250" border="0"
alt="Ordered non-FIFO BMSC" />
</li>
<li class="caption">
Acyclic design
</li>
+ </a>
</ul>
</li>
</ul>
@@ -228,43 +234,47 @@
</h3>
<p>
For coregions it changes the order of events to minimize number of
- crossing two messages. After redrawing, messages are jointed with
+ crossings of two messages. After redrawing, messages are joined with
coregion in such way that they do not go across coregion body.
</p>
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/coregion1.vsd">
<li>
- <img src="pictures/coregion1.png" width="250"
+ <img src="pictures/coregion1.png" width="250" border="0"
alt="Crossing messages jointed with coregion" />
</li>
<li class="caption">
Before beautify
</li>
+ </a>
</ul>
</li>
<li>
<ul>
+ <a href="pictures/coregion2.vsd">
<li>
- <img src="pictures/coregion2.png" width="250 " alt="" />
+ <img src="pictures/coregion2.png" width="250 " border="0" alt="" />
</li>
<li class="caption">
After beautify
</li>
+ </a>
</ul>
</li>
- </ul>
- <p>
- </p>
- <h3>
- Current implementation:
- </h3>
- <p>
- In the current implementation the following features are not supported and therefore may cause
- some inaccuracies: actions, conditions, ordering lines, ordering sides, ordering arrows. Some other
- are not in the final version of implementation: time interval, directed interval and absolute time
- and has to be sometimes redrawn by the user.
+ </ul>
+ <p>
</p>
+ <h3>
+ Current implementation:
+ </h3>
+ <p>
+ In the current implementation the following features are not supported and therefore may cause
+ some inaccuracies: actions, conditions, ordering lines, ordering sides, ordering arrows. Few other
+ features are not in the final version of implementation: time interval, directed interval and
+ absolute time and has to be sometimes redrawn by the user.
+ </p>
</div>
</body>
</html>
Modified: trunk/doc/help/boundedness/boundedness.html
===================================================================
--- trunk/doc/help/boundedness/boundedness.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/boundedness/boundedness.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -132,31 +132,35 @@
grow of an input buffer is found and displayed by SCStudio.
</p>
<p>
- The HMSC on the following picture is unbounded. This is because there is
+ The HMSC in the following picture is unbounded. This is because there is
no mechanism for keeping the buffer for messages between <i>X</i>
and <i>Y</i> bounded.
</p>
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/unbounded.vsd">
<li>
- <img src="pictures/unbounded_hmsc.png" width="200"
+ <img src="pictures/unbounded_hmsc.png" width="200" border="0"
alt="Unbounded HMSC" title="Unbounded HMSC" />
</li>
<li class="caption">
Unbounded HMSC
</li>
+ </a>
</ul>
</li>
<li>
<ul>
+ <a href="pictures/unbounded.vsd">
<li>
- <img src="pictures/unbounded_msc.png" width="250"
+ <img src="pictures/unbounded_msc.png" width="250" border="0"
alt="MSC A" title="MSC A" />
</li>
<li class="caption">
MSC A
</li>
+ </a>
</ul>
</li>
</ul>
Modified: trunk/doc/help/deadlock/deadlock.html
===================================================================
--- trunk/doc/help/deadlock/deadlock.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/deadlock/deadlock.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -118,7 +118,7 @@
Deadlock
</h1>
<p>
- is a property of a HMSC node. A reachable node is deadlocked if there is
+ is a property of an HMSC node. A reachable node is deadlocked if there is
no reference node reachable from the node, i.e. after executing the BMSC
referenced by a deadlocked node, there is no node to continue with.
</p>
@@ -128,19 +128,21 @@
deadlock.
</p>
<p>
- On the next picture the node B is clearly a deadlocked node. That is why
+ In the next picture the node B is clearly a deadlocked node. That is why
it is highlighted by SCStudio and given as an example.
</p>
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/deadlock.vsd">
<li>
- <img src="pictures/deadlock.png" width="350"
+ <img src="pictures/deadlock.png" width="351" border="0"
alt="Typical deadlock" title="Typical deadlock" />
</li>
<li class="caption">
Typical deadlock
</li>
+ </a>
</ul>
</li>
</ul>
Modified: trunk/doc/help/fifo/fifo.html
===================================================================
--- trunk/doc/help/fifo/fifo.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/fifo/fifo.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -134,10 +134,10 @@
FIFO channel for every pair of instances and labels
</li>
<li>
- One FIFO channel for every process
+ one FIFO channel for every process
</li>
<li>
- One FIFO channel for all processes
+ one FIFO channel for all processes
</li>
</ul>
The SCStudio currently supports the first two options. The extension for
@@ -161,7 +161,7 @@
be a different message in the head of the channel queue.
</p>
<p>
- An example of a non-FIFO design can be seen on the next picture. Message
+ An example of a non-FIFO design can be seen in the next picture. Message
<i>m1</i> is sent before <i>m2</i>, but instance <i>q</i>
receives message <i>m2</i> before <i>m1. </i>Because we
are having a FIFO channel between instances <i>p</i> and <i>q</i>,
@@ -170,6 +170,7 @@
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/simple_non_fifo.vsd">
<li>
<img src="pictures/simple_non_fifo.png" width="250" border="0"
alt="Example of a non-fifo design"
@@ -178,6 +179,7 @@
<li class="caption">
Example of a non-FIFO design
</li>
+ </a>
</ul>
</li>
</ul>
@@ -194,7 +196,7 @@
the visual order and the two messages belong to the same channel.
</p>
<p>
- On the next picture we can see tricky examples of FIFO BMSCs. They satisfy
+ In the next picture we can see tricky examples of FIFO BMSCs. They satisfy
the FIFO property, because the receive events of both messages are in
coregion. This means that the user has specified that the receive events
can happen in an arbitrary order. So that if there is any order of these
@@ -204,29 +206,33 @@
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/fifo1.vsd">
<li>
- <img src="pictures/fifo1.png" width="250" border="0"
+ <img src="pictures/fifo1.png" height="348" border="0"
alt="FIFO MSC design" title="FIFO MSC design" />
</li>
<li class="caption">
Example of a FIFO design
</li>
+ </a>
</ul>
</li>
<li>
<ul>
+ <a href="pictures/fifo2.vsd">
<li>
- <img src="pictures/fifo2.png" width="250" border="0"
+ <img src="pictures/fifo2.png" height="348" border="0"
alt="FIFO MSC design" title="FIFO MSC design" />
</li>
<li class="caption">
Example of a different FIFO design
</li>
+ </a>
</ul>
</li>
</ul>
<p>
- An example of a non-FIFO design can be seen on the following picture. This
+ An example of a non-FIFO design can be seen in the following picture. This
is because the <i>Instance q</i> can execute only the receive
event of message <i>m1</i> and then the receive event of the
message <i>m2</i>. However it is possible (due to coregion), that
@@ -236,6 +242,7 @@
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/nonfifo1.vsd">
<li>
<img src="pictures/nonfifo1.png" width="250" border="0"
alt="non-fifo design" title="non-fifo design" />
@@ -243,6 +250,7 @@
<li class="caption">
Example of a non-FIFO design
</li>
+ </a>
</ul>
</li>
</ul>
@@ -253,15 +261,17 @@
In this case we can have more than one FIFO channel between two processes.
For every label there is one channel. Everything what has satisfied FIFO
property in the previous case, will satisfy the property also in this
- case. The difference can be seen on the following FIFO example:
+ case. The difference can be seen in the following FIFO example:
</p>
<ul class="gallery">
<li>
<ul>
+ <a href="pictures/label_channel_fifo.vsd">
<li>
<img src="pictures/label_channel_fifo.png" width="250" border="0"
alt="FIFO MSC design" title="FIFO MSC design" />
</li>
+ </a>
</ul>
</li>
</ul>
Modified: trunk/doc/help/frontend/automatic_drawing.html
===================================================================
--- trunk/doc/help/frontend/automatic_drawing.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/frontend/automatic_drawing.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -162,7 +162,7 @@
</h2>
<p>
The Message Sequence function draws a sequence of messages among selected
- instances. The basic usage is that when one instance sends a message,
+ instances. The basic usage is that one instance sends a message,
which is received and resent by several other instances and finally
received by the last instance, as illustrated in the following picture.
</p>
@@ -177,15 +177,15 @@
<img class="big" src="pictures/message_sequence_options.png"
alt="Message Sequence options dialog" />
<p>
- The first option in the dialog determines the direction of the sequence.
- For each direction, a separate message label may be specified in the Left
- and Right Message Captions input boxes. Uni- and bidirectional message
- sequences are supported.
+ The first option in the dialog determines the direction of the sequence.
+ Uni- and bidirectional message sequences are supported. For each direction,
+ a separate message label may be specified in the Left and Right Message
+ Captions input boxes.
</p>
<p>
- Starting Y-position determines the instances, among which the sequence is
- to be drawn. The initial set of instances is taken according to current
- selection:
+ Starting Y-position helps to determine the instances, among which the
+ sequence is to be drawn. The initial set of instances is taken according
+ to current selection:
</p>
<ul>
<li>
@@ -200,10 +200,11 @@
</li>
</ul>
From all of these instances, the leftmost and the rightmost instances are
- recognized as the first and last instance in the message sequence. Between
- these two, all other instances crossing an imaginary horizontal line at
- height equal to Starting Y-position are qualified for the message sequence.
- (During the options dialog, these two instances are marked with red color.)
+ recognized as the first and last instance in the message sequence. (During
+ the options dialog, these two instances are marked with red color.) Between
+ these two instances, all other instances crossing an imaginary horizontal
+ line at height equal to Starting Y-position are qualified for the message
+ sequence.
<p>
The Starting Y-position has a default value of mouse position, so the most
comfortable way of invoking Message Sequence is using the context-menu on
@@ -212,7 +213,7 @@
</p>
<p>
The next two input boxes, Vertical space between messages and Vertical
- space between left and right sequence define the vertical space between to
+ space between left and right sequence define the vertical space between the
subsequent messages on the same instance.
</p>
<p>
Modified: trunk/doc/help/frontend/message_numbering.html
===================================================================
--- trunk/doc/help/frontend/message_numbering.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/frontend/message_numbering.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -113,10 +113,10 @@
<div class="content">
<h1>Element Numbering</h1>
<p>Element Numbering allows users to enumerate all types of message shapes (left, right, lost, found), conditions and actions.<br>
-You can enumerate all element on the active page (if no element are selected) or the selection.<br>
+You can enumerate all elements on the active page (if no elements are selected) or in the current selection.<br>
</p>
-<h2>Enable Element Numbering</h2>
+<h2>Enable element numbering</h2>
<p>By pressing Element Numbering button <img src="pictures/icon_message_enumeration.png" alt="Element Numbering">, via menu <code>SCStudio → Drawing → Element Numbering → Add Numbering</code> or by using hotkey <Code>Ctrl+Alt+E</Code> the dialog with options will be shown:</p>
<p>
@@ -124,9 +124,9 @@
</p>
<p>You can choose:<br>
-- specific numbering type (numbers, letters, capital letters, romans)<br>
-- starting index (1-9999 for number, letters and capital letters and 1-3999 for romans)<br>
-- and additional string following the index such as ".", "-", … (max 4 chars). A space between the index and the message label is added automatically.<br>
+- specific numbering type (numbers, letters, capital letters, roman numbers),<br>
+- starting index (1-9999 for number, letters and capital letters and 1-3999 for roman numbers),<br>
+- and additional string following the index such as ".", "-", … (0 to 4 characters). A space between the index and the message label is added automatically.<br>
</p>
<p>
@@ -134,11 +134,11 @@
Already numbered elements will be overwritten by new numbering.
</p>
-<h2>Disable Element Numbering</h2>
+<h2>Disable element numbering</h2>
<p>Numbering can be deleted by pressing Delete numbering button <img src="pictures/icon_message_enumeration_disable.png" alt="Disable Element Numbering"> on the toolbar, via menu <code>SCStudio → Drawing → Element Numbering → Delete numbering</code> or by using hotkey <Code>Ctrl+Alt+D.</Code></p>
<p>
-Using <code>Delete numbering</code> on selection causes other messages indexes will be recomputed. <br>
+Using <code>Delete numbering</code> on selection causes recomputation of other message indexes. <br>
If no selection is used all numbering indexes will be deleted.
</p>
@@ -161,14 +161,14 @@
</p>
<p>
-<code>automatic numbering new elements</code><br>
+<code>automatic numbering of new elements</code><br>
- sets whether auto numbering is enabled, otherwise all other options are disabled.<br><br>
-<code>as nearest element</code><br>
+<code>as the nearest element</code><br>
- new messages will be numbered according to the group of the closest message on the active page. All message indexes in the current group will be recounted. If the closest message isn't numbered, new one won't be either. <br>
-<code>as nearest numbered element</code><br>
+<code>as the nearest numbered element</code><br>
- new elements will be numbered according to the closest <b>numbered</b> element on the active page. If there are no numbered elements on the active page you can choose between: <br><br>
<code>don't number</code><br>
- - don't number new elements if there are no numbered elements on the page.<br>
+ - don't number new elements if there are no numbered elements on the page,<br>
<code>use numbering style</code><br>
- use specific numbering style if there are no numbered elements on the page.<br>
</p>
Modified: trunk/doc/help/frontend/settings.html
===================================================================
--- trunk/doc/help/frontend/settings.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/frontend/settings.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -156,7 +156,7 @@
  - the message is straightened on the current location of the
mouse cursor and snapped to instance(s).<br /> <code>preserve
vertical distance between send - receive</code><br />
-   - endpoint(s) of the message are horizontally stretched and snapped
+   - endpoint(s) of the message are horizontally moved and snapped
to the nearest instance(s).<br /> <code>preserve slope</code><br />
  - the message stays obliqued as it was. The endpoint(s) will
be prolonged to the nearest instance(s).<br />
@@ -167,7 +167,7 @@
<ul>
<li>Multiple message snapping is not implemented.</li>
<li>Lost and Found messages are snapped only at one endpoint.</li>
- <li>Messages can be snapped only to the instances lines. Instance's head and end
+ <li>Messages can be snapped only to the instance lines. Instance head and end
symbols are ignored.</li>
</ul>
@@ -188,6 +188,52 @@
<a href="./../beautify/beautify.html">separate page</a>.
</p>
+ <h2>Verfication</h2>
+ <p>
+ In the Verification section can user specify which verification algorithms will
+ be executed when either verify button <img src="pictures/icon_check.png"
+ alt="Select instances button" /> is pressed, or Ctrl + Alt + C shortcut is used
+ or in menu <code>SCStudio → Verify</code> is selected. Please note that it
+ is possible that some algorothm may be executed even it is not ticked. This is
+ because of the fact that some algorithms can be executed if the input MSC
+ satisfies some properties. These properties are checked by verification algorithms
+ and thus they have to be executed before execution of ticked algorithm.
+ </p>
+ <p>
+ Prior the execution of verification user can specify type of channels used in MSC
+ document. The choice of channels can effect results of some verification algorithms
+ e.g. FIFO checker or Race condition checker. There are several types of channels
+ and several ways how they can be used in BMSC. Some of the most useful are the
+ following:
+ </p>
+ <ul>
+ <li>
+ FIFO channel for every pair of instances- <code>Sender-Receiver Pair</code>,
+ </li>
+ <li>
+ FIFO channel for every pair of instances and labels- <code>Sender-Receiver-Message Pair</code>,
+ </li>
+ <li>
+ one FIFO channel for every process,
+ </li>
+ <li>
+ one FIFO channel for all processes.
+ </li>
+ </ul>
+ <p>
+ The SCStudio currently supports the first two options. The extension for
+ other options is planned.
+ </p>
+ <p>
+ User can specify which outputs of algorithms will be displayed in the
+ verification report in the <code> Display </code> menu .
+ </p>
+ <h2>Simulation</h2>
+ <p>
+ Simulation and its configuration is described on a
+ <a href="./../montecarlo/montecarlo.html">separate page</a>.
+ </p>
+
</div>
</body>
</html>
Modified: trunk/doc/help/frontend/shape_selection.html
===================================================================
--- trunk/doc/help/frontend/shape_selection.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/frontend/shape_selection.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -114,7 +114,7 @@
</div>
<div class="content">
<h1>
- Shape Selection
+ Shape selection
</h1>
<p>
On top of standard Visio functions for selecting shapes (such as <code>Ctrl+A</code>
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2012-01-13 11:32:12 UTC (rev 1281)
+++ trunk/doc/help/index.html 2012-01-13 12:10:41 UTC (rev 1282)
@@ -123,13 +123,13 @@
<ul>
- <li>Draw basic MSC: line instances, messages, coregions, general ordering, time constraints and measurements</li>
- <li>Draw HMSC: references, conditions, connections</li>
- <li>Export and import the ITU-T Z.120 textual format (.mpr)</li>
- <li>Perform graphical syntax verification</li>
- <li>Execute verification algorithms: detect deadlock/livelock, detect cycles, race conditions and universal boundedness</li>
- <li>Determine probability distribution of time constraints using Monte Carlo simulation</li>
- <li>Develop proprietary stencils and verification/export modules</li>
+ <li>draw basic MSC: line instances, messages, coregions, general ordering, time constraints and measurements,</li>
+ <li>draw HMSC: references, conditions, connections,</li>
+ <li>export and import the ITU-T Z.120 textual format (.mpr),</li>
+ <li>perform graphical syntax verification,</li>
+ <li>execute verification al...
[truncated message content] |
|
From: <mbe...@us...> - 2012-01-13 19:31:01
|
Revision: 1286
http://scstudio.svn.sourceforge.net/scstudio/?rev=1286&view=rev
Author: mbezdeka
Date: 2012-01-13 19:30:52 +0000 (Fri, 13 Jan 2012)
Log Message:
-----------
new help structure added (without examples yet)
Modified Paths:
--------------
trunk/doc/help/CMakeLists.txt
Added Paths:
-----------
trunk/doc/help/acyclic/acyclic.body.htm
trunk/doc/help/acyclic/acyclic.head.htm
trunk/doc/help/beautify/beautify.body.htm
trunk/doc/help/beautify/beautify.head.htm
trunk/doc/help/boundedness/boundedness.body.htm
trunk/doc/help/boundedness/boundedness.head.htm
trunk/doc/help/deadlock/deadlock.body.htm
trunk/doc/help/deadlock/deadlock.head.htm
trunk/doc/help/fifo/fifo.body.htm
trunk/doc/help/fifo/fifo.head.htm
trunk/doc/help/frontend/automatic_drawing.body.htm
trunk/doc/help/frontend/automatic_drawing.head.htm
trunk/doc/help/frontend/flip_message_direction.body.htm
trunk/doc/help/frontend/flip_message_direction.head.htm
trunk/doc/help/frontend/message_numbering.body.htm
trunk/doc/help/frontend/message_numbering.head.htm
trunk/doc/help/frontend/settings.body.htm
trunk/doc/help/frontend/settings.head.htm
trunk/doc/help/frontend/shape_selection.body.htm
trunk/doc/help/frontend/shape_selection.head.htm
trunk/doc/help/frontend/shortcuts.body.htm
trunk/doc/help/frontend/shortcuts.head.htm
trunk/doc/help/livelock/livelock.body.htm
trunk/doc/help/livelock/livelock.head.htm
trunk/doc/help/localchoice/localchoice.body.htm
trunk/doc/help/localchoice/localchoice.head.htm
trunk/doc/help/membership/membership.body.htm
trunk/doc/help/membership/membership.head.htm
trunk/doc/help/montecarlo/montecarlo.body.htm
trunk/doc/help/montecarlo/montecarlo.head.htm
trunk/doc/help/realizability/realizability.body.htm
trunk/doc/help/realizability/realizability.head.htm
trunk/doc/help/recursivity/recursivity.body.htm
trunk/doc/help/recursivity/recursivity.head.htm
trunk/doc/help/time_consistency/time_consistency.body.htm
trunk/doc/help/time_consistency/time_consistency.head.htm
trunk/doc/help/time_syntax/time_syntax.body.htm
trunk/doc/help/time_syntax/time_syntax.head.htm
trunk/doc/help/time_tighten/time_tighten.body.htm
trunk/doc/help/time_tighten/time_tighten.head.htm
trunk/doc/help/time_trace_race/time_race.body.htm
trunk/doc/help/time_trace_race/time_race.head.htm
trunk/doc/help/unique_instance/unique_instance.body.htm
trunk/doc/help/unique_instance/unique_instance.head.htm
Removed Paths:
-------------
trunk/doc/help/acyclic/acyclic.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/frontend/automatic_drawing.html
trunk/doc/help/frontend/flip_message_direction.html
trunk/doc/help/frontend/message_numbering.html
trunk/doc/help/frontend/settings.html
trunk/doc/help/frontend/shape_selection.html
trunk/doc/help/frontend/shortcuts.html
trunk/doc/help/index.html
trunk/doc/help/livelock/livelock.html
trunk/doc/help/localchoice/localchoice.html
trunk/doc/help/membership/membership.html
trunk/doc/help/montecarlo/montecarlo.html
trunk/doc/help/race/race.html
trunk/doc/help/realizability/realizability.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
Property Changed:
----------------
trunk/doc/help/race/race.body.htm
trunk/doc/help/race/race.head.htm
Modified: trunk/doc/help/CMakeLists.txt
===================================================================
--- trunk/doc/help/CMakeLists.txt 2012-01-13 15:31:52 UTC (rev 1285)
+++ trunk/doc/help/CMakeLists.txt 2012-01-13 19:30:52 UTC (rev 1286)
@@ -9,7 +9,29 @@
# list of files generated by preprocessing from %/%.head.htm + menui.htm + %/%.body.htm
set( iHTML_FILES
+ acyclic/acyclic.html
+ beautify/beautify.html
+ boundedness/boundedness.html
+ deadlock/deadlock.html
+ fifo/fifo.html
+ frontend/automatic_drawing.html
+ frontend/flip_message_direction.html
+ frontend/message_numbering.html
+ frontend/settings.html
+ frontend/shape_selection.html
+ frontend/shortcuts.html
+ livelock/livelock.html
+ localchoice/localchoice.html
+ membership/membership.html
+ montecarlo/montecarlo.html
race/race.html
+ realizability/realizability.html
+ recursivity/recursivity.html
+ time_consistency/time_consistency.html
+ time_syntax/time_syntax.html
+ time_tighten/time_tighten.html
+ time_trace_race/time_race.html
+ unique_instance/unique_instance.html
)
IF(WIN32)
Added: trunk/doc/help/acyclic/acyclic.body.htm
===================================================================
--- trunk/doc/help/acyclic/acyclic.body.htm (rev 0)
+++ trunk/doc/help/acyclic/acyclic.body.htm 2012-01-13 19:30:52 UTC (rev 1286)
@@ -0,0 +1,66 @@
+ <div class="content">
+ <h1>Acyclic property</h1>
+ <p>
+ ensures that there is no cyclic dependency among events in a BMSC. Such a
+ dependency is erroneous, because it requires to wait with sending a
+ message until it is received. An example of such BMSC design can be seen
+ in the following figure:
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <a href="pictures/cyclic_simple.vsd">
+ <li>
+ <img src="pictures/cyclic_simple.png" width="250" border="0"
+ alt="Cyclic BMSC" title="Cyclic BMSC" />
+ </li>
+ <li class="caption">
+ Cyclic design
+ </li>
+ </a>
+ </ul>
+ </li>
+ <li>
+ <ul>
+ <a href="pictures/cyclic_result.vsd">
+ <li>
+ <img src="pictures/cyclic_result.png" width="250" border="0"
+ alt="Cyclic BMSC" title="Cyclic BMSC" />
+ </li>
+ <li class="caption">
+ Highlighted cyclic dependency
+ </li>
+ </a>
+ </ul>
+ </li>
+ </ul>
+ <p>
+ Sending message <i>m2</i> may not be done until message <i>m1</i>
+ is received, but message <i>m1</i> may not be send until message
+ <i>m2</i> is received.
+ </p>
+ SCStudio highlights the cyclic dependency: A more tricky example of an
+ acyclic design is depicted in the following figure. There is a coregion box
+ on the <i>Instance p</i> which contains send of the message <i>m2</i>
+ and receive of the message <i>m1</i>. From the semantics of
+ coregion it follows that <i>m1, m2</i> are unordered. Thus we can
+ perform first <i>m1</i> and then <i> m2 </i> and there is
+ no cyclic dependency.
+ <ul class="gallery">
+ <li>
+ <ul>
+ <a href="pictures/acyclic.vsd">
+ <li>
+ <img src="pictures/acyclic.png" width="250" border="0"
+ alt="Acyclic BMSC" title="Acyclic BMSC" />
+ </li>
+ <li class="caption">
+ Acyclic design
+ </li>
+ </a>
+ </ul>
+ </li>
+ </ul>
+ </div>
+ </body>
+</html>
Property changes on: trunk/doc/help/acyclic/acyclic.body.htm
___________________________________________________________________
Added: svn:eol-style
+ native
Added: trunk/doc/help/acyclic/acyclic.head.htm
===================================================================
--- trunk/doc/help/acyclic/acyclic.head.htm (rev 0)
+++ trunk/doc/help/acyclic/acyclic.head.htm 2012-01-13 19:30:52 UTC (rev 1286)
@@ -0,0 +1,13 @@
+<?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>Acyclic property</title>
+ <meta name="author" content="Martin Chmelik" />
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
\ No newline at end of file
Property changes on: trunk/doc/help/acyclic/acyclic.head.htm
___________________________________________________________________
Added: svn:eol-style
+ native
Deleted: trunk/doc/help/acyclic/acyclic.html
===================================================================
--- trunk/doc/help/acyclic/acyclic.html 2012-01-13 15:31:52 UTC (rev 1285)
+++ trunk/doc/help/acyclic/acyclic.html 2012-01-13 19:30:52 UTC (rev 1286)
@@ -1,179 +0,0 @@
-<?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>Acyclic property</title>
- <meta name="author" content="Martin Chmelik" />
- <link href="../help.css" rel="stylesheet" type="text/css" />
- </head>
- <body>
- <div class="menu">
- <h1>
- <a href="../index.html">Sequence Chart Studio</a>
- </h1>
- <ul>
- <li>
- Microsoft Visio Front-end
- <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">Element numbering</a>
- </li>
- <li>
- <a href="../frontend/flip_message_direction.html">Flip message direction</a>
- </li>
- <li>
- <a href="../frontend/settings.html">Options</a>
- </li>
- </ul>
- </li>
- <li>
- Verification Algorithms
- <ul>
- <li>
- <a href="../acyclic/acyclic.html">Acyclic property</a>
- </li>
- <li>
- <a href="../time_syntax/time_syntax.html">Correct Time Constraint
- Syntax</a>
- </li>
- <li>
- <a href="../deadlock/deadlock.html">Deadlock Free</a>
- </li>
- <li>
- <a href="../fifo/fifo.html">FIFO - First In First Out</a>
- </li>
- <li>
- <a href="../livelock/livelock.html">Livelock Free</a>
- </li>
- <li>
- <a href="../localchoice/localchoice.html">Local Choice</a>
- </li>
- <li>
- <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
- </li>
- </ul>
- </li>
- <li>
- <a href="../membership/membership.html">Find Flow</a>
- </li>
- <li>
- <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
- </li>
- <li>
- Drawing Transformers
- <ul>
-
- <li>
- <a href="../beautify/beautify.html">Beautify</a>
- </li>
- <li>
- <a href="../time_tighten/time_tighten.html">Tighten Time</a>
- </li>
- <li>
- Repaint
- </li>
- </ul>
- </li>
- </ul>
- <div class="footer">
- <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
- <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
- <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
- <p>© 2010</p>
- </div>
- </div>
- <div class="content">
- <h1>Acyclic property</h1>
- <p>
- ensures that there is no cyclic dependency among events in a BMSC. Such a
- dependency is erroneous, because it requires to wait with sending a
- message until it is received. An example of such BMSC design can be seen
- in the following figure:
- </p>
- <ul class="gallery">
- <li>
- <ul>
- <a href="pictures/cyclic_simple.vsd">
- <li>
- <img src="pictures/cyclic_simple.png" width="250" border="0"
- alt="Cyclic BMSC" title="Cyclic BMSC" />
- </li>
- <li class="caption">
- Cyclic design
- </li>
- </a>
- </ul>
- </li>
- <li>
- <ul>
- <a href="pictures/cyclic_result.vsd">
- <li>
- <img src="pictures/cyclic_result.png" width="250" border="0"
- alt="Cyclic BMSC" title="Cyclic BMSC" />
- </li>
- <li class="caption">
- Highlighted cyclic dependency
- </li>
- </a>
- </ul>
- </li>
- </ul>
- <p>
- Sending message <i>m2</i> may not be done until message <i>m1</i>
- is received, but message <i>m1</i> may not be send until message
- <i>m2</i> is received.
- </p>
- SCStudio highlights the cyclic dependency: A more tricky example of an
- acyclic design is depicted in the following figure. There is a coregion box
- on the <i>Instance p</i> which contains send of the message <i>m2</i>
- and receive of the message <i>m1</i>. From the semantics of
- coregion it follows that <i>m1, m2</i> are unordered. Thus we can
- perform first <i>m1</i> and then <i> m2 </i> and there is
- no cyclic dependency.
- <ul class="gallery">
- <li>
- <ul>
- <a href="pictures/acyclic.vsd">
- <li>
- <img src="pictures/acyclic.png" width="250" border="0"
- alt="Acyclic BMSC" title="Acyclic BMSC" />
- </li>
- <li class="caption">
- Acyclic design
- </li>
- </a>
- </ul>
- </li>
- </ul>
- </div>
- </body>
-</html>
Added: trunk/doc/help/beautify/beautify.body.htm
===================================================================
--- trunk/doc/help/beautify/beautify.body.htm (rev 0)
+++ trunk/doc/help/beautify/beautify.body.htm 2012-01-13 19:30:52 UTC (rev 1286)
@@ -0,0 +1,166 @@
+<div class="content">
+ <h2>
+ Beautify
+ </h2>
+ <p>
+ The main aim of this function is to redraw BMSC to be well-arranged. It
+ is accessible via menu <code>Check -> Drawing -> Beautify</code> or by using
+ hotkey <code>Crtl + Alt + B</code>.
+ </p>
+ <h3>
+ Setting of parameteres
+ </h3>
+ <p>
+ The parameters respected by <code>Beautify</code> can be changed via menu
+ <code>Check->Options->Beautify</code>.
+ </p>
+ <p>
+ By pressing <code>General</code> the dialog with options concerning customization of instances
+ will be shown:
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <li>
+ <img src="pictures/dialog_general.png" width="500" border="0"
+ alt="General Dialog" />
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <p>
+ Via <code>General</code>, is possible to set distances between elements, length of instances,
+ width of instance heads, foots and coregions, length of lost and found messages and slope
+ of messages.
+ </p>
+ <p>
+ By pressing <code>Additional</code> the dialog used for setting of permutation of instances,
+ spacing between instances and placement of leftmost instance will be shown:
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <li>
+ <img src="pictures/dialog_additional.png" width="500" border="0"
+ alt="General Dialog" />
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <p>
+ </p>
+ <h3>
+ Example 1:
+ </h3>
+ <p>
+ It changes order of instances to minimize a number of messages going
+ from right side to left side and to minimize the crossings of instances
+ with messages. Instances are aligned to top and have the same length.
+ For <a href="../fifo/fifo.html">FIFO</a> and <a
+ href="../acyclic/acyclic.html">acyclic</a> BMSC it makes all
+ messages horizontal and arranged over instances uniformly from top to
+ down.
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <a href="pictures/unordered.vsd">
+ <li>
+ <img src="pictures/unordered.png" width="500" border="0"
+ alt="Unordered BMSC" />
+ </li>
+ <li class="caption">
+ Before beautify
+ </li>
+ </a>
+ </ul>
+ </li>
+ <li>
+ <ul>
+ <a href="pictures/ordered.vsd">
+ <li>
+ <img src="pictures/ordered.png" width="350"
+ border="0" alt="Ordered BMSC" />
+ </li>
+ <li class="caption">
+ After beautify
+ </li>
+ </a>
+ </ul>
+ </li>
+ </ul>
+ <p>
+ </p>
+ <h3>
+ Example 2:
+ </h3>
+ <p>
+ A <a href="../fifo/fifo.html">non-FIFO</a> BMSC is redrawn to a
+ form that no messages are going up.
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <a href="pictures/unfifo2.vsd">
+ <li>
+ <img src="pictures/unfifo2.png" width="250" border="0"
+ alt="Ordered non-FIFO BMSC" />
+ </li>
+ <li class="caption">
+ Acyclic design
+ </li>
+ </a>
+ </ul>
+ </li>
+ </ul>
+ <p>
+ </p>
+ <h3>
+ Example 3:
+ </h3>
+ <p>
+ For coregions it changes the order of events to minimize number of
+ crossings of two messages. After redrawing, messages are joined with
+ coregion in such way that they do not go across coregion body.
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <a href="pictures/coregion1.vsd">
+ <li>
+ <img src="pictures/coregion1.png" width="250" border="0"
+ alt="Crossing messages jointed with coregion" />
+ </li>
+ <li class="caption">
+ Before beautify
+ </li>
+ </a>
+ </ul>
+ </li>
+ <li>
+ <ul>
+ <a href="pictures/coregion2.vsd">
+ <li>
+ <img src="pictures/coregion2.png" width="250 " border="0" alt="" />
+ </li>
+ <li class="caption">
+ After beautify
+ </li>
+ </a>
+ </ul>
+ </li>
+ </ul>
+ <p>
+ </p>
+ <h3>
+ Current implementation:
+ </h3>
+ <p>
+ In the current implementation the following features are not supported and therefore may cause
+ some inaccuracies: actions, conditions, ordering lines, ordering sides, ordering arrows. Few other
+ features are not in the final version of implementation: time interval, directed interval and
+ absolute time and has to be sometimes redrawn by the user.
+ </p>
+ </div>
+ </body>
+</html>
Property changes on: trunk/doc/help/beautify/beautify.body.htm
___________________________________________________________________
Added: svn:eol-style
+ native
Added: trunk/doc/help/beautify/beautify.head.htm
===================================================================
--- trunk/doc/help/beautify/beautify.head.htm (rev 0)
+++ trunk/doc/help/beautify/beautify.head.htm 2012-01-13 19:30:52 UTC (rev 1286)
@@ -0,0 +1,14 @@
+<?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>
+ Beautify documentation
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
Property changes on: trunk/doc/help/beautify/beautify.head.htm
___________________________________________________________________
Added: svn:eol-style
+ native
Deleted: trunk/doc/help/beautify/beautify.html
===================================================================
--- trunk/doc/help/beautify/beautify.html 2012-01-13 15:31:52 UTC (rev 1285)
+++ trunk/doc/help/beautify/beautify.html 2012-01-13 19:30:52 UTC (rev 1286)
@@ -1,280 +0,0 @@
-<?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>
- Beautify documentation
- </title>
- <link href="../help.css" rel="stylesheet" type="text/css" />
- </head>
- <body>
- <div class="menu">
- <h1>
- <a href="../index.html">Sequence Chart Studio</a>
- </h1>
- <ul>
- <li>
- Microsoft Visio Front-end
- <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">Element numbering</a>
- </li>
- <li>
- <a href="../frontend/flip_message_direction.html">Flip message direction</a>
- </li>
- <li>
- <a href="../frontend/settings.html">Options</a>
- </li>
- </ul>
- </li>
- <li>
- Verification Algorithms
- <ul>
- <li>
- <a href="../acyclic/acyclic.html">Acyclic property</a>
- </li>
- <li>
- <a href="../time_syntax/time_syntax.html">Correct Time Constraint
- Syntax</a>
- </li>
- <li>
- <a href="../deadlock/deadlock.html">Deadlock Free</a>
- </li>
- <li>
- <a href="../fifo/fifo.html">FIFO - First In First Out</a>
- </li>
- <li>
- <a href="../livelock/livelock.html">Livelock Free</a>
- </li>
- <li>
- <a href="../localchoice/localchoice.html">Local Choice</a>
- </li>
- <li>
- <a href="../recursivity/recursivity.html">Nonrecursivity</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="../time_consistency/time_consistency.html">Time Consistent</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="../boundedness/boundedness.html">Universal Boundedness</a>
- </li>
- </ul>
- </li>
- <li>
- <a href="../membership/membership.html">Find Flow</a>
- </li>
- <li>
- <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
- </li>
- <li>
- Drawing Transformers
- <ul>
-
- <li>
- <a href="../beautify/beautify.html">Beautify</a>
- </li>
- <li>
- <a href="../time_tighten/time_tighten.html">Tighten Time</a>
- </li>
- <li>
- Repaint
- </li>
- </ul>
- </li>
- </ul>
- <div class="footer">
- <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
- <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
- <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
- <p>© 2010</p>
- </div>
- </div>
- <div class="content">
- <h2>
- Beautify
- </h2>
- <p>
- The main aim of this function is to redraw BMSC to be well-arranged. It
- is accessible via menu <code>Check -> Drawing -> Beautify</code> or by using
- hotkey <code>Crtl + Alt + B</code>.
- </p>
- <h3>
- Setting of parameteres
- </h3>
- <p>
- The parameters respected by <code>Beautify</code> can be changed via menu
- <code>Check->Options->Beautify</code>.
- </p>
- <p>
- By pressing <code>General</code> the dialog with options concerning customization of instances
- will be shown:
- </p>
- <ul class="gallery">
- <li>
- <ul>
- <li>
- <img src="pictures/dialog_general.png" width="500" border="0"
- alt="General Dialog" />
- </li>
- </ul>
- </li>
- </ul>
- <p>
- Via <code>General</code>, is possible to set distances between elements, length of instances,
- width of instance heads, foots and coregions, length of lost and found messages and slope
- of messages.
- </p>
- <p>
- By pressing <code>Additional</code> the dialog used for setting of permutation of instances,
- spacing between instances and placement of leftmost instance will be shown:
- </p>
- <ul class="gallery">
- <li>
- <ul>
- <li>
- <img src="pictures/dialog_additional.png" width="500" border="0"
- alt="General Dialog" />
- </li>
- </ul>
- </li>
- </ul>
- <p>
- </p>
- <h3>
- Example 1:
- </h3>
- <p>
- It changes order of instances to minimize a number of messages going
- from right side to left side and to minimize the crossings of instances
- with messages. Instances are aligned to top and have the same length.
- For <a href="../fifo/fifo.html">FIFO</a> and <a
- href="../acyclic/acyclic.html">acyclic</a> BMSC it makes all
- messages horizontal and arranged over instances uniformly from top to
- down.
- </p>
- <ul class="gallery">
- <li>
- <ul>
- <a href="pictures/unordered.vsd">
- <li>
- <img src="pictures/unordered.png" width="500" border="0"
- alt="Unordered BMSC" />
- </li>
- <li class="caption">
- Before beautify
- </li>
- </a>
- </ul>
- </li>
- <li>
- <ul>
- <a href="pictures/ordered.vsd">
- <li>
- <img src="pictures/ordered.png" width="350"
- border="0" alt="Ordered BMSC" />
- </li>
- <li class="caption">
- After beautify
- </li>
- </a>
- </ul>
- </li>
- </ul>
- <p>
- </p>
- <h3>
- Example 2:
- </h3>
- <p>
- A <a href="../fifo/fifo.html">non-FIFO</a> BMSC is redrawn to a
- form that no messages are going up.
- </p>
- <ul class="gallery">
- <li>
- <ul>
- <a href="pictures/unfifo2.vsd">
- <li>
- <img src="pictures/unfifo2.png" width="250" border="0"
- alt="Ordered non-FIFO BMSC" />
- </li>
- <li class="caption">
- Acyclic design
- </li>
- </a>
- </ul>
- </li>
- </ul>
- <p>
- </p>
- <h3>
- Example 3:
- </h3>
- <p>
- For coregions it changes the order of events to minimize number of
- crossings of two messages. After redrawing, messages are joined with
- coregion in such way that they do not go across coregion body.
- </p>
- <ul class="gallery">
- <li>
- <ul>
- <a href="pictures/coregion1.vsd">
- <li>
- <img src="pictures/coregion1.png" width="250" border="0"
- alt="Crossing messages jointed with coregion" />
- </li>
- <li class="caption">
- Before beautify
- </li>
- </a>
- </ul>
- </li>
- <li>
- <ul>
- <a href="pictures/coregion2.vsd">
- <li>
- <img src="pictures/coregion2.png" width="250 " border="0" alt="" />
- </li>
- <li class="caption">
- After beautify
- </li>
- </a>
- </ul>
- </li>
- </ul>
- <p>
- </p>
- <h3>
- Current implementation:
- </h3>
- <p>
- In the current implementation the following features are not supported and therefore may cause
- some inaccuracies: actions, conditions, ordering lines, ordering sides, ordering arrows. Few other
- features are not in the final version of implementation: time interval, directed interval and
- absolute time and has to be sometimes redrawn by the user.
- </p>
- </div>
- </body>
-</html>
Added: trunk/doc/help/boundedness/boundedness.body.htm
===================================================================
--- trunk/doc/help/boundedness/boundedness.body.htm (rev 0)
+++ trunk/doc/help/boundedness/boundedness.body.htm 2012-01-13 19:30:52 UTC (rev 1286)
@@ -0,0 +1,63 @@
+<div class="content">
+ <h1>
+ Universal Boundedness
+ </h1>
+ <p>
+ is a property of an HMSC. An HMSC is universally bounded if there exists
+ an upper bound on size of communication buffers of all involved processes.
+ Informally, each instance waits for a response before sending the same
+ message again. A dialog is an example of bounded communication. E-mail
+ spam is an example of unbounded communication - actually, it is not rare
+ that an input buffer (mailbox) gets full in this case.
+ </p>
+ <p>
+ When all the possible executions of an HMSC are finite, then HMSC is
+ universally bounded. Therefore ...
[truncated message content] |
|
From: <mbe...@us...> - 2012-01-13 19:53:30
|
Revision: 1287
http://scstudio.svn.sourceforge.net/scstudio/?rev=1287&view=rev
Author: mbezdeka
Date: 2012-01-13 19:53:24 +0000 (Fri, 13 Jan 2012)
Log Message:
-----------
examples added to help
Modified Paths:
--------------
trunk/doc/help/menu.htm
trunk/doc/help/menui.htm
Modified: trunk/doc/help/menu.htm
===================================================================
--- trunk/doc/help/menu.htm 2012-01-13 19:30:52 UTC (rev 1286)
+++ trunk/doc/help/menu.htm 2012-01-13 19:53:24 UTC (rev 1287)
@@ -90,6 +90,23 @@
</li>
</ul>
</li>
+ <li>
+ Examples
+ <ul>
+ <li>
+ <a href="examples/Client-Proxy-Server_Registration/Client-proxy-server_registration.vsd">Client-Proxy-Server Registration</a>
+ </li>
+ <li>
+ <a href="examples/E-shop/e-shop.vsd">E-shop</a>
+ </li>
+ <li>
+ <a href="examples/Process-Modelling/ProcessModelling.vsd">Process Modelling</a>
+ </li>
+ <li>
+ <a href="examples/WAP-With-Billing-System/WAP-with billing.vsd">WAP With Billing System</a>
+ </li>
+ </ul>
+ </li>
</ul>
<div class="footer">
<p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
Modified: trunk/doc/help/menui.htm
===================================================================
--- trunk/doc/help/menui.htm 2012-01-13 19:30:52 UTC (rev 1286)
+++ trunk/doc/help/menui.htm 2012-01-13 19:53:24 UTC (rev 1287)
@@ -90,6 +90,23 @@
</li>
</ul>
</li>
+ <li>
+ Examples
+ <ul>
+ <li>
+ <a href="../examples/Client-Proxy-Server_Registration/Client-proxy-server_registration.vsd">Client-Proxy-Server Registration</a>
+ </li>
+ <li>
+ <a href="../examples/E-shop/e-shop.vsd">E-shop</a>
+ </li>
+ <li>
+ <a href="../examples/Process-Modelling/ProcessModelling.vsd">Process Modelling</a>
+ </li>
+ <li>
+ <a href="../examples/WAP-With-Billing-System/WAP-with billing.vsd">WAP With Billing System</a>
+ </li>
+ </ul>
+ </li>
</ul>
<div class="footer">
<p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <mbe...@us...> - 2012-01-13 23:46:09
|
Revision: 1288
http://scstudio.svn.sourceforge.net/scstudio/?rev=1288&view=rev
Author: mbezdeka
Date: 2012-01-13 23:46:03 +0000 (Fri, 13 Jan 2012)
Log Message:
-----------
titles consistency
Modified Paths:
--------------
trunk/doc/help/beautify/beautify.head.htm
trunk/doc/help/deadlock/deadlock.head.htm
trunk/doc/help/fifo/fifo.head.htm
trunk/doc/help/frontend/automatic_drawing.head.htm
trunk/doc/help/frontend/flip_message_direction.head.htm
trunk/doc/help/frontend/message_numbering.head.htm
trunk/doc/help/frontend/settings.head.htm
trunk/doc/help/frontend/shape_selection.head.htm
trunk/doc/help/livelock/livelock.head.htm
trunk/doc/help/localchoice/localchoice.head.htm
trunk/doc/help/membership/membership.head.htm
trunk/doc/help/realizability/realizability.head.htm
trunk/doc/help/recursivity/recursivity.head.htm
trunk/doc/help/time_consistency/time_consistency.head.htm
trunk/doc/help/time_trace_race/time_race.head.htm
Modified: trunk/doc/help/beautify/beautify.head.htm
===================================================================
--- trunk/doc/help/beautify/beautify.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/beautify/beautify.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Beautify documentation
+ Beautify
</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
Modified: trunk/doc/help/deadlock/deadlock.head.htm
===================================================================
--- trunk/doc/help/deadlock/deadlock.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/deadlock/deadlock.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Deadlock
+ Deadlock Free
</title>
<meta name="author" content="Martin Chmelik" />
<link href="../help.css" rel="stylesheet" type="text/css" />
Modified: trunk/doc/help/fifo/fifo.head.htm
===================================================================
--- trunk/doc/help/fifo/fifo.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/fifo/fifo.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- FIFO
+ FIFO - First In First Out
</title>
<meta name="author" content="Martin Chmelik" />
<link href="../help.css" rel="stylesheet" type="text/css" />
Modified: trunk/doc/help/frontend/automatic_drawing.head.htm
===================================================================
--- trunk/doc/help/frontend/automatic_drawing.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/automatic_drawing.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Automatic Drawing - SCStudio frontend
+ Automatic Drawing
</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
Modified: trunk/doc/help/frontend/flip_message_direction.head.htm
===================================================================
--- trunk/doc/help/frontend/flip_message_direction.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/flip_message_direction.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Flip Message Direction - SCStudio frontend
+ Flip Message Direction
</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
Modified: trunk/doc/help/frontend/message_numbering.head.htm
===================================================================
--- trunk/doc/help/frontend/message_numbering.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/message_numbering.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -5,8 +5,10 @@
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
<html xmlns="http://www.w3.org/1999/xhtml">
-<head>
-<title>Element Numbering – SCStudio frontend</title>
-<link href="../help.css" rel="stylesheet" type="text/css" />
-</head>
-<body>
+ <head>
+ <title>
+ Element Numbering
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
Modified: trunk/doc/help/frontend/settings.head.htm
===================================================================
--- trunk/doc/help/frontend/settings.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/settings.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Settings dialog
+ Options
</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
Modified: trunk/doc/help/frontend/shape_selection.head.htm
===================================================================
--- trunk/doc/help/frontend/shape_selection.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/shape_selection.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Shape Selection - SCStudio frontend
+ Shape Selection
</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
Modified: trunk/doc/help/livelock/livelock.head.htm
===================================================================
--- trunk/doc/help/livelock/livelock.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/livelock/livelock.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Livelock
+ Livelock Free
</title>
<meta name="author" content="Martin Chmelik" />
<link href="../help.css" rel="stylesheet" type="text/css" />
Modified: trunk/doc/help/localchoice/localchoice.head.htm
===================================================================
--- trunk/doc/help/localchoice/localchoice.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/localchoice/localchoice.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Non-local choice
+ Local Choice
</title>
<meta name="author" content="Martin Chmelik" />
<link href="../help.css" rel="stylesheet" type="text/css" />
Modified: trunk/doc/help/membership/membership.head.htm
===================================================================
--- trunk/doc/help/membership/membership.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/membership/membership.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,8 +7,8 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- membership documentation
+ Find Flow
</title>
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
- <body lang="en-US" dir="ltr" style="border: none; padding: 0in">
+ <body>
Modified: trunk/doc/help/realizability/realizability.head.htm
===================================================================
--- trunk/doc/help/realizability/realizability.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/realizability/realizability.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Strong realizability
+ Strong Realizability
</title>
<meta name="author" content="Martin Chmelik" />
<link href="../help.css" rel="stylesheet" type="text/css" />
Modified: trunk/doc/help/recursivity/recursivity.head.htm
===================================================================
--- trunk/doc/help/recursivity/recursivity.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/recursivity/recursivity.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Acyclic property
+ Nonrecursivity
</title>
<meta name="author" content="Martin Chmelik" />
<link href="../help.css" rel="stylesheet" type="text/css" />
Modified: trunk/doc/help/time_consistency/time_consistency.head.htm
===================================================================
--- trunk/doc/help/time_consistency/time_consistency.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/time_consistency/time_consistency.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
- Time Consistency
+ Time Consistent
</title>
<meta name="author" content="Martin Chmelik" />
<link href="../help.css" rel="stylesheet" type="text/css" />
Modified: trunk/doc/help/time_trace_race/time_race.head.htm
===================================================================
--- trunk/doc/help/time_trace_race/time_race.head.htm 2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/time_trace_race/time_race.head.htm 2012-01-13 23:46:03 UTC (rev 1288)
@@ -1,3 +1,5 @@
+<?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" >
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <xm...@us...> - 2013-02-19 12:11:28
|
Revision: 1588
http://scstudio.svn.sourceforge.net/scstudio/?rev=1588&view=rev
Author: xmalota
Date: 2013-02-19 12:11:16 +0000 (Tue, 19 Feb 2013)
Log Message:
-----------
help changed: added reference for pcap in settings, added missing icon
Modified Paths:
--------------
trunk/doc/help/beautify/beautify.body.htm
trunk/doc/help/fifo/fifo.body.htm
trunk/doc/help/frontend/settings.body.htm
Added Paths:
-----------
trunk/doc/help/frontend/pictures/icon_check.png
Modified: trunk/doc/help/beautify/beautify.body.htm
===================================================================
--- trunk/doc/help/beautify/beautify.body.htm 2013-02-18 19:57:22 UTC (rev 1587)
+++ trunk/doc/help/beautify/beautify.body.htm 2013-02-19 12:11:16 UTC (rev 1588)
@@ -13,7 +13,7 @@
The parameters respected by
<code>Beautify</code>
can be changed via menu
- <code>Check->Options->Beautify</code>
+ <code>Check -> Options -> Beautify</code>
.
</p>
<p>
@@ -98,7 +98,7 @@
<li>
<ul>
<a href="pictures/ordered.vsd">
- <li><img src="pictures/ordered.png" width="400" border="0"
+ <li><img src="pictures/ordered.png" width="300" border="0"
alt="Ordered BMSC" /></li>
<li class="caption">After beautify</li>
</a>
@@ -115,7 +115,7 @@
<li>
<ul>
<a href="pictures/unfifo2.vsd">
- <li><img src="pictures/unfifo2.png" width="300" border="0"
+ <li><img src="pictures/unfifo2.png" width="250" border="0"
alt="Ordered non-FIFO BMSC" /></li>
<li class="caption">Acyclic design</li>
</a>
Modified: trunk/doc/help/fifo/fifo.body.htm
===================================================================
--- trunk/doc/help/fifo/fifo.body.htm 2013-02-18 19:57:22 UTC (rev 1587)
+++ trunk/doc/help/fifo/fifo.body.htm 2013-02-19 12:11:16 UTC (rev 1588)
@@ -139,9 +139,11 @@
</ul>
</li>
</ul>
+ <p>
<h3>
FIFO channel for every pair of instances and labels
</h3>
+ </p>
<p>
In this case we can have more than one FIFO channel between two processes.
For every label there is one channel. Everything what has satisfied FIFO
Added: trunk/doc/help/frontend/pictures/icon_check.png
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/frontend/pictures/icon_check.png
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Modified: trunk/doc/help/frontend/settings.body.htm
===================================================================
--- trunk/doc/help/frontend/settings.body.htm 2013-02-18 19:57:22 UTC (rev 1587)
+++ trunk/doc/help/frontend/settings.body.htm 2013-02-19 12:11:16 UTC (rev 1588)
@@ -73,6 +73,12 @@
Beautify and its configuration is described on a
<a href="./../beautify/beautify.html">separate page</a>.
</p>
+
+ <h2>Pcap</h2>
+ <p>
+ Pcap and its configuration is described on a
+ <a href="./../pcap/pcap.html">separate page</a>.
+ </p>
<h2>Verfication</h2>
<p>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <xf...@us...> - 2013-02-21 09:44:04
|
Revision: 1590
http://scstudio.svn.sourceforge.net/scstudio/?rev=1590&view=rev
Author: xfarmad
Date: 2013-02-21 09:43:55 +0000 (Thu, 21 Feb 2013)
Log Message:
-----------
tex help
Modified Paths:
--------------
trunk/doc/help/CMakeLists.txt
trunk/doc/help/menu.htm
trunk/doc/help/menui.htm
Added Paths:
-----------
trunk/doc/help/tex/
trunk/doc/help/tex/example.pdf
trunk/doc/help/tex/example.tex
trunk/doc/help/tex/example.vsd
trunk/doc/help/tex/pictures/
trunk/doc/help/tex/pictures/example.svg
trunk/doc/help/tex/tex.body.htm
trunk/doc/help/tex/tex.head.htm
Modified: trunk/doc/help/CMakeLists.txt
===================================================================
--- trunk/doc/help/CMakeLists.txt 2013-02-19 23:44:54 UTC (rev 1589)
+++ trunk/doc/help/CMakeLists.txt 2013-02-21 09:43:55 UTC (rev 1590)
@@ -12,6 +12,7 @@
acyclic/acyclic.html
beautify/beautify.html
pcap/pcap.html
+ tex/tex.html
boundedness/boundedness.html
deadlock/deadlock.html
fifo/fifo.html
Modified: trunk/doc/help/menu.htm
===================================================================
--- trunk/doc/help/menu.htm 2013-02-19 23:44:54 UTC (rev 1589)
+++ trunk/doc/help/menu.htm 2013-02-21 09:43:55 UTC (rev 1590)
@@ -96,6 +96,9 @@
<li>
<a href="pcap/pcap.html">Pcap</a>
</li>
+ <li>
+ <a href="tex/tex.html">Tex</a>
+ </li>
</ul>
</li>
<li>
Modified: trunk/doc/help/menui.htm
===================================================================
--- trunk/doc/help/menui.htm 2013-02-19 23:44:54 UTC (rev 1589)
+++ trunk/doc/help/menui.htm 2013-02-21 09:43:55 UTC (rev 1590)
@@ -96,6 +96,9 @@
<li>
<a href="../pcap/pcap.html">Pcap</a>
</li>
+ <li>
+ <a href="../tex/tex.html">Tex</a>
+ </li>
</ul>
</li>
<li>
Added: trunk/doc/help/tex/example.pdf
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/tex/example.pdf
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Added: trunk/doc/help/tex/example.tex
===================================================================
--- trunk/doc/help/tex/example.tex (rev 0)
+++ trunk/doc/help/tex/example.tex 2013-02-21 09:43:55 UTC (rev 1590)
@@ -0,0 +1,98 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{Drawing1.vsd}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{15mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{10mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{10mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{10mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+%%%% Width of comment:
+\def\commentWidthA{5mm*\real{\mscScaleX}}
+
+\setlength{\msccommentdist}{\commentWidthA}
+
+%%%% Comment slope:
+\def\commentSlopeA{7mm*\real{\mscScaleY}}
+
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{10mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{37mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{NAME}{}
+\declinst{1_inst}{NAME}{}
+\setlength{\levelheight}{\slopeA}
+\mess{NAME}{0_inst}[0.3]{1_inst}
+\setlength{\levelheight}{\levelA}
+\nextlevel
+\setlength{\levelheight}{\commentSlopeA}
+\msccomment[r]{NAME}{1_inst}[-1]
+\setlength{\levelheight}{\slopeA}
+\mess{NAME}{1_inst}[0.3]{0_inst}
+\end{msc}
+\end{document}
Added: trunk/doc/help/tex/example.vsd
===================================================================
(Binary files differ)
Property changes on: trunk/doc/help/tex/example.vsd
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Added: trunk/doc/help/tex/pictures/example.svg
===================================================================
--- trunk/doc/help/tex/pictures/example.svg (rev 0)
+++ trunk/doc/help/tex/pictures/example.svg 2013-02-21 09:43:55 UTC (rev 1590)
@@ -0,0 +1,120 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN" "http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd">
+<!-- Generated by Microsoft Visio 11.0, SVG Export, v1.0 example.svg Page-1 -->
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:ev="http://www.w3.org/2001/xml-events"
+ xmlns:v="http://schemas.microsoft.com/visio/2003/SVGExtensions/" width="8.5in" height="11in" viewBox="0 0 612 792"
+ xml:space="preserve" color-interpolation-filters="sRGB" class="st8">
+ <v:documentProperties v:langID="1033" v:metric="true" v:viewMarkup="false">
+ <v:userDefs>
+ <v:ud v:nameU="msvNoAutoConnect" v:val="VT0(1):26"/>
+ </v:userDefs>
+ </v:documentProperties>
+
+ <style type="text/css">
+ <![CDATA[
+ .st1 {fill:#000000}
+ .st2 {stroke:#000000;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.24}
+ .st3 {fill:#000000;font-family:Arial;font-size:0.666664em}
+ .st4 {marker-end:url(#mrkr4-18);stroke:#000000;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.24}
+ .st5 {fill:#000000;fill-opacity:1;stroke:#000000;stroke-opacity:1;stroke-width:0.08695652173913}
+ .st6 {fill:#ffffff;stroke:none;stroke-linecap:butt;stroke-width:7.2}
+ .st7 {stroke:#000000;stroke-dasharray:1.68,1.2;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.24}
+ .st8 {fill:none;fill-rule:evenodd;font-size:12px;overflow:visible;stroke-linecap:square;stroke-miterlimit:3}
+ ]]>
+ </style>
+
+ <defs id="Markers">
+ <g id="lend4">
+ <path d="M 2 1 L 0 0 L 2 -1 L 2 1 " style="stroke:none"/>
+ </g>
+ <marker id="mrkr4-18" class="st5" v:arrowType="4" v:arrowSize="2" v:setback="23" refX="-23" orient="auto"
+ markerUnits="strokeWidth" overflow="visible">
+ <use xlink:href="#lend4" transform="scale(-11.5,-11.5) "/>
+ </marker>
+ </defs>
+ <g v:mID="0" v:index="1" v:groupContext="foregroundPage">
+ <v:userDefs>
+ <v:ud v:nameU="LPrec" v:val="VT0(2):26"/>
+ <v:ud v:nameU="LUnits" v:val="VT0(0):26"/>
+ <v:ud v:nameU="ShowUnits" v:val="VT0(0):26"/>
+ </v:userDefs>
+ <title>Page-1</title>
+ <v:pageProperties v:drawingScale="0.0393701" v:pageScale="0.0393701" v:drawingUnits="24" v:shadowOffsetX="9"
+ v:shadowOffsetY="-9"/>
+ <v:layer v:name="Connector" v:index="0"/>
+ <v:layer v:name="Instance" v:index="1"/>
+ <v:layer v:name="Symbol" v:index="2"/>
+ <v:layer v:name="Dimensions" v:index="3"/>
+ <g id="shape1-1" v:mID="1" v:groupContext="shape" v:layerMember="1" transform="translate(1041.45,40.8189) rotate(90)">
+ <title>Line Instance</title>
+ <desc>NAME</desc>
+ <v:userDefs>
+ <v:ud v:nameU="visVersion" v:val="VT0(11):26"/>
+ <v:ud v:nameU="mscSymbol" v:val="VT4(bmsc.instance.line)"/>
+ </v:userDefs>
+ <v:textBlock v:margins="rect(2,2,2,2)"/>
+ <v:textRect cx="-6.80178" cy="792" width="29.34" height="13.6036" transform="rotate(-90)"/>
+ <path d="M77.95 777.83 L85.04 777.83 L85.04 806.17 L77.95 806.17 L77.95 777.83 Z" class="st1"/>
+ <path d="M0 806.17 L0 777.83 L7.09 777.83 L7.09 806.17 L0 806.17" class="st2"/>
+ <path d="M77.95 777.83 L85.04 777.83 L85.04 806.17 L77.95 806.17 L77.95 777.83" class="st2"/>
+ <path d="M7.09 792 L77.95 792" class="st2"/>
+ <text x="-803.56" y="-4.4" transform="rotate(-90)" class="st3" v:langID="1033"><v:paragraph v:horizAlign="1"/><v:tabList/>NAME</text> </g>
+ <g id="shape2-7" v:mID="2" v:groupContext="shape" v:layerMember="1" transform="translate(1146.33,40.8189) rotate(90)">
+ <title>Line Instance.2</title>
+ <desc>NAME</desc>
+ <v:userDefs>
+ <v:ud v:nameU="visVersion" v:val="VT0(11):26"/>
+ <v:ud v:nameU="mscSymbol" v:val="VT4(bmsc.instance.line)"/>
+ </v:userDefs>
+ <v:textBlock v:margins="rect(2,2,2,2)"/>
+ <v:textRect cx="-6.80178" cy="792" width="29.34" height="13.6036" transform="rotate(-90)"/>
+ <path d="M77.95 777.83 L85.04 777.83 L85.04 806.17 L77.95 806.17 L77.95 777.83 Z" class="st1"/>
+ <path d="M0 806.17 L0 777.83 L7.09 777.83 L7.09 806.17 L0 806.17" class="st2"/>
+ <path d="M77.95 777.83 L85.04 777.83 L85.04 806.17 L77.95 806.17 L77.95 777.83" class="st2"/>
+ <path d="M7.09 792 L77.95 792" class="st2"/>
+ <text x="-803.56" y="-4.4" transform="rotate(-90)" class="st3" v:langID="1033"><v:paragraph v:horizAlign="1"/><v:tabList/>NAME</text> </g>
+ <g id="shape3-13" v:mID="3" v:groupContext="shape" v:layerMember="0" transform="translate(249.449,-722.835)">
+ <title>Message (Right)</title>
+ <desc>NAME</desc>
+ <v:userDefs>
+ <v:ud v:nameU="visVersion" v:val="VT0(11):26"/>
+ <v:ud v:nameU="mscSymbol" v:val="VT4(bmsc.message)"/>
+ </v:userDefs>
+ <v:textBlock v:margins="rect(1,2,1,2)" v:verticalAlign="0"/>
+ <v:textRect cx="34.1732" cy="786.198" width="40" height="11.6036"/>
+ <path d="M0 792 L99.36 792" class="st4"/>
+ <rect v:rectContext="textBkgnd" x="16.1733" y="781.396" width="23.113" height="9.59985" class="st6"/>
+ <text x="16.17" y="788.6" class="st3" v:langID="1033"><v:paragraph/><v:tabList/>NAME</text> </g>
+ <g id="shape4-21" v:mID="4" v:groupContext="shape" v:layerMember="0" transform="translate(354.331,889.512) rotate(180)">
+ <title>Message (Left)</title>
+ <desc>NAME</desc>
+ <v:userDefs>
+ <v:ud v:nameU="visVersion" v:val="VT0(11):26"/>
+ <v:ud v:nameU="mscSymbol" v:val="VT4(bmsc.message)"/>
+ </v:userDefs>
+ <v:textBlock v:margins="rect(1,2,1,2)" v:verticalAlign="0"/>
+ <v:textRect cx="34.1732" cy="797.802" width="40" height="11.6036" transform="rotate(180)"/>
+ <path d="M0 792 L99.36 792" class="st4"/>
+ <rect v:rectContext="textBkgnd" x="-39.2862" y="-802.604" width="23.113" height="9.59985" transform="rotate(180)"
+ class="st6"/>
+ <text x="-39.29" y="-795.4" transform="rotate(180)" class="st3" v:langID="1033"><v:paragraph v:horizAlign="2"/><v:tabList/>NAME</text> </g>
+ <g id="group5-28" transform="translate(-366.803,86.4711) rotate(-90)" v:mID="5" v:groupContext="group">
+ <v:userDefs>
+ <v:ud v:nameU="visVersion" v:val="VT0(11):26"/>
+ <v:ud v:nameU="mscSymbol" v:val="VT4(comment)"/>
+ </v:userDefs>
+ <title>Comment</title>
+ <g id="shape6-29" v:mID="6" v:groupContext="shape" transform="translate(-451.539,1379.78) rotate(-144.462)">
+ <title>Sheet.6</title>
+ <path d="M24.38 792 L0 792" class="st7"/>
+ </g>
+ <g id="shape7-32" v:mID="7" v:groupContext="shape" transform="translate(792,735.307) rotate(90)">
+ <title>Sheet.7</title>
+ <desc>NAME</desc>
+ <v:textBlock v:margins="rect(4,4,4,4)"/>
+ <v:textRect cx="28.3465" cy="783.198" width="56.7" height="17.6036"/>
+ <path d="M56.69 774.4 L0 774.4 L0 792 L56.69 792" class="st2"/>
+ <text x="4" y="785.6" class="st3" v:langID="1033"><v:paragraph/><v:tabList/>NAME</text> </g>
+ </g>
+ </g>
+</svg>
Added: trunk/doc/help/tex/tex.body.htm
===================================================================
--- trunk/doc/help/tex/tex.body.htm (rev 0)
+++ trunk/doc/help/tex/tex.body.htm 2013-02-21 09:43:55 UTC (rev 1590)
@@ -0,0 +1,208 @@
+<div class="content">
+ <h2>
+ Export Tex
+ </h2>
+ <p>
+ The main aim of this function is to export MSC diagrams to <code>".tex"</code> files and make tex source code as easy to modify as possible. It
+ is accessible via menu <code>SCStudio -> Drawing -> Export...</code>
+ </p>
+
+ <h3>
+ Export result
+ </h3>
+ <p>
+ The result of export is a tex file with tex source code. Structure of the file is following:
+ </p>
+ <ul>
+ <li>First are document settings (used packages and paper size).</li>
+ <li>Then follow exported diagrams.</li>
+ <li>Then follow exported diagrams. Each exported diagram consists of:
+ <ul>
+ <li>configuration header and</li>
+ <li>commands to draw diagram.</li>
+ </ul>
+ </li>
+ </ul>
+
+ <h3>
+ Document settings
+ </h3>
+ <p>
+ Default document settings for paper size are A4 paper and no frames for diagrams. Paper size can be changed by modifying line <code>\usepackage[a4paper]{geometry}</code>
+ to use any paper size(<code>a4paper,a3paper,a0paper</code>) or to exact paper size( using command <code>\usepackage[paperwidth=200cm, paperheight=200cm]{geometry}</code>).
+ </p>
+
+ <h3>
+ Configuration header
+ </h3>
+ <p>
+ The configuration header contains settings for associated diagram. It's possible to change scale, padding of the diagram and element properties.
+ Properties that are not displaying by default in the header to minimize its size::
+ </p>
+ <ul>
+ <li>
+ <b><code>\drawframe{yes/no}</code></b> - command to control drawing of the msc-frame,
+ </li>
+ <li>
+ <b><code>\showgrid</code></b> - commands to switch drawing of the msc-grid on,
+ </li>
+ <li>
+ <b><code>\nogrid</code></b> - commands to switch drawing of the msc-grid off,
+ </li>
+ <li>
+ <b><code>\drawinsthead{yes/no}</code></b> - commands to switch internal options that control the drawing of header symbols,
+ </li>
+ <li>
+ <b><code>\drawinstfoot{yes/no}</code></b> - commands to switch internal options that control the drawing of footer symbols,
+ </li>
+ <li>
+ <b><code>\msc@titlejustification</code></b> - property to say how the title should be aligned. Options: <code>l</code>: left (default), <code>c</code>: centered, <code>r</code>: righ.
+ </li>
+ </ul>
+ <p>
+ Diagram:
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <li >
+ <object data="pictures/example.svg" type="image/svg+xml"></object>
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <p>
+ Example of exported diagram:
+
+ </p>
+ <ul class="gallery">
+ <li>
+ <ul>
+ <li >
+ <pre style="text-align: left">
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{Drawing1.vsd}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{15mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{10mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{10mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{10mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+%%%% Width of comment:
+\def\commentWidthA{5mm*\real{\mscScaleX}}
+
+\setlength{\msccommentdist}{\commentWidthA}
+
+%%%% Comment slope:
+\def\commentSlopeA{7mm*\real{\mscScaleY}}
+
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{10mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{37mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{NAME}{}
+\declinst{1_inst}{NAME}{}
+\setlength{\levelheight}{\slopeA}
+\mess{NAME}{0_inst}[0.3]{1_inst}
+\setlength{\levelheight}{\levelA}
+\nextlevel
+\setlength{\levelheight}{\commentSlopeA}
+\msccomment[r]{NAME}{1_inst}[-1]
+\setlength{\levelheight}{\slopeA}
+\mess{NAME}{1_inst}[0.3]{0_inst}
+\end{msc}
+\end{document}
+ </pre>
+ </li>
+ </ul>
+ </li>
+ </ul>
+ Download:
+ <ul>
+ <li><a href="example.vsd">example.vsd</a></li>
+ <li><a href="example.tex">example.tex</a></li>
+ <li><a href="example.pdf">example.pdf</a></li>
+ </ul>
+
+ <h3>
+ Command to draw diagram
+ </h3>
+ <p>
+ Diagrams are drawn using <code>msc5.sty</code> package. More about this package you can find on <a href="http://is.muni.cz/www/374320/index.html">http://is.muni.cz/www/374320/index.html</a>
+ </p>
+ <h3>
+ Convert TEX to PDF
+ </h3>
+ <p>
+ The best way to convert TEX file to PDF is using command <code>pdfTeX</code> ( <code>pdfTeX</code> is included in <a href="www.tug.org/texlive/">TeX Live</a> or <a href="http://www.miktex.org/">MiKTeX</a>).
+ First you need to have <code>msc5.sty</code> in the same directory as your tex file or in <code>pdfTeX</code> repository. Then you run command: <code>pdfTex [file]</code>. It creates <code>file.pdf</code> with your diagram.
+ </p>
+ </div>
+ </body>
+</html>
\ No newline at end of file
Added: trunk/doc/help/tex/tex.head.htm
===================================================================
--- trunk/doc/help/tex/tex.head.htm (rev 0)
+++ trunk/doc/help/tex/tex.head.htm 2013-02-21 09:43:55 UTC (rev 1590)
@@ -0,0 +1,14 @@
+<?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>
+ Export Tex
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <xb...@us...> - 2013-07-02 19:36:03
|
Revision: 1841
http://sourceforge.net/p/scstudio/code/1841
Author: xborza
Date: 2013-07-02 19:36:00 +0000 (Tue, 02 Jul 2013)
Log Message:
-----------
help enriched with "Message Jumping" section
Modified Paths:
--------------
trunk/doc/help/CMakeLists.txt
trunk/doc/help/menu.htm
trunk/doc/help/menui.htm
Added Paths:
-----------
trunk/doc/help/frontend/message_jumping.body.htm
trunk/doc/help/frontend/message_jumping.head.htm
trunk/doc/help/frontend/pictures/message_jump.png
trunk/doc/help/frontend/pictures/message_jump_left.png
trunk/doc/help/frontend/pictures/message_jump_left_copy.png
trunk/doc/help/frontend/pictures/message_jump_right.png
trunk/doc/help/frontend/pictures/message_jump_right_copy.png
Modified: trunk/doc/help/CMakeLists.txt
===================================================================
--- trunk/doc/help/CMakeLists.txt 2013-07-02 14:44:32 UTC (rev 1840)
+++ trunk/doc/help/CMakeLists.txt 2013-07-02 19:36:00 UTC (rev 1841)
@@ -18,6 +18,7 @@
fifo/fifo.html
frontend/automatic_drawing.html
frontend/flip_message_direction.html
+ frontend/message_jumping.html
frontend/message_numbering.html
frontend/settings.html
frontend/shape_selection.html
Added: trunk/doc/help/frontend/message_jumping.body.htm
===================================================================
--- trunk/doc/help/frontend/message_jumping.body.htm (rev 0)
+++ trunk/doc/help/frontend/message_jumping.body.htm 2013-07-02 19:36:00 UTC (rev 1841)
@@ -0,0 +1,45 @@
+ <div class="content">
+ <h1>
+ Message Jumping
+ </h1>
+ <div>
+ The already drawn message can be shifted from the original position
+ to the left or to the right.</br>
+ There are two different functions for
+ message jumping - <code>Jump</code> and <code> Jump as Copy </code>.
+ <ul>
+ <li>
+ <h3>Jump</h3>
+ This functionality is accessible via menu <code>SCStudio -> Drawing -> Message Jumping -> Jump Left/Right</code>
+ or via shortcut <code>left/right arrow</code>.</br>
+ The selected message is shifted in between the instances on the left or right side from the original message
+ as shown in the following pictures.
+ </p>
+ Original message </br>
+ <img src="pictures/message_jump.png" alt="Message jump function" />
+ </br>Jump Left</br>
+ <img src="pictures/message_jump_left.png" alt="Message jump function" />
+ </br>Jump Right</br>
+ <img src="pictures/message_jump_right.png" alt="Message jump function" />
+ <p>
+
+ </li>
+ <li>
+ <h3>Jump as Copy</h3>
+ This functionality is accessible via menu <code>SCStudio -> Drawing -> Message Jumping -> Jump Left as Copy/Jump Right as Copy</code>
+ or via shortcut <code>Ctrl+Alt+left/right arrow</code>.</br>
+ The selected message is copied in between the instances on the left or right side from the original message
+ as shown in the following pictures.
+ </p>
+ Original message </br>
+ <img src="pictures/message_jump.png" alt="Message jump function" />
+ </br>Jump Left as Copy</br>
+ <img src="pictures/message_jump_left_copy.png" alt="Message jump function" />
+ </br>Jump Right as Copy</br>
+ <img src="pictures/message_jump_right_copy.png" alt="Message jump function" />
+ <p>
+ </li>
+ </ul>
+ </div>
+ </body>
+</html>
Property changes on: trunk/doc/help/frontend/message_jumping.body.htm
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: trunk/doc/help/frontend/message_jumping.head.htm
===================================================================
--- trunk/doc/help/frontend/message_jumping.head.htm (rev 0)
+++ trunk/doc/help/frontend/message_jumping.head.htm 2013-07-02 19:36:00 UTC (rev 1841)
@@ -0,0 +1,14 @@
+<?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>
+ Message Jumping
+ </title>
+ <link href="../help.css" rel="stylesheet" type="text/css" />
+ </head>
+ <body>
Property changes on: trunk/doc/help/frontend/message_jumping.head.htm
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: trunk/doc/help/frontend/pictures/message_jump.png
===================================================================
(Binary files differ)
Index: trunk/doc/help/frontend/pictures/message_jump.png
===================================================================
--- trunk/doc/help/frontend/pictures/message_jump.png 2013-07-02 14:44:32 UTC (rev 1840)
+++ trunk/doc/help/frontend/pictures/message_jump.png 2013-07-02 19:36:00 UTC (rev 1841)
Property changes on: trunk/doc/help/frontend/pictures/message_jump.png
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property
Added: trunk/doc/help/frontend/pictures/message_jump_left.png
===================================================================
(Binary files differ)
Index: trunk/doc/help/frontend/pictures/message_jump_left.png
===================================================================
--- trunk/doc/help/frontend/pictures/message_jump_left.png 2013-07-02 14:44:32 UTC (rev 1840)
+++ trunk/doc/help/frontend/pictures/message_jump_left.png 2013-07-02 19:36:00 UTC (rev 1841)
Property changes on: trunk/doc/help/frontend/pictures/message_jump_left.png
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property
Added: trunk/doc/help/frontend/pictures/message_jump_left_copy.png
===================================================================
(Binary files differ)
Index: trunk/doc/help/frontend/pictures/message_jump_left_copy.png
===================================================================
--- trunk/doc/help/frontend/pictures/message_jump_left_copy.png 2013-07-02 14:44:32 UTC (rev 1840)
+++ trunk/doc/help/frontend/pictures/message_jump_left_copy.png 2013-07-02 19:36:00 UTC (rev 1841)
Property changes on: trunk/doc/help/frontend/pictures/message_jump_left_copy.png
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property
Added: trunk/doc/help/frontend/pictures/message_jump_right.png
===================================================================
(Binary files differ)
Index: trunk/doc/help/frontend/pictures/message_jump_right.png
===================================================================
--- trunk/doc/help/frontend/pictures/message_jump_right.png 2013-07-02 14:44:32 UTC (rev 1840)
+++ trunk/doc/help/frontend/pictures/message_jump_right.png 2013-07-02 19:36:00 UTC (rev 1841)
Property changes on: trunk/doc/help/frontend/pictures/message_jump_right.png
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property
Added: trunk/doc/help/frontend/pictures/message_jump_right_copy.png
===================================================================
(Binary files differ)
Index: trunk/doc/help/frontend/pictures/message_jump_right_copy.png
===================================================================
--- trunk/doc/help/frontend/pictures/message_jump_right_copy.png 2013-07-02 14:44:32 UTC (rev 1840)
+++ trunk/doc/help/frontend/pictures/message_jump_right_copy.png 2013-07-02 19:36:00 UTC (rev 1841)
Property changes on: trunk/doc/help/frontend/pictures/message_jump_right_copy.png
___________________________________________________________________
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property
Modified: trunk/doc/help/menu.htm
===================================================================
--- trunk/doc/help/menu.htm 2013-07-02 14:44:32 UTC (rev 1840)
+++ trunk/doc/help/menu.htm 2013-07-02 19:36:00 UTC (rev 1841)
@@ -18,6 +18,9 @@
<li>
<a href="frontend/flip_message_direction.html">Flip message direction</a>
</li>
+ <li>
+ <a href="frontend/message_jumping.html">Message jumping</a>
+ </li>
<li>
<a href="frontend/settings.html">Options</a>
</li>
Modified: trunk/doc/help/menui.htm
===================================================================
--- trunk/doc/help/menui.htm 2013-07-02 14:44:32 UTC (rev 1840)
+++ trunk/doc/help/menui.htm 2013-07-02 19:36:00 UTC (rev 1841)
@@ -18,6 +18,9 @@
<li>
<a href="../frontend/flip_message_direction.html">Flip message direction</a>
</li>
+ <li>
+ <a href="../frontend/message_jumping.html">Message jumping</a>
+ </li>
<li>
<a href="../frontend/settings.html">Options</a>
</li>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|