UML-B: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Colin No edit summary |
m revised to remove old UML-B and link to new website |
||
| Line 1: | Line 1: | ||
Return to [[Rodin Plug-ins]] | 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 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 [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. | |||
[[Category:User documentation]] | [[Category:User documentation]] | ||
[[Category:UML-B]] | [[Category:UML-B]] | ||
[[Category:Plugin]] | [[Category:Plugin]] | ||
Revision as of 21:46, 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.
