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

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Tommy
 
 
Line 1: Line 1:
−
{{TOCright}}
+
Return to [[Rodin Plug-ins]]
  
−
== What's New in Rodin 1.2? ==
+
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.  
−
{{TODO | List here the new features and improvements.}}
 
  
−
* [[Generated Model Elements | Generated elements]]
+
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.
  
−
* [[Predicate_variables|Predicate variables extension]]
+
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.
  
−
* Migration to Eclipse 3.5 (Galileo)
+
* [[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.
  
−
* Use SWT.UNDERLINE_LINK (@since 3.5) for StyledText links
+
* [[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.
  
−
== Requirements ==
+
==Lectures==
−
{{TODO | Inform here of some specific system requirements (version of Java, etc).}}
 
  
−
== External plug-ins ==
+
* [[Media:iUML-BClassDiagramsLecture.pdf | UML-B Class-diagrams Lecture]] : Lecture slides on the use of UML-B Class-diagrams
−
{{TODO | Describe here the available plug-ins, and the supported versions for this release.}}
 
  
−
== Downloading ==
+
* [[Media:iUML-BStatemachinesLecture.pdf | UML-B State-machines Lecture]] : Lecture slides on the use of UML-B State-machines.
−
{{TODO | Add here a link to download the platform.}}
 
  
−
== Fixed Bugs ==
+
==Tutorials==
−
{{TODO | Add here a list of the fixed bugs.}}
 
  
−
== Known Issues ==
+
* [[iUML-B Class-diagrams Tutorial]] : A tutorial on the use of UML-B Class-diagrams.
−
{{TODO | Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).}}
 
  
−
[[Category:Rodin Platform Release Notes]]
+
* [[iUML-B State-machines Tutorial]] : A tutorial on the use of UML-B State-machines.
 +
 
 +
==Guidelines==
 +
 
 +
* [[UML-B - Modelling a control system]] : Some guidelines on modelling styles for a control system
 +
 
 +
 
 +
[[Category:User documentation]]
 +
[[Category:UML-B]]
 +
[[Category:Plugin]]

Revision as of 22:09, 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_1.2_Release_Notes&oldid=14397’