UML-B: Difference between revisions
imported>Colin No edit summary |
imported>Colin No edit summary |
||
| Line 5: | Line 5: | ||
To start using UML-B, first enter the UML-B 'perspective' using the normal eclipse features (e.g. Window - open perspective - other). You should see a dolphin icon in the top right corner when you are in the UML-B perspective. Create a new UML-B project using the UML-B new project wizard (e.g. File - New - Project - UML-B Project). This will create a new UML-B Project and open a Package Diagram with an empty canvas ready for you to start drawing Machines and Contexts. | To start using UML-B, first enter the UML-B 'perspective' using the normal eclipse features (e.g. Window - open perspective - other). You should see a dolphin icon in the top right corner when you are in the UML-B perspective. Create a new UML-B project using the UML-B new project wizard (e.g. File - New - Project - UML-B Project). This will create a new UML-B Project and open a Package Diagram with an empty canvas ready for you to start drawing Machines and Contexts. | ||
A simple tutorial, showing how to construct a UML-B model. | ==A simple tutorial, showing how to construct a UML-B model.== | ||
[[UML-B Tutorial]] | [[UML-B Tutorial]] | ||
More detail about the various diagram types. | ==More detail about the various diagram types.== | ||
[[Package Diagram]] | [[Package Diagram]] | ||
| Line 19: | Line 19: | ||
[[Statemachine Diagram]] | [[Statemachine Diagram]] | ||
Known bugs and workarounds | ==FAQ== | ||
[[UML-B FAQ]] | |||
==Known bugs and workarounds== | |||
[[In version 0.4.4]] | [[In version 0.4.4]] | ||
Revision as of 12:03, 13 November 2008
Return to Rodin Plug-ins
UML-B provides a 'UML-like' graphical front end for Event-B. It adds support for class-oriented and state machine modelling but also provides visualisation of existing Event-B modelling concepts. UML-B is similar to UML but is a new notation with its own meta-model. UML-B provides tool support, including drawing tools and a translator to generate Event-B models. The tools are closely integrated with the Event-B tools so that when a drawing is saved the translator automatically generates the corresponding Event-B model. The Event-B verification tools (syntax checker and prover) then run automatically providing an immediate display of problems which are indicated on the relevant UML-B diagram element.
To start using UML-B, first enter the UML-B 'perspective' using the normal eclipse features (e.g. Window - open perspective - other). You should see a dolphin icon in the top right corner when you are in the UML-B perspective. Create a new UML-B project using the UML-B new project wizard (e.g. File - New - Project - UML-B Project). This will create a new UML-B Project and open a Package Diagram with an empty canvas ready for you to start drawing Machines and Contexts.
