The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE

https://doi.org/10.1016/0169-7552(91)90082-NGet rights and content

Abstract

We present a prototype implementation of a graphical editor for a subset of G-LOTOS. The graphical G-LOTOS syntax is being standardized within ISO for the LOTOS specification language. First, we provide a formal definition of the G-LOTOS subset. Then, the specification of the editor is derived from this formal definition. Finally, such a specification is used for the automatic generation of the editor by means of the LOGGIE meta-tool.

References (19)

  • B. Backlund et al.

    Generation of visual language-oriented design environments

    J. Visual Languages and Comput.

    (1990)
  • T. Bolognesi et al.

    Introduction to the ISO specification language LOTOS

    Comput. Networks ISDN Systems

    (1987)
  • T. Bolognesi et al.

    A formal definition of a subset of G-LOTOS

    CNUCE Internal Report

    (1989)
  • T. Bolognesi et al.

    Techniques for the formal definition of the G-LOTOS syntax

  • T. Bolognesi et al.

    Towards a graphic syntax for LOTOS

  • P. Borras et al.

    Centaur: the system

  • B. Chabrier et al.

    The GIGAS system

    LISAN, Laboratoire d'Informatique de Sophia Antipolis et Nice, Rapport interne 90-10

    (April 1990)
  • A. Demers et al.

    Incremental evaluation for attribute grammars with application to syntax-directed editors

  • C.N. Fischer et al.

    The POE language-based editor project

There are more references available in the full text version of this article.

Cited by (0)

View full text