BMotion Studio

From Event-B
Revision as of 08:50, 27 September 2011 by Ladenberger (talk | contribs) (New page: Image:bms_logo.jpg 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 BMoti...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Error creating thumbnail: Unable to save thumbnail to destination

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