BMotion Studio: Difference between revisions

Revision as of 12:25, 30 October 2014

BMotion Studio is a tool build on top of the ProB Java API for creating domain specific visualisations of formal models.

It exists an integration for Rodin.

@@ Line 1: / Line 1: @@
 [[Category:Components]]
-BMotion Studio enables the developer of a formal model to set-up easily a domain specific visualization. BMotion Studio is based on makes use of the [[ProB Java API]]. At the moment BMotion Studio supports users to create domain specific visualisations for [[Event-B]], [[Classical-B]], [[CSP]] and [[TLA]].
+BMotion Studio is a tool build on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.
 It exists an integration for [[ProB for Rodin | Rodin]].