Arbeitsbereich_NeuIn this section of the Workspace the active funtional specification is set up. Therefore different elements such as Characteristics, Constants, Facilities, Folders, Functions, Locations, Metrics, Rules, States, State Spaces and Time Routines are available to describe and check the performance of your system.

All described elements can be inserted by a “right mouse click -> New”. With the help of a double-click you can open these elements as a tab in the editor window. Within the editor windows these elements can be edited with all relevant informations.

The defined elements can be graphically displayed (see Visualization).