IUML-B

From Event-B
Revision as of 15:09, 10 December 2012 by 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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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. An animator is also provided to visualise the progress of the state-machine.