IUML-B: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Colin |
imported>Colin |
||
| Line 7: | Line 7: | ||
==Lectures== | ==Lectures== | ||
* [ | * [[File:IUML-BClassDiagramsLecture.pdf] iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE). | ||
* [ | * [[Media:iUML-BStatemachinesLecture.pdf] iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines. | ||
==Tutorials== | ==Tutorials== | ||
Revision as of 13:29, 15 December 2014
iUML-B is a collection of diagrammatic editors for Event-B. The diagrams are contained within the machines they contribute to and are used to elaborate the machine and its content with extra model features.
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.
- 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
- [[File:IUML-BClassDiagramsLecture.pdf] iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).
- [[Media:iUML-BStatemachinesLecture.pdf] iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines.
Tutorials
- iUML-B Class-diagrams Tutorial : A tutorial on the use of iUML-B Class-diagrams.
- iUML-B State-machines Tutorial : A tutorial on the use of iUML-B State-machines.
