G-LOTOS visual development environment

LOTOS is one of the standardized languages used for communication systems specification. It is based on temporal logic and enables specifying of system behavior without need for its internal structure to be known. A graphical extension named G-LOTOS has been devised to improve the ease of use. An integrated environment supporting both LOTOS and G-LOTOS specification development is described In this paper providing the user the benefits of working within a unified framework. The user accesses the environment via the respective text and visual editors. The intermediate form derived from the input specification can subsequently be processed by particular add-in modules, such as interactive simulator, conformance tester, automatic implementor, etc.