Maude Workstation is a programing enviroment for Maude. It's written in Java what makes it executable in different platforms. For those platforms for which there is no Maude version, Maude Workstation can be use in remote mode.

    The enviroment has two main parts: the edition facilities and the Maude emulation area. The first part is located in the upper area, and the second one in the lower one.

    In the edition area, the different opened files are acessible through a split pane system.

    The emulator area is composed by three split panels: Emulator, Result and a text frame for the syntax mistakes. In the emulator split, the interaction with the Maude interpreter is simulated allowing the user to work as if he/she was in a traditional Maude console. In the Result split one can find the answers after sending to Maude the commands through the emulator or files from the edition bar. The frame dedicated to show the syntactic mistakes is located downside the environment. In there you can see the possible syntactic mistakes found after sending a file to Maude through the editor.

    There are also two tool bars (the trace one on the left and the depuration one on the right) with show up whenever the user needs. They are located in vertical position on both sides of our environment. As a result, we can also manipulate very easily tracing and depuration facilities.

    During the process of sending the active file to Maude, the text is analyzed by Maude, returning the errors through the emulator and the syntactic mistakes frames. The main function of the mistakes frame is to show the Maude error messages with a higher level of details, indicating where and the kind of mistake.

    Maude Workstation has a witness in the upright corner. Its function is to show us in every moment if Maude is running or not in our environment. The witness changes its colour form black to red when the Maude process starts, and keeps moving while the communication is established. This witness tells us if we are using Core Maude or Full Maude.

    Maude Workstation also has a sequence of tool bars that shows full information of the specifications of Core and Full Maude; this tool is the window Show information. Whe can ask for the operators of a specific module, its memberships, equations, classes, messages, kinds, etc.., plus the module itself if the user needs it. Also, we have the possibility of saving to a file the result of the questions.
    The enviroment also provides tools to see graphical representations of information of the local database of Maude. One of these tools is the window that shows the hierarchy of modules. One can choose between including the built-ins and the relations from BOOL and UP in such representation. The other and last graphical tool gives a representation of the hierarchy of kinds and classes defined in a specific module.

    It is also possible sending reduction and re-writing commands to Maude throw a dialogue window, whitch save a historic of commeds.

    The environment provides facilities to configure its own state through a dialogue window called preferences. In this window the user can change the colour of the frame, the syntax to be highlighted, the type and size of the font, the environment paths, language, etc…
    The environment is able to save its configuration, in a file created right away on the moment when we get out of Maude Workstation. The file, called localcofig.ini, is editable, and uses a script language made of labels and values.