4.1.5 Start the Visualization

Let’s try out the visualization for the first time! Just drag and drop the BMotionWeb manifest files on the marked area or open it via the file dialog. The visualization should start. At the top menu you will find a menu item called ProB for opening different ProB related views. For instance, Figure 4.1 shows the running lift visualization with the ProB Events view opened.

At the moment the appearance of the visualization doesn’t change whenever a state change occurred (i.e. when executing events in the ProB Events view). This is because no observers exist yet. In the next Section we learn how we can link graphical elements with the formal model by establishing observers.

Figure 4.1: Running the Lift visualization for the First Time