Difference between pages "Rodin Platform 3.0 Release Notes" and "UML-B"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Laurent
m
 
m (move content of iUML-B page to this one)
 
Line 1: Line 1:
−
RODIN 3.0 is planned for fall 2012.
+
Return to [[Rodin Plug-ins]]
  
−
It will contain:
+
UML-B provides a 'UML-like' graphical front end for Event-B. It provides various diagrammatic modelling notations and editors for creating models which are then translated into Event-B for verification. [[UML-B]] works alongside Event-B allowing the modeller to model in normal Event-B but also contribute some aspects of the model via diagrams.
−
*Binders in extensions
 
−
*Migration to Eclipse 4
 
−
*[[Stronger AST Library]]
 
−
*Stronger sequent prover
 
−
*Refactoring of the core production to features
 
−
*Parent-child relationship moved appart from UI to the EventB core
 
−
*Refactor the keyboard plug-in to separate UI from ASCI/Math translation
 
−
*Refactor the statistics view to handle other kinds of "ElementNode"s (than just Context and Machine Root)
 
  
−
N.B. Release notes are commented in this page.
+
Our [https://www.uml-b.org UML-B] website contains more information about installing UML-B and getting started, as well as our current research and collaborations.
  
−
<!--  
+
UML-B is a collection of diagrammatic editors for Event-B. The diagrams are used to elaborate the machine and its content with extra model features. The diagrams may either by contained within the machine they contribute to, or can be contained in a separate UML-B model file that is linked to the machine.
−
{{TOCright}}
 
  
−
== What's New in Rodin 3.0? ==
+
* [[Image:IUMLB.png]] [[Event-B Statemachines| State-machine diagrams]] a hierarchical state-machine diagram editor which can be used to impose sequential ordering to your events. An animator is also provided to visualise the progress of the state-machine.
−
PLANS ARE:
 
−
 
−
- Binders in extensions
 
−
- Migration to Eclipse 4
 
−
- Stronger AST
 
−
- Stronger sequent prover
 
−
- Refactoring of the core production to features
 
−
- Parent-child relationship moved appart from UI to the EventB core
 
−
- Refactor the keyboard plug-in to separate UI from ASCI/Math translation
 
−
- Refactor the statistics view to handle other kinds of "ElementNode"s (than just Context and Machine Root)
 
  
 +
* [[Image:IUMLB.png]] [[Event-B Classdiagrams| Class diagrams]] a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.
  
−
* General Interface
+
==Lectures==
−
{{TODO | ...}}
 
  
−
* Modelling
+
* [[Media:iUML-BClassDiagramsLecture.pdf | iUML-B Class-diagrams Lecture]] : Lecture slides on the use of iUML-B Class-diagrams
−
{{TODO | ...}}
 
  
−
* Proving
+
* [[Media:iUML-BStatemachinesLecture.pdf | iUML-B State-machines Lecture]] : Lecture slides on the use of iUML-B State-machines.
−
{{TODO | ...}}
 
  
−
* Changes for plugin-developers
+
==Tutorials==
−
{{TODO | ...}}
 
  
−
== Requirements - Compatibility ==
+
* [[iUML-B Class-diagrams Tutorial]] : A tutorial on the use of iUML-B Class-diagrams.
  
−
* Configurations supported (and for which binaries are provided)
+
* [[iUML-B State-machines Tutorial]] : A tutorial on the use of iUML-B State-machines.
−
** Linux 32-bit
 
−
** Linux 64-bit
 
−
** Windows 32-bit
 
−
** Windows 64-bit
 
−
** Mac 64-bit
 
  
−
* You need to have a Java JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE.
+
==Guidelines==
  
−
* To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionnalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].
+
* [[iUML-B Modelling a control system]] : Some guidelines on modelling styles for a control system
  
−
{{TODO | VERIFY/COMPLETE REQUIREMENTS ABOVE}}<br>
 
−
{{TODO | Inform here of some specific system requirements}}
 
  
−
== External plug-ins ==
+
[[Category:User documentation]]
−
{{TODO | Link to the external page for plug-ins}}<br>
+
[[Category:UML-B]]
−
Link of the form:
+
[[Category:Plugin]]
−
<nowiki>{{:Rodin_Platform_3.0.0_External_Plug-ins}}</nowiki>
 
−
 
 
−
== Installing ==
 
−
{{TODO | Add here a link to download the platform.}}
 
−
 
 
−
=== Downloading ===
 
−
[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Download Rodin 3.0 now !]
 
−
 
 
−
== Fixed Bugs ==
 
−
{{TODO | Add here a list of the fixed bugs.}}
 
−
 
 
−
== Known Issues ==
 
−
{{TODO | COPY KNOWN ISSUES FROM PREVIOUS PAGES / VERIFY}}<br>
 
−
{{TODO | Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).}}
 
−
 
 
−
== Disclaimer ==
 
−
Since Rodin is continuously maintained, several unsoundness bugs which have been encountered were investigated and fixed. However, despite the total commitment of our teams to ensure the soundness of the platform, some unexpected and unknown soundness issues could remain. We would be grateful if you would report these issues to the [mailto:rodin-b-sharp-devel@lists.sourceforge.net development mailing list].
 
−
 
 
−
== About ==
 
−
Rodin Platform up to rxxxx.<br>
 
−
Developer Release date : dd/mm/yyyy.<br>
 
−
User Release date : dd/mm/yyyy.
 
−
 
 
−
[[Category:Rodin Platform Release Notes]]
 
−
-->
 

Revision as of 21:53, 30 September 2020

Return to Rodin Plug-ins

UML-B provides a 'UML-like' graphical front end for Event-B. It provides various diagrammatic modelling notations and editors for creating models which are then translated into Event-B for verification. UML-B works alongside Event-B allowing the modeller to model in normal Event-B but also contribute some aspects of the model via diagrams.

Our UML-B website contains more information about installing UML-B and getting started, as well as our current research and collaborations.

UML-B is a collection of diagrammatic editors for Event-B. The diagrams are used to elaborate the machine and its content with extra model features. The diagrams may either by contained within the machine they contribute to, or can be contained in a separate UML-B model file that is linked to the machine.

  • IUMLB.png State-machine diagrams a hierarchical state-machine diagram editor which can be used to impose sequential ordering to your events. An animator is also provided to visualise the progress of the state-machine.
  • IUMLB.png Class diagrams a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.

Lectures

Tutorials

Guidelines

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_3.0_Release_Notes&oldid=14392’