Rodin Platform 2.1 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Tommy mNo edit summary |
imported>Tommy mNo edit summary |
||
| Line 4: | Line 4: | ||
* General Interface | * General Interface | ||
**Improved general platform performance. | **Improved general platform performance. | ||
:::One of the main task of the scheduled future work, concerning the maintenance and evolution of Rodin, is to increase platform's performances. Investigation has started and some early enhancements are already part of this release which affect the overall performance of the platform. | |||
**New mechanism for automatic tactics preferences. | **New mechanism for automatic tactics preferences. | ||
:::It is now possible to define profiles (e.g. ordered lists) of tactics to be used in post or automatic tactics at both workspace and/or project level. A mechanism is also provided in order to export and share these profiles. | :::It is now possible to define profiles (e.g. ordered lists) of tactics to be used in post or automatic tactics at both workspace and/or project level. A mechanism is also provided in order to export and share these profiles. | ||
Revision as of 16:58, 10 January 2011
What's New in Rodin 2.1?
- General Interface
- Improved general platform performance.
- One of the main task of the scheduled future work, concerning the maintenance and evolution of Rodin, is to increase platform's performances. Investigation has started and some early enhancements are already part of this release which affect the overall performance of the platform.
- New mechanism for automatic tactics preferences.
- It is now possible to define profiles (e.g. ordered lists) of tactics to be used in post or automatic tactics at both workspace and/or project level. A mechanism is also provided in order to export and share these profiles.
- See Preferences for the automatic tactics
- Modelling
- Proving
- New automatic rewriting rules. Over 150 automatic rewriting rules have been added, making it easier to discharge proof obligations.
- See: All_Rewrite_Rules
Requirements
TODO: COPY REQUIREMENTS FROM PREVIOUS PAGES / VERIFY
TODO: Inform here of some specific system requirements (version of Java, etc).
External plug-ins
Rodin Update Site
| Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
|---|---|---|---|---|---|---|---|
 |
UML-B | 2.2.0 | available | 9th Feb. 2011 | |||
| 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.2.1 | available | Users should not need to install this framework. It will be installed automatically by other plug-ins as required. | ||||
| Export to Isabelle | available | 2.x.x | |||||
 |
Rose | 1.1.0 | available | ||||
| Records | 1.0.1 | available | This release includes EMF and Refactory support for records. | ||||
| Teamwork | not available | ||||||
| Shared Event Composition | 1.3.1 | available | 9th Mar. 2011 | ||||
| Refactory | 1.1.0 | available | 11th Feb. 2011 | ||||
 |
Decomposition | 1.2.0 | available | 11th Feb. 2011 | |||
 |
Project Diagram | 1.0.0 | available | ||||
| Relevance Filter | 1.0.0 | available | 2.x.x | ||||
| Theory Plug-in | v0.6 | available | 4th Jan. 2011 | ||||
| Code Generation Feature | 0.1.5 | available | 17th May 2011 |
B Method Update Site
| Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
|---|---|---|---|---|---|---|---|
| Atelier-B provers | 1.2.2 | available | 17th Feb. 2011 |
Other Updates Sites
| Plug-in name | Version | Status | MCV* | Release Date | Contact | Additional info | |
|---|---|---|---|---|---|---|---|
 |
AnimB | not available | Christophe Métayer | Use the update site http://www.animb.org/updatesite | |||
| Camille | available | Use the Camille update site. http://www.stups.uni-duesseldorf.de/camille_updates | |||||
 |
Modularisation | available | 2.x.x | Use the update site http://www.iliasov.org/modplugin | |||
| Group refinement | available | 2.x.x | Use the update site http://iliasov.org/refplugin | ||||
| Flows/Use case extension | available | 2.x.x | Use the update site http://iliasov.org/usecase | ||||
 |
ProB | available | 8th Feb. 2011 | Use the ProB update site. http://www.stups.uni-duesseldorf.de/prob_updates The Plug-in includes BMotion Studio | |||
 |
ProR | available | 20th Jan. 2012 | Michael Jastram | ProR support working with requirements. For traceability to Event-B, the Rodin Integration is required. Update site: http://update.pror.org Project web site: http://eclipse.org/rmf | ||
|
Rodin Integration for ProR | not available | 28th Feb. 2012 | Michael Jastram | We are currently working on a revised ProR-Rodin-Integration. |
*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 |
|---|
Downloading
TODO: Add here a link to download the platform.
Fixed Bugs
TODO: Add here a list of the fixed bugs.
Known Issues
TODO: COPY KNOWN ISSUES FROM PREVIOUS PAGES / VERIFY
TODO: Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).
About
Rodin Platform up to rxxxx
Developer Release date : dd/mm/yyyy.
User Release date : 28/01/2011.
