4.1.3 Link the Model with the Visualization

The first step consists of linking the model with the visualization. For this, open the BMotionWeb manifest file with an editor of your choice and set the model path property to “model/MLift.bcm”. This links the visualization with the Event-B machine called “MLift”. Linking a model within the BMotionWeb manifest file will automatically load the model, when starting the visualization (see Section 4.1.5).