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

No edit summary
 
(11 intermediate revisions by 2 users not shown)
Line 1: Line 1:
[[Category:ProB Java API]]
== Installing ProB 2.0 from Rodin 2.7 or later ==
== Installing ProB 2.0 from Rodin 2.7 or later ==


Line 5: Line 6:
== Obtaining the latest ProB binary ==
== Obtaining the latest ProB binary ==


Open a <em>Groovy Console</em> and type <tt>upgrade "latest"<tt>.
Open a <em>Groovy Console</em> and type <tt>upgrade "latest"</tt>.


[[File:GroovyConsoleUpgradeLatest.png|300px|center]]
[[File:GroovyConsoleUpgradeLatest.png|300px|center]]
If you have trouble with this you can also manually download the latest nightly version of ProB from our downloads area and put the probcli binary and the lib directory into a <tt>.prob</tt> directory in your home directory.


== Import the Lift Project ==
== Import the Lift Project ==


Select the Rodin "Import…" menu command and import <tt>Lift.zip</tt>.
Select the Rodin "Import…" menu command and import the [[Media:Lift.zip|Lift.zip archive]].


== Start Animating the Lift ==
== Start Animating the Lift ==
Line 23: Line 26:
== Open HTML Visualization ==
== Open HTML Visualization ==


Go into the ProB Menu at the top and select <tt>Open BMotionStudio Visualization</tt>:
Go into the BMotion Studio Menu at the top and select <tt>Open BMotion Studio Template</tt>:
[[File:MLiftOpenHTMLVisualization.png|300px|center]]
[[File:MLiftOpenHTMLVisualization.png|300px|center]]




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:
Navigate to the "lift.html" file that is included in the Lift.zip archive.
[[File:MLiftNavigateHTMLVisualization.png|300px|center]]
[[File:MLiftNavigateHTMLVisualization2.png|300px|center]]
 


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

Latest revision as of 15:30, 30 October 2014

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

If you have trouble with this you can also manually download the latest nightly version of ProB from our downloads area and put the probcli binary and the lib directory into a .prob directory in your home directory.

Import the Lift Project

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

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 BMotion Studio Menu at the top and select Open BMotion Studio Template:

MLiftOpenHTMLVisualization.png


Navigate to the "lift.html" file that is included in the Lift.zip archive.

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.