Difference between revisions of "Rodin Platform 2.8.0 External Plug-ins"
imported>Colin |
imported>Colin |
||
(4 intermediate revisions by the same user not shown) | |||
Line 29: | Line 29: | ||
http://rodin-b-sharp.sourceforge.net/updates | http://rodin-b-sharp.sourceforge.net/updates | ||
+ | ['''NOTE''': updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/ which you will need to add by clicking the 'Add...' button in the Install window] | ||
+ | |||
+ | ['''NOTE''' : some iUML-B plugins require an extra update site for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/ which you will need to add by clicking the 'Add...' button in the Install window] | ||
{{SimpleHeader}} | {{SimpleHeader}} | ||
|- | |- | ||
! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info | ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info | ||
|- | |- | ||
− | | [[Image:IUMLB_big.png|30px]] || [[Event-B_Statemachines|Event-B State-machines]] || 2.0.0 || <span style="color:green"> available</span> || 2.x.x || 14th April 2014 || [mailto:cfs@ecs.soton.ac.uk email] || State-machines contained in Event-B Machines | + | | [[Image:IUMLB_big.png|30px]] || [[Event-B_Statemachines|Event-B State-machines]] || 2.0.0.3xx || <span style="color:green"> available ***</span> || 2.x.x || 14th April 2014 || [mailto:cfs@ecs.soton.ac.uk email] || State-machines contained in Event-B Machines [Requires adding the following update site for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/] |
|- | |- | ||
| [[Image:IUMLB_big.png|30px]] ||[[Event-B_Statemachines|Event-B State-machine Animation]] || 2.0.0 || <span style="color:green"> available</span> || 2.x.x || 14th April 2014 || [mailto:vs2@ecs.soton.ac.uk email] || Compatible with Event-B statemachines 2.0.x and ProB 2.4.x | | [[Image:IUMLB_big.png|30px]] ||[[Event-B_Statemachines|Event-B State-machine Animation]] || 2.0.0 || <span style="color:green"> available</span> || 2.x.x || 14th April 2014 || [mailto:vs2@ecs.soton.ac.uk email] || Compatible with Event-B statemachines 2.0.x and ProB 2.4.x | ||
Line 45: | Line 48: | ||
| ||[[Generic_Event-B_EMF_extensions|Event-B EMF support for extensions]] || 3.0.0 || <span style="color:green"> available</span> || 2.x.x || 14th April 2014 || [mailto:cfs@ecs.soton.ac.uk email] || 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. | | ||[[Generic_Event-B_EMF_extensions|Event-B EMF support for extensions]] || 3.0.0 || <span style="color:green"> available</span> || 2.x.x || 14th April 2014 || [mailto:cfs@ecs.soton.ac.uk email] || 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. | ||
|- | |- | ||
− | | ||[[Generic_Event-B_EMF_extensions|Event-B EMF support for diagrams]] || 4.0.0 || <span style="color:green"> available</span> || 2.x.x || 14th April 2014 || [mailto:cfs@ecs.soton.ac.uk email] || 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. | + | | ||[[Generic_Event-B_EMF_extensions|Event-B EMF support for diagrams]] || 4.0.0.3xx || <span style="color:green"> available ***</span> || 2.x.x || 14th April 2014 || [mailto:cfs@ecs.soton.ac.uk email] || 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]] || || <span style="color:#8B4513"> not checked</span> || 2.x.x || || || | | || [[Isabelle for Rodin]] || || <span style="color:#8B4513"> not checked</span> || 2.x.x || || || |
Latest revision as of 13:43, 28 November 2014
Contents
Rodin Update Site
http://rodin-b-sharp.sourceforge.net/updates
[NOTE: updates to some plugins marked *** are available from a separate update site : http://users.ecs.soton.ac.uk/cfs/downloads/PluginsReleasesForRodin2_8/ which you will need to add by clicking the 'Add...' button in the Install window]
[NOTE : some iUML-B plugins require an extra update site for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/ which you will need to add by clicking the 'Add...' button in the Install window]
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
---|---|---|---|---|---|---|---|
![]() |
Event-B State-machines | 2.0.0.3xx | available *** | 2.x.x | 14th April 2014 | State-machines contained in Event-B Machines [Requires adding the following update site for dependencies: http://download.eclipse.org/modeling/gmp/gmf-tooling/updates/releases/] | |
![]() |
Event-B State-machine Animation | 2.0.0 | available | 2.x.x | 14th April 2014 | Compatible with Event-B statemachines 2.0.x and ProB 2.4.x | |
![]() |
UML-B | 2.2.1 | available | 2.x.x | 9th Feb. 2011 | Original UML-B modelling environment | |
![]() |
UML-B Statemachine Animation | 1.2.0 | available | 2.x.x | 15th Feb. 2011 | Compatible with UML-B 2.2.x and ProB 2.4.x | |
Event-B EMF framework | 4.0.0 | available | 2.x.x | 14th April 2014 | 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 | 3.0.0 | available | 2.x.x | 14th April 2014 | 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 | 4.0.0.3xx | available *** | 2.x.x | 14th April 2014 | 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.4.0 | available | 2.x.x | 14th April 2014 | 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.1 | available | 04th July 2013 | Compatible with Rodin 2.8. | |||
Refactory | 1.2.2 | available | 16th August 2012 | Version compatible with Rodin 2.8. | |||
![]() |
Decomposition | 1.2.6 | available | 11th Dec 2012 | Compatible with Rodin 2.8. | ||
![]() |
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 | v2.0.0 | available | 30th April 2014 | Compatible with Rodin 2.8. | |||
Code Generation | 0.2.5 | available | 29th Aug. 2013 | For Java, Ada, and OpenMP C code | |||
SMT Solvers | 1.1.0 | available | 2.4 | 18th October 2013 | 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 | |||
Generic Instantiation (Soton) | 1.0.1 | available | 05th March 2013 |
B Method Update Site
http://methode-b.com/update_site/atelierb_provers
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
---|---|---|---|---|---|---|---|
![]() |
Atelier-B provers | 2.0.1 | available | 2.4.x | 5th Oct. 2011 | Read the instructions concerning 64-bit compatibility : here |
Other Update Sites
Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | ||
---|---|---|---|---|---|---|---|---|
![]() |
AnimB | not checked | Christophe Métayer | Use the update site http://www.animb.org/updatesite | ||||
Camille | 2.1.5 | not checked | 2.5.x | 27th July 2011 | Michael Jastram | Use the Camille update site. http://www.stups.uni-duesseldorf.de/camille_updates Make sure to install the Event-B EMF Framework version 3.7.0 or greater. | ||
![]() |
Modularisation | not checked | 2.x.x | Use the update site http://www.iliasov.org/modplugin | ||||
Group refinement | not checked | 2.x.x | Use the update site http://iliasov.org/refplugin | |||||
Flows/Use case extension | not checked | 2.x.x | Use the update site http://iliasov.org/usecase | |||||
![]() |
ProB | 2.4.1 | available | 2.8.x | 21th Jun. 2013 | Jens Bendisposto | Use the ProB update site. http://www.stups.uni-duesseldorf.de/prob_updates The Plug-in includes BMotion Studio | |
![]() |
ProR | 0.3.2 | not checked | 2.6.x | 08/01/2012 | Michael Jastram | Update site: http://update.formalmind.com/rodin Project web site: http://eclipse.org/rmf | |
![]() |
MBT plugin | 2.0 | available | 2.7.x | 5th of March 2012 | Alin Stefanescu | Use the update site http://fmi.upit.ro/mbt_plugin | |
Mode/FT Views | 1.0.2 | not checked | 2.4.x | 4th July 2011 | Ilya Lopatkin | Update site: http://rodinmodeftview.sourceforge.net/ | ||
Transformation patterns | 1.0 | not checked | 2.x.x | 4th July 2011 | Ilya Lopatkin | Update site: http://rodinmodeftview.sourceforge.net/ | ||
VHDL code generator | 2.0.2 | not checked | 2.x.x | 12th March 2012 | Sergey Ostroumov | Update site: http://www.eventb-to-vhdl.tk/ |
*MCV stands for the Rodin's Maximum Compatible Version
Known plug-in incompatibilities
It unfortunately might exists some incompatibilities between plug-ins. This list might be non exhaustive and is updated accorded to user experiences. If you encounter some conflict while installing or using plug-ins, please send a mail to the Rodin User List or feel free to complete the following table.
Plug-in name | Incompatible with |
---|