Rodin Platform 2.8.0 External Plug-ins
From Event-B
Rodin Update Site
| Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
|---|---|---|---|---|---|---|---|
 |
Event-B State-machines | 1.2.0 | not checked | 3rd June 2012 | State-machines contained in Event-B Machines | ||
|
Event-B State-machine Animation | 1.1.0 | not checked | 28th May 2012 | Compatible with Event-B statemachines 1.2.0 and ProB 2.3.2. | ||
 |
UML-B | 2.2.0 | not checked | 9th Feb. 2011 | Original UML-B modelling environment | ||
|
UML-B Statemachine Animation | 1.1.0 | not checked | 15th Feb. 2011 | Compatible with UML-B 2.2 and ProB 2.1. | ||
| Event-B EMF framework | 3.7.0 | not checked | 30th April 2012 | Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required. | |||
| Event-B EMF support for extensions | 1.3.0 | not checked | 3rd June 2012 | Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required. | |||
| Event-B EMF support for diagrams | 2.1.0 | not checked | 3rd June 2012 | Provided for plug-in developers. End users should not need to install this framework. It will be installed automatically by other plug-ins as required. | |||
| Isabelle for Rodin | not checked | 2.x.x | |||||
 |
Rose | 1.3.0 | not checked | 25th Aug. 2011 | Mainly useful for Plug-in developers. Tree-structured editor that handles extensions without modification | ||
| Records | 1.0.1 | not checked | 16th Oct. 2010 | No longer actively supported - please email if you wish to use this plugin | |||
| Teamwork | 1.1.0 | not checked | 15th Oct. 2010 | No longer actively supported - please email if you wish to use this plugin | |||
| Shared Event Composition | 1.6.0 | not checked | 16th August 2012 | Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects | |||
| Refactory | 1.2.2 | not checked | 2.6.x | 16th August 2012 | Version compatible with Rodin 2.6. | ||
 |
Decomposition | 1.2.6 | not checked | 11th Dec 2012 | Compatible with Rodin 2.7 . | ||
 |
Project Diagram | 1.0.0 | not checked | 15th Nov. 2010 | Machine - Context relationship diagram | ||
| Relevance Filter | 1.1.1 | not checked | 2.x.x | ||||
| Theory Plug-in | v1.0 | not checked | 2.2 | 8th July 2011 | Compatible with Rodin 2.2 only. | ||
| Code Generation Feature | 0.2.3 | not checked* | 22nd Mar. 2012 | *See Code Generation page for details of a compatibility issue. | |||
| SMT Solvers | 0.8.0 | not available | 2.4 | 17th Feb. 2012 | Laurent Voisin | This plug-in is not currently available. Please contact Laurent Voisin | |
| Qualitative Probability | 0.2.1 | not checked | 2.3.x | 23rd November 2011 | |||
| Generic Instantiation | 0.2.2 | not checked | 2.3.x | 11th May 2012 | |||
| B2Latex export | 0.5.3 | not checked | 2.5.x | 16th April 2012 |
