UML-B

From Event-B
Revision as of 21:46, 30 September 2020 by Colin (talk | contribs) (revised to remove old UML-B and link to new website)
Jump to navigationJump to search

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.