BMotion Studio: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Ladenberger 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... |
imported>Ladenberger No edit summary |
||
| Line 3: | Line 3: | ||
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 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. | ||
[http://www.stups. | [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio/BMotionStudio BMotion Studio Website] | ||
Revision as of 11:35, 19 November 2014
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.
