How to save a file

To save the work in your current DESUMA workspace, it is possible to store the automaton in several formats. DESUMA supports an .xml file format by default but data can also be saved as a PNG, JPG, GIF, or the UMDES text file (.fsm).

Save the workspace as an .xml file

There are two ways to save a workspace: either using the main menu or using the appropriate icon on the toolbar.

  1. Go to File menu and select Save or Save as...

  2. Click on the icon on the menu bar. Again, if you are saving a new workspace, a dialogue box will automatically appear prompting you for a filename.

Save the workspace as a PNG, JPG, BMP, GIF, or FSM (UMDES) file

To save your workspace under a different file format, go to the File menu, choose Export, and finally select  the desired file format from the submenu. A dialogue box will appear, prompting you for the filename and the location where the file will be saved.