First you should have a main folder with module name or something. Eg : - Formal Methods >> Tutorial 1 Maintain a folder for each tutorial with number.
├── Formal Methods
│ ├── Tutorial 1
│ ├── Tutorial 2
│ ├── ....1. Create a new workspace >> set the workspace name as Tutorial 1
2. Change the workspace database directory from default to your main Tutorial number folder. Eg: - C:/...../Formal Methods/Tutorial 1
3. Click Finish
4. Right Click on the Tutorial1 workspace and create a new project
5. Give a project name >> Eg: - my_lab1
6. Check the project Database path >> C:/..../Formal Methods/Tutorial 1/my_lab1/bdp
7. Check the Translation Directory path >> C:/..../Formal Methods/Tutorial 1/my_lab1/lang
Note - The tutorial number in the path should be changed to the respective tutorial number.
Eg: -- For the Tutorial 2 it should be as follow
Project Database path >> C:/..../Formal Methods/Tutorial 2/my_lab1/bdp
Translation Directory path >> C:/..../Formal Methods/Tutorial 2/my_lab1/lang
It took a little time to understand how the folder structure with the atelierB, hope this will help anyone in the future for reference 😄
These are some of the common issues and workarounds found when using atelierB
Right click on a workspace and select open.
After reopening the application if you can't create a new component (appears to be disabled), double click on the project and now you can create components.
To delete a workspace first you have to open a exsisting workspace, double click on a project. After that you can select any workspace and right click --> remove
Note - AtelierB will unexpectedly exit if not.
After removing the workspace from the atelierB, you have to manually clear the rest of the folders from the file explorer.
Default workspace directory path
C:\Users\username\AtelierB_Data\AtelierB_free_4.7.1\press\bdb
This is where all the .desc files will save for a each new project.
If you create a project named my_lab1 under the Tutorial 1 workspace, there will be a generated .desc file as my_lab1.desc under the Tutorial 1 workspace directory path
Thanks to @manthilaDev we got this information about the workspaces, from the AtelierB developers.
Yes. Atelier B stores information on the workspaces in the Windows registry. You may edit the registry to remove these workspaces. Regedit is the Windows program to edit the registry.
Navigate to HKEY_CURRENT_USER\SOFTWARE\ClearSy\AtelierB full x.y.z\atbwindow\configs
where x.y.z is your version of Atelier B