ProB 2.0 within Rodin and a HTML Visualization Example: Difference between revisions

Line 27: Line 27:




Click on the button in the top-left of the <tt>BMotion Studio</tt> view, click the "Browse" button and navigate to the "lift.html" file:
Click on the button in the top-left of the <tt>BMotion Studio</tt> view, click the "Browse" button:
[[File:MLiftNavigateHTMLVisualization.png|300px|center]]
[[File:MLiftNavigateHTMLVisualization.png|300px|center]]
and navigate to the "lift.html" file:
[[File:MLiftNavigateHTMLVisualization2.png|300px|center]]
[[File:MLiftNavigateHTMLVisualization2.png|300px|center]]



Revision as of 08:53, 11 November 2013

Installing ProB 2.0 from Rodin 2.7 or later

Obtaining the latest ProB binary

Open a Groovy Console and type upgrade "latest".

GroovyConsoleUpgradeLatest.png

Import the Lift Project

Select the Rodin "Import…" menu command and import Lift.zip.

Start Animating the Lift

Right-click on the MLift model and select the "Start Animation" command:

MLiftAnimateWithProB.png

Click on setup_constants and initialise in the Events view:

MLiftEventsView.png

Open HTML Visualization

Go into the ProB Menu at the top and select Open BMotionStudio Visualization:

MLiftOpenHTMLVisualization.png


Click on the button in the top-left of the BMotion Studio view, click the "Browse" button:

MLiftNavigateHTMLVisualization.png
and navigate to the "lift.html" file:
MLiftNavigateHTMLVisualization2.png


You can now see a graphical visualisation of the state of the model:

MLiftHTMLVisualization.png

You can also click on the buttons in the HTML page to control the model.