ADVANCE D3.3 General Platform Maintenance
This part concerns the general maintenance performed on the Rodin toolset within the second year of the ADVANCE project. As the maintenance is a task that concerns the whole toolset, and to ease the reading of this part of the deliverable, the maintenance section has been decomposed in a list of subsections corresponding to scopes of the toolset. All these subsections maintain the template previously defined in the introduction.
Core Rodin platform
Overview
The Rodin platform versions concerned by this deliverable are:
- 2.7 (released on 2012-11-05),
- 2.8 (released on 2013-06-20),
- 3.0 (TODO: ?).
During this second period of the ADVANCE project, the core developments have been focused on stability and design improvement. Thus, releases 2.7 and 2.8 mainly contain bug fixes, while version 3.0 prepares for future evolutions.
TODO
Motivations / Decisions
Major version Rodin 3.0
As the platform has grown in complexity, internal architecture needed adjustments in order to remain maintainable. The number of external plug-ins has increased too, raising need for core API improvements. The new major version Rodin 3.0 addresses these expectations. The API of the AST, prover tactics, have thus been reviewed. The platform code is now fully compatible with Eclipse 4.
TODO
Available Documentation
The release notes, that appear and are maintained on the wiki, and that accompany each release, give useful information about the Rodin platforms. Moreover, two web trackers list and detail the known bugs and open feature requests:
The Event-B wiki,[3] basic source of documentation for the users and developers of the Rodin toolset, was completed by the Rodin handbook, an ultimate source of documentation which reached completion by the end of the DEPLOY project. The handbook aimed to overcome the lack of a centralized source of information providing the necessary assistance to an engineer in the need to be productive using Event-B and minimize the access to an expert user. It is continuously maintained by the various actors involved in the environment of the Rodin toolset and is available as a PDF version, a HTML version, and help contents within Rodin. Both the Rodin handbook and the Event-B wiki represent the main source of documentation about Event-B and the Rodin toolset. Finally, a channel has been created on Youtube, in order to provide video tutorials about the use of the platform.[4] TODO
Planning
TODO
UML-B Improvements
Overview
TODO
Motivations / Decisions
TODO
Available Documentation
TODO
Planning
TODO
Code generation
Overview
TODO
Motivations / Decisions
TODO
Available Documentation
TODO
Planning
TODO
ProR
Overview
TODO
Motivations / Decisions
TODO
Available Documentation
TODO
Planning
TODO
Camille
Overview
TODO
Motivations / Decisions
TODO
Available Documentation
TODO
Planning
TODO
