ProB etool generation

ProB etool generation

From ClearSy Tools

Jump to: navigation, search

The procedure to follow is simple and requires that:


First step is to launch ProB. Then click on Help menu and select "Install Atelier B 4 plugin":

Image:Prob_Help.jpg



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:

Image:Prob_Atelierb.jpg


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)":

Figure n°3
Retrieved from "http://tools.clearsy.com/index.php5?title=ProB_etool_generation"