BMotion Studio

From Event-B
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

BMotion Studio is a graphical editor based on ProB which enables the developer of a Event-B model to set-up a domain specific visualization. The main goals of BMotion Studio are: (1) The modeller stays within a single notation. BMotion Studio uses Event-B predicates and expressions as gluing code. (2) An easy to use graphical editor, that allows to create visualisations within a few mouse clicks. (3) A lot of possibilities for add-ons, to implement domain specific visual components.

BMotion Studio Website