https://wiki.event-b.org/index.php?title=Original_UML-B&feed=atom&action=historyOriginal UML-B - Revision history2024-03-28T22:19:54ZRevision history for this page on the wikiMediaWiki 1.33.3https://wiki.event-b.org/index.php?title=Original_UML-B&diff=6282&oldid=previmported>Colin at 14:58, 10 December 20122012-12-10T14:58:31Z<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en-GB">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 14:58, 10 December 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">UML-B </ins>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. </div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">It </del>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. </div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.</div></td></tr>
</table>imported>Colinhttps://wiki.event-b.org/index.php?title=Original_UML-B&diff=6281&oldid=previmported>Colin: Created page with " 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 n..."2012-12-10T14:57:52Z<p>Created page with " 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 n..."</p>
<p><b>New page</b></p><div><br />
<br />
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. <br />
<br />
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.<br />
<br />
==Lectures==<br />
These slides give a quick introduction to UML-B explaining the concept of the various diagrams and illustrating their use with some examples<br />
<br />
Lecture 1 - [http://wiki.event-b.org/images/UMLBClassContextDiagrams.pdf Introduction to UML-B and use of UML-B Class and Context Diagrams]<br />
<br />
Lecture 2 - [http://wiki.event-b.org/images/UMLBStateMachineDiagrams.pdf Use of UML-B State Machine Diagrams]<br />
<br />
Lecture 3 - [http://wiki.event-b.org/images/UMLBRefinement.pdf How to perform Refinement in UML-B]<br />
<br />
==Tutorials==<br />
<br />
A simple tutorial, showing the basics of how to construct a UML-B model using all the diagram types.<br />
[[UML-B Tutorial]]<br />
<br />
An illustration showing how to refine statemachines<br />
[[Refinement of Statemachines]]<br />
<br />
==Worked Examples==<br />
<br />
[[Modelling with UML-B Class and Context Diagrams - Railway Interlocking Safety Requirements]]<br />
<br />
[[Modelling with UML-B State-machine Diagrams - Aircraft Engines]]<br />
<br />
==More detail about the various diagram types.==<br />
<br />
[[Package Diagram]]<br />
<br />
[[Context Diagram]]<br />
<br />
[[Class Diagram]]<br />
<br />
[[Statemachine Diagram]]<br />
<br />
[[UML-B_-_Statemachine_Animation|Animation of Statemachine Diagrams]]<br />
<br />
==FAQ==<br />
<br />
[[UML-B FAQ]]<br />
<br />
==Migrating old UML-B models to the latest format==<br />
<br />
(No migration is necessary when upgrading to UML-B version 2.1.0 from 1.1.0)<br />
<br />
Upgrading to a later version of UML-B may mean that your existing models no longer match the UML-B metamodel. This will usually occur when the UML-B version number has increased in the first or second number. e.g. 0.4.x to 0.5.x.<br />
<br />
Models that were created using UML-B version 0.4.x can be migrated to the current format using the built-in migration tool which is invoked by right clicking on the *.umlb model file in your UML-B project. If the model needs migrating, the tool will delete all the diagrams in the project, reformat the model file and re-create the package diagram from it. You can then re-create your other diagrams using the open diagram buttons in the properties views or pop-up menus.<br />
<br />
<br />
Models that were created using UML-B versions prior to 0.4.0 can not be migrated to the latest format and should be re-entered.<br />
<br />
==What's new==<br />
<br />
[[UML-B release notes for 2.1.0|In version 2.1.0]]<br />
<br />
[[UML-B release notes for 2.0.1|In version 2.0.1]]<br />
<br />
[[UML-B release notes for 1.1.0|In version 1.1.0]]<br />
<br />
==Known bugs and workarounds==<br />
<br />
<br />
[[UML-B notes for 2.1.0|In version 2.1.0]]<br />
<br />
[[UML-B notes for 2.0.1|In version 2.0.1]]<br />
<br />
<br />
[[Category:User documentation]]<br />
[[Category:UML-B]]<br />
[[Category:Plugin]]</div>imported>Colin