Difference between revisions of "Decomposition Plug-in User Guide"
From Event-B
Jump to navigationJump to searchimported>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:
- Download Rodin for your platform from 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: http://rodin-b-sharp.sourceforge.net/updates
- 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
Decomposition Plug-in Release History
Decomposing
Selecting the Input Machine
Setting the Preferences
Decomposition style, decomposition of the contexts, etc.