Difference between revisions of "Rodin Platform 2.0 External Plug-ins"

From Event-B
Jump to navigationJump to search
imported>Colin
imported>Tommy
m
 
(16 intermediate revisions by 6 users not shown)
Line 1: Line 1:
 
==== Rodin Update Site ====
 
==== Rodin Update Site ====
 +
 
{{SimpleHeader}}
 
{{SimpleHeader}}
 
|-
 
|-
! scope=col |  || Plug-in name || Version || Status || Release Date || Contact || Additional info
+
! scope=col |  || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info
 
|-
 
|-
| ||[[UML-B|UML-B]] || 2.1.1 || <span style="color:#006400">available</span>|| || ||
+
| [[Image:Umlb32.gif|30px]]||[[UML-B|UML-B]] || 2.1.1 || <span style="color:#006400">available</span>|| || || ||
 
|-
 
|-
| ||[[EMF_framework_for_Event-B|Event-B EMF framework]] || 3.2.1 || <span style="color:#006400">available</span> || || ||You need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
+
| ||[[EMF_framework_for_Event-B|Event-B EMF framework]] || 3.2.1 ||<span style="color:#006400">available</span>|| || || || Users should not need to install this framework. It will be installed automatically by other plug-ins as required.
 
|-
 
|-
| ||[[Rose_(Structured)_Editor|Rose]] || 1.1.0 || <span style="color:#006400">available</span> || || ||You need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
+
| [[Image:Rose.gif|30px]]||[[Rose_(Structured)_Editor|Rose]] || 1.1.0 ||<span style="color:#006400">available</span>|| || || ||
 
|-
 
|-
| ||[[Records|Records]] || 1.0.1 || <span style="color:#006400">available</span> || || ||This release includes EMF and Refactory support for records.<br>You need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
+
| ||[[Records|Records]] || 1.0.1 ||<span style="color:#006400">available</span> || || || ||This release includes EMF and Refactory support for records.
 
|-
 
|-
| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#006400">available</span> || || ||You need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
+
| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#006400">available</span> || || || ||
 
|-
 
|-
| ||[[Parallel_Composition_using_Event-B | Shared Event Composition plug-in]] || 1.2 || <span style="color:#006400">available</span> || || ||
+
| ||[[Parallel_Composition_using_Event-B | Shared Event Composition plug-in]] || 1.2 || <span style="color:#006400">available</span>|| || || ||
 
|-
 
|-
| ||[[Refactoring Framework | Refactory plug-in]]|| 1.0.0 || <span style="color:#006400">available</span> || || ||
+
| ||[[Refactoring Framework | Refactory plug-in]]|| 1.0.0 || <span style="color:#006400">available</span>|| || || [mailto:ras07r@ecs.soton.ac.uk email] ||
 
|-
 
|-
| ||[[Decomposition Plug-in User Guide | Decomposition plug-in]] || 1.1.0 || <span style="color:#006400">available</span> || || ||
+
| [[Image:DecompositionPlug-in_logo.png|30px]] || [[Decomposition Plug-in User Guide | Decomposition plug-in]] || 1.1.0 || <span style="color:#006400">available</span>|| || || ||
 
|-
 
|-
| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| ?? || <span style="color:#006400">available</span> || || ||
+
| [[Image:Project diagram icon s.png|30px]]||[[Project_Diagram|Project Diagram]]|| ?? || <span style="color:#006400">available</span> || || || ||
 +
|-
 +
| || Relevance Filter || 1.0.0 || <span style="color:#006400">available</span> || 2.x.x || || [mailto:mschmalz@inf.ethz.ch email] ||
 +
|-
 +
| || Tasking Event-B || 0.1.0 || <span style="color:#006400">available</span> || || || [mailto:ae2@ecs.soton.ac.uk email] || Implementation Specification, and Code Generation, for Multi-Tasking Systems
 
|}
 
|}
  
Line 26: Line 31:
 
{{SimpleHeader}}
 
{{SimpleHeader}}
 
|-
 
|-
! scope=col | ||Plug-in name || Version || Status || Release Date || Contact || Additional info
+
! scope=col | ||Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info
 
|-
 
|-
| ||Atelier-B provers || 1.2.0 || <span style="color:#006400">available</span> || || ||
+
| ||Atelier-B provers || 1.2.1 || <span style="color:#006400">available</span>|| || || ||
 
|}
 
|}
  
Line 34: Line 39:
 
{{SimpleHeader}}
 
{{SimpleHeader}}
 
|-
 
|-
! scope=col | ||Plug-in name || Version || Status || Release Date || Contact || Additional info
+
! scope=col | ||Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info
 +
|-
 +
| [[Image:AnimB.png|30px]] || [[AnimB]] || 0.2.1 || <span style="color:#006400">available</span>|| || || [mailto:christope.metayer@animb.org Christophe Métayer] || Use the update site <tt>http://www.animb.org/updatesite</tt>
 +
|-
 +
| ||[[Camille_Editor|Camille]] || 2.0.1 || <span style="color:#006400">available</span>|| || || || Use the ProB update site. You need to add the Galileo update site (see Event-B EMF framework 3.2.0)
 
|-
 
|-
| [[Image:AnimB.png|30px]] || [[AnimB]] || 0.2.1 || <span style="color:#006400">available</span> || || christope<DOT>metayer<AT>animb<DOT>org || Use the update site <tt>http://www.animb.org/updatesite</tt>
+
| [[Image:Mlogo_big.png|30px]] || [[Modularisation_Plug-in|Modularisation]] || 1.4.2 || <span style="color:#006400">available</span>|| || || || Use the update site <tt>http://www.iliasov.org/modplugin</tt>
 
|-
 
|-
| ||[[Camille_Editor|Camille]] || 2.0.1 || <span style="color:#006400">available</span> || || || Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)
+
| ||[[Group_refinement_plugin|Group refinement]] || 0.1.1 || <span style="color:#006400">available</span>|| || || || Use the update site <tt>http://iliasov.org/refplugin</tt>
 
|-
 
|-
| [[Image:Mlogo_big.png|30px]] || [[Modularisation_Plug-in|Modularisation]] || 1.4.2 || <span style="color:#006400">available</span> || || || Use the update site <tt>http://www.iliasov.org/modplugin</tt>
+
| [[Image:Prob_eventb_wiki_logo.png|30px]]||[[ProB]] || || <span style="color:#8B4513">not available</span>|| 1.3.1 || ?? || || We are actively working on the release.
 
|-
 
|-
| ||[[Group_refinement_plugin|Group refinement]] || 0.1.1 || <span style="color:#006400">available</span> || || || Use the update site <tt>http://iliasov.org/refplugin</tt>
+
| [[Image:ProR_logo.png|32px]] || [http://pror.org ProR] || 4.4.0 ||<span style="color:#006400">available</span> ||| || [mailto:michael@jastram.de Michael Jastram] ||  
 +
|}
 +
<nowiki>*MCV stands for the Rodin's Maximum Compatible Version</nowiki>
 +
 
 +
==== Known plug-in incompatibilities ====
 +
It unfortunately 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 [mailto:rodin-b-sharp-user@lists.sourceforge.net Rodin User List] or feel free to complete the following table.
 +
{{SimpleHeader}}
 +
|-
 +
! scope=col |  Plug-in name || Incompatible with
 
|-
 
|-
| [[Image:Prob_eventb_wiki_logo.png|30px]]||[[ProB]] ||  || <span style="color:#8B4513">not available</span> || ?? || || We are actively working on the release.
 
 
|}
 
|}
 +
 +
[[Category:Rodin Platform Release Notes]]

Latest revision as of 18:40, 22 February 2011

Rodin Update Site

Plug-in name Version Status MCV* Release Date Contact Additional info
Umlb32.gif UML-B 2.1.1 available
Event-B EMF framework 3.2.1 available Users should not need to install this framework. It will be installed automatically by other plug-ins as required.
Rose.gif Rose 1.1.0 available
Records 1.0.1 available This release includes EMF and Refactory support for records.
Teamwork 1.1.0 available
Shared Event Composition plug-in 1.2 available
Refactory plug-in 1.0.0 available email
DecompositionPlug-in logo.png Decomposition plug-in 1.1.0 available
Project diagram icon s.png Project Diagram ?? available
Relevance Filter 1.0.0 available 2.x.x email
Tasking Event-B 0.1.0 available email Implementation Specification, and Code Generation, for Multi-Tasking Systems

B Method Update Site

Plug-in name Version Status MCV* Release Date Contact Additional info
Atelier-B provers 1.2.1 available

Other Updates Sites

Plug-in name Version Status MCV* Release Date Contact Additional info
AnimB.png AnimB 0.2.1 available Christophe Métayer Use the update site http://www.animb.org/updatesite
Camille 2.0.1 available Use the ProB update site. You need to add the Galileo update site (see Event-B EMF framework 3.2.0)
Mlogo big.png Modularisation 1.4.2 available Use the update site http://www.iliasov.org/modplugin
Group refinement 0.1.1 available Use the update site http://iliasov.org/refplugin
Prob eventb wiki logo.png ProB not available 1.3.1 ?? We are actively working on the release.
ProR logo.png ProR 4.4.0 available Michael Jastram

*MCV stands for the Rodin's Maximum Compatible Version

Known plug-in incompatibilities

It unfortunately 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