IUML-B: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Colin
No edit summary
imported>Colin
Line 4: Line 4:


* [[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==
* [http://wiki.event-b.org/images/iUML-BClassdiagramsLecture.pdf iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).
* [http://wiki.event-b.org/images/iUML-BStatemachinesLecture.pdf iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines.


==Tutorials==
==Tutorials==


* [[iUML-B Class-diagrams Tutorial]] A tutorial on the use of iUML-B Class diagrams.
* [[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.
* [[iUML-B State-machines Tutorial]] : A tutorial on the use of iUML-B State-machines.

Revision as of 13:14, 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

Tutorials