Difference between revisions of "IUML-B"

From Event-B
Jump to navigationJump to search
imported>Colin
imported>Colin
 
(6 intermediate revisions by the same user not shown)
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==
 +
 +
* [[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==
 
==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.
 +
 
 +
==Guidelines==
  
[[iUML-B State-machines Tutorial]] A tutorial on the use of iUML-B State-machines.
+
* [[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.

  • IUMLB.png 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.
  • IUMLB.png 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

Guidelines