Difference between revisions of "Decomposition Plug-in User Guide"

From Event-B
Jump to navigationJump to search
imported>Pascal
imported>Pascal
Line 4: Line 4:
  
 
== Installing and Updating ==
 
== Installing and Updating ==
 +
 +
=== Setup ===
 +
The following steps will guide you through the setup process:
 +
# Download Rodin for your platform from [http://sourceforge.net/project/showfiles.php?group_id=108850&package_id=181714&release_id=687381 Sourceforge]:
 +
# Extract the downloaded zip file.
 +
# Start Rodin from the folder where you extracted the zip file in the previous step.
 +
# Install the Decomposition plug-in:
 +
## In the menu choose ''Help'' -> ''Software Updates...''
 +
## Select the tab ''Available Software'' and click ''Add Site...''
 +
## Use the location URL: <tt>http://rodin-b-sharp.sourceforge.net/updates</tt>
 +
## Back in ''Available Software'' open the update site you just added
 +
## Select ''Event-B Decomposition'' and click ''Install...''
 +
# Restart Rodin as suggested.
 +
 +
Now you are ready to use the Decomposition plug-in.
 +
 +
=== Update ===
 +
The following steps will guide you through the update process:
 +
# In Rodin open the preferences (''Window'' -> ''Preferences'' or for Mac: ''Rodin'' -> ''Preferences'')
 +
# Find ''Install/Update'' -> ''Automatic Updates''
 +
# Select ''Automatically find new updates and notify me''
 +
 +
As soon as Rodin finds a new update it will ask you if you would like to install it.
  
 
=== Release Notes ===
 
=== Release Notes ===

Revision as of 09:50, 3 November 2009

Introduction

Installing and Updating

Setup

The following steps will guide you through the setup process:

  1. Download Rodin for your platform from Sourceforge:
  2. Extract the downloaded zip file.
  3. Start Rodin from the folder where you extracted the zip file in the previous step.
  4. Install the Decomposition plug-in:
    1. In the menu choose Help -> Software Updates...
    2. Select the tab Available Software and click Add Site...
    3. Use the location URL: http://rodin-b-sharp.sourceforge.net/updates
    4. Back in Available Software open the update site you just added
    5. Select Event-B Decomposition and click Install...
  5. Restart Rodin as suggested.

Now you are ready to use the Decomposition plug-in.

Update

The following steps will guide you through the update process:

  1. In Rodin open the preferences (Window -> Preferences or for Mac: Rodin -> Preferences)
  2. Find Install/Update -> Automatic Updates
  3. Select Automatically find new updates and notify me

As soon as Rodin finds a new update it will ask you if you would like to install it.

Release Notes

Decomposition Plug-in Release History

Decomposing

Selecting the Input Machine

Setting the Preferences

Decomposition style, decomposition of the contexts, etc.

Importing / Exporting the Configuration

Reporting a Bug or Requesting a Feature

Bugs

Feature Requests

Tips and Tricks