Difference between pages "Modularisation Plug-in Composition Semantics" and "Modularisation Plug-in Installation Instructions"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
 
imported>Mathieu
 
Line 1: Line 1:
{{TODO|This is an internal draft document}}
+
The plug-in works with the platform version 1.1RC1 or higher.
  
==The meaning of module composition==
+
The modularisation plug-in is installed as follows:
  
This page explains what it means to import a module and rely on the interface operations implemented by the module. In particular,  how one can, at least in principle, construct a single flat Event-B machine from a specification where a final refinement step and its abstraction rely on modules. This serves two purposes: it gives exact characterisation of the behaviour of a modular specification; it serves as a reference for implementation-stage composition strategies.
+
* Go to Help/Software Updates
 +
* Go into Available software tab
 +
* Click Add Site
 +
** the site url is: http://iliasov.org/modplugin
 +
* In the software list window, select the modularisation plug-in and hit Install
 +
* Go through the dialogs and confirm platform restart at the end
 +
       
 +
Now you should have the plug-in up and running. One thing that would indicate a successful plug-in installation is the "I" icon on the top of the project explorer view. This is a shortcut for adding new interface components.
  
==Approach 1: Reducing to A-style==
+
Please note that this an initial version of plug-in and many required features are not supported. Very little testing has been done so it is very likely to have a substantial number of bugs.
 +
 
 +
Please see [[Modularisation Plug-in Release Notes]] for version-specific notes and known limitations.
  
==Approach 2: Atomicity Refinement==
 
  
 
[[Category:Plugin]]
 
[[Category:Plugin]]

Latest revision as of 06:14, 12 October 2009

The plug-in works with the platform version 1.1RC1 or higher.

The modularisation plug-in is installed as follows:

  • Go to Help/Software Updates
  • Go into Available software tab
  • Click Add Site
  • In the software list window, select the modularisation plug-in and hit Install
  • Go through the dialogs and confirm platform restart at the end

Now you should have the plug-in up and running. One thing that would indicate a successful plug-in installation is the "I" icon on the top of the project explorer view. This is a shortcut for adding new interface components.

Please note that this an initial version of plug-in and many required features are not supported. Very little testing has been done so it is very likely to have a substantial number of bugs.

Please see Modularisation Plug-in Release Notes for version-specific notes and known limitations.