[T1] _________________________ AMAST Links 01 02

Graphical LOTOS tools: Graphical Designer (GLD) and Animator GLA)

This is the announcement of the new releases of GLD and GLA graphical tools for LOTOS. Precompiled versions for SunOS are available by using anonymous ftp.

GLD (GraphicaL Designer)

GLD is a tool aimed at graphical editing and design for LOTOS. It uses two different formalisms: G-LOTOS and DART (can be mixed). Using this tool the system is described as a set of modules or components and its interconnections using DART language. From this architectural design, the tool is able to obtain a LOTOS description mapping the DART design.

Main features of GLD tool are:

• Complete G-LOTOS and DART edition support.
• Mixed G-LOTOS and DART specification for complete LOTOS specification edition and transformation.
• Automatic translation from DART into LOTOS and viceversa, as a way to be integrated into a formalized framework.
• Allow a set of operations over DART design, in a convenient way to transform architectural descriptions. Using these operations you can transform a LOTOS specification in a safe way.

GLA (Graphical Animator)

GLA is a graphical animator of the behaviour of a full LOTOS specification, using graphical views from the DART specification to show:

• Process involved in a synchronization
• What actions are the potential offerts of each process
• The history of instantiations
• Which process are active
• A trace of the execution

Where to find GLD and GLA

By anonymous ftp get:

• GLD_2R1b.README.gz
• GLD_2R1b.Sun4.tar.gz
• GLA_2R0.README.gz
• GLA_2R0.Sun4.tar.gz