Rodin Platform 2.7.0 External Plug-ins: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Colin |
imported>Nicolas →Rodin Update Site: SMT 1.0 available |
||
| (12 intermediate revisions by 5 users not shown) | |||
| Line 54: | Line 54: | ||
| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin | | ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#8B4513"> not checked</span> || || 15th Oct. 2010 || [mailto:cfs@ecs.soton.ac.uk email] || No longer actively supported - please email if you wish to use this plugin | ||
|- | |- | ||
| ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> | | ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.6.0 || <span style="color:#8B4513"> available</span>|| || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Compatible with Rodin 2.6. Bug fix related with dependencies of machines that are in different projects | ||
|- | |- | ||
| ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6. | | ||[[Refactoring Framework | Refactory ]]|| 1.2.2 || <span style="color:#8B4513"> not checked</span>|| 2.6.x || 16th August 2012 || [mailto:ras07r@ecs.soton.ac.uk email] || Version compatible with Rodin 2.6. | ||
|- | |- | ||
| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2. | | [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition]] || 1.2.6 || <span style="color:green"> available</span>|| || 11th Dec 2012 || [mailto:asf08r@ecs.soton.ac.uk email] || Compatible with Rodin 2.7 . | ||
|- | |- | ||
| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram | | [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| 1.0.0 || <span style="color:green"> available </span> || || 15th Nov. 2010 || [mailto:vs2@ecs.soton.ac.uk email] || Machine - Context relationship diagram | ||
| Line 66: | Line 66: | ||
| || [[Theory Plug-in| Theory Plug-in]] ||v1.0 ||<span style="color:#8B4513"> not checked</span>|| 2.2 || 8th July 2011|| [mailto:im06r@ecs.soton.ac.uk email] || Compatible with Rodin 2.2 only. | | || [[Theory Plug-in| Theory Plug-in]] ||v1.0 ||<span style="color:#8B4513"> not checked</span>|| 2.2 || 8th July 2011|| [mailto:im06r@ecs.soton.ac.uk email] || Compatible with Rodin 2.2 only. | ||
|-.x | |-.x | ||
| || [[Code Generation Activity | Code Generation Feature]] || 0.2. | | || [[Code Generation Activity | Code Generation Feature]] || 0.2.3 ||<span style="color:#8B4513"> available*</span>|| || 22nd Mar. 2012|| [mailto:ae2@ecs.soton.ac.uk email] ||*See Code Generation page for details of a compatibility issue. | ||
|-.x | |-.x | ||
|- | |- | ||
| || [[ | | || [[SMT_Solvers_Plug-in | SMT Solvers ]] || 1.0.0 || <span style="color:green"> available</span> || 2.7 || 3rd June 2013|| [mailto:laurent.voisin@systerel.fr Laurent Voisin] || | ||
|- | |- | ||
| || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:htson@inf.ethz.ch email] || | | || [[Event-B Qualitative Probability User Guide | Qualitative Probability]] || 0.2.1 || <span style="color:#8B4513"> not checked</span> || 2.3.x || 23rd November 2011 || [mailto:htson@inf.ethz.ch email] || | ||
| Line 101: | Line 101: | ||
| ||[[Flows|Flows/Use case extension]] || || <span style="color:#8B4513"> not checked</span>|| 2.x.x || || [mailto:alexei.iliasov@ncl.ac.uk email] || Use the update site <tt>http://iliasov.org/usecase</tt> | | ||[[Flows|Flows/Use case extension]] || || <span style="color:#8B4513"> not checked</span>|| 2.x.x || || [mailto:alexei.iliasov@ncl.ac.uk email] || Use the update site <tt>http://iliasov.org/usecase</tt> | ||
|- | |- | ||
| [[Image:Prob_eventb_wiki_logo.png|30px]]||[http://www.stups.uni-duesseldorf.de/ProB ProB] || 2.3. | | [[Image:Prob_eventb_wiki_logo.png|30px]]||[http://www.stups.uni-duesseldorf.de/ProB ProB] || 2.3.3|| <span style="color:green"> available </span> || 2.6.x || 13th Nov. 2012 || [mailto:jens@bendisposto.de Jens Bendisposto] || Use the ProB update site. <tt>http://www.stups.uni-duesseldorf.de/prob_updates</tt><br>The Plug-in includes [http://www.stups.uni-duesseldorf.de/BMotionStudio BMotion Studio] | ||
|- | |- | ||
| [[Image:ProR_logo.png|32px]] || [http://pror.org ProR] || 0.3.2 ||<span style="color:#8B4513"> not checked</span> || 2.6.x || 08/01/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt> | | [[Image:ProR_logo.png|32px]] || [http://pror.org ProR] || 0.3.2 ||<span style="color:#8B4513"> not checked</span> || 2.6.x || 08/01/2012 || [mailto:michael@jastram.de Michael Jastram] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web site: <tt>http://eclipse.org/rmf</tt> | ||
|- | |- | ||
| [[Image:MBT_for_Event-B_Logo_Medium.png]] ||[[MBT_plugin|MBT plugin]] || 2.0 || <span style="color: | | [[Image:MBT_for_Event-B_Logo_Medium.png]] ||[[MBT_plugin|MBT plugin]] || 2.0 || <span style="color:green"> available </span>|| 2.7.x || 5th of March 2012 || [mailto:alin.stefanescu@upit.ro Alin Stefanescu] || Use the update site <tt>http://fmi.upit.ro/mbt_plugin</tt> | ||
|- | |- | ||
| ||[[Mode/FT Views]]|| 1.0.2 || <span style="color:#8B4513"> not checked</span>|| 2.4.x || 4th July 2011 || [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] || Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt> | | ||[[Mode/FT Views]]|| 1.0.2 || <span style="color:#8B4513"> not checked</span>|| 2.4.x || 4th July 2011 || [mailto:ilya.lopatkin@ncl.ac.uk Ilya Lopatkin] || Update site: <tt>http://rodinmodeftview.sourceforge.net/</tt> | ||
Latest revision as of 13:37, 3 June 2013
Rodin Update Site
| Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
|---|---|---|---|---|---|---|---|
 |
Event-B State-machines | 1.2.0 | available | 3rd June 2012 | State-machines contained in Event-B Machines | ||
|
Event-B State-machine Animation | 1.1.0 | available | 28th May 2012 | Compatible with Event-B statemachines 1.2.0 and ProB 2.3.2. | ||
 |
UML-B | 2.2.0 | available | 9th Feb. 2011 | Original UML-B modelling environment | ||
|
UML-B Statemachine Animation | 1.1.0 | available | 15th Feb. 2011 | Compatible with UML-B 2.2 and ProB 2.1. | ||
| Event-B EMF framework | 3.7.0 | available | 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 | available | 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 | available | 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 | available | 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 | available | 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 | available | 11th Dec 2012 | Compatible with Rodin 2.7 . | ||
 |
Project Diagram | 1.0.0 | available | 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 | available* | 22nd Mar. 2012 | *See Code Generation page for details of a compatibility issue. | |||
| SMT Solvers | 1.0.0 | available | 2.7 | 3rd June 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 | available | 2.5.x | 16th April 2012 |
B Method Update Site
| 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.3.3 | available | 2.6.x | 13th Nov. 2012 | 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 |
|---|
