IUML-B: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Colin Created page with "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 con..." |
imported>Colin |
||
| (9 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
* [[Image:IUMLB.png]] [[Event-B Statemachines| 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. | * [[Image:IUMLB.png]] [[Event-B Statemachines| 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. | ||
* [[Image:IUMLB.png]] [[Event-B Classdiagrams| 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. | * [[Image:IUMLB.png]] [[Event-B Classdiagrams| 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== | |||
* [[Media:iUML-BClassDiagramsLecture.pdf | iUML-B Class-diagrams Lecture]] : Lecture slides on the use of iUML-B Class-diagrams | |||
* [[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. | |||
==Guidelines== | |||
* [[iUML-B Modelling a control system]] : Some guidelines on modelling styles for a control system | |||
Latest revision as of 17:34, 30 June 2016
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
- iUML-B Class-diagrams Lecture : Lecture slides on the use of iUML-B Class-diagrams
- 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.
Guidelines
- iUML-B Modelling a control system : Some guidelines on modelling styles for a control system
