Decomposition Plug-in User Guide

Introduction

The Decomposition plug-in allows to decompose a model into sub-models.

See the Event-B Model Decomposition page for technical details on shared variables (A-style) decomposition.

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

See the Decomposition plug-in release history.

Decomposing

Setting the Preferences

Decomposition style, decomposition of the contexts, etc.

Reporting a Bug or Requesting a Feature

Bugs

Feature Requests