The procedure to follow is simple and requires that:
- Atelier B 4.0 is already installed
- ProB 1.3.0+ is already installed
First step is to launch ProB. Then click on Help menu and select “Install Atelier B 4 plugin”:
A new dialog shows up, asking for selecting the AtelierB parameter file. Normally, the dialog has open a file navigator pointing on the Atelier B 4.0 installation directory. Just select the AtelierB file that is in this directory and click on OK:
ProB has generated a file named probtclk.ettol in your Atelier B 4.0 directory, in the extensions folder. You don’t need to modify it. If if starts Atelier B 4.0, open a project and select a model, you should get the new menu item “Animate with ProB (Tcl/Tk)”: