General Workbench Documentation
Logging in (and out)
The workbench requires you to be logged in to allow the workbench to associate models with your personal activity. Signup / Login asks for.
- Email address - this is what you will be identified with. It needs to be a valid email address that you have access to when you sign up.
- Name - Your name, as it will be presented on the screen and to other users when you publish your models.
- Password - a password that you set up during the sign up process.
Public, User and Scratch Models
Within the workbench, model are stored in our database.
Modes are categorized into three types
- User models are your private models. They cannot be seen by others. They are typically models you have made and want to preserve.
Creating, Editing and Renaming a Model
From the starting page of the various model domains, there are buttons to create a new model. For example, for FSA model.
After clicking such a button, you will be prompted for a name of the model. Then it should appear in the list of user models. The model will have a default template body.
The model can be edited by clicking on the edit button.
The model can be deleted (permanently!)
A model can also be renamed.
The Model Editor
The model editor provides feedback on the syntax. In particular, syntax error are highlighted with a red squiggly line. Hovering the mouse above the error provides more information about the problem.
If you press
Ctrl+Space in the editor you get auto-completion options. This may also help you to produce correct syntax.
Ctrl+H give Find, or Find and Replace options, respectively.
F1 shows a long list of editor commands that you may use.
Generating Artifacts and Reports
The workbench is based on the following technologies
- Eclipse Xtext
- Microsoft Monaco Editor framework
- Node.js Express web application
- MongDB database
- Graphviz visualization
- Python textx