Using a Modelling Language

Using a modelling language is relatively easy, and requires you to make use of the MainMenu toolbar:

_images/main_toolbar.png

Loading a Formalism Toolbar

The first step when using a language is to load its associated formalism toolbar by pressing the second button on the MainMenu toolbar. You are presented with a file browser. To load the TrafficLights example, for example:

_images/load_trafficlights.png

The toolbar allows you to place instances of classes on the canvas and connect them. For more information, see Formalism Toolbars.

Opening a Model

To open a model, press the fifth button of the MainMenu toolbar. Opening a model replaces the currently opened model, if any. If there are any unsaved changes in the currently opened model, you will receive a warning.

Saving a Model

When you are done editing, you can save your model by pressing the seventh button on the MainMenu toolbar. If this is the first time you save a model, you will be presented with a file browser that allows you to choose a name for your model.

Note

Model names need to end with the .model file extension.

Validating a Model

To validate whether the structure of your model adheres to all constraints defined by the language, press the third-last button. If no message appears, it means all constraints are satisfied. Otherwise, a message appears detailing the constraint that failed. For example:

_images/validation_failed.png