Advertisement

SGLOT: A visual tool for structural LOTOS specifications

  • Mario Marrero
  • Alvaro Suárez
  • Elena Carrión
  • Elsa Macías
Selected Presentations Tools Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1486)

Abstract

LOTOS is a Formal Description Technique (FDT) that has a strong and obscure textual algebraic notation that is difficult in readability. We have developed a tool that allows to design visual specifications and generate the LOTOS equivalent code. With this tool a lot of time is saved in the specification phase of system simulation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bolognesi, T., Brinksma, E.I.: Introduction to the ISO specification language LOTOS. Conputer Networks ISDN systems, 14 (1987), pp. 25–59.CrossRefGoogle Scholar
  2. 2.
    Bolognesi T. Najm E. and Tolanus P.: G-LOTOS: A graphical language for concurrent systems, Lotosphere: Software Develop. with LOTOS, Klummer Academic Publisher, ISBN 0-7923-9528-8, p.p. 391–437, 1995.Google Scholar
  3. 3.
    Marrero Ruiz, Alvaro Suárez: A tool for visualizing LOTOS Behavioural Specifications, 4th FTRTFT, LNCS 1135, pp. 475–478, Sep. 1996.Google Scholar
  4. 4.
    Elsa Macías, Alvaro Suárez, Rafael Pérez, F. J. Lopez Hernandez: Paralelization Of The Temporal Impulse Response Of Infrared Receptors, IEEE-IASTED International Conference on Signal Processing and Communication, pp. 69–72, Febrero 1998.Google Scholar
  5. 5.
    Y. Sun: A translation of Transition Diagrams to LOTOS. Internal Report, The Queens University of Belfast, 1992.Google Scholar
  6. 6.
    Sisto and Valenzano: Mapping Petri Nets onto Basic LOTOS behaviour expressions. IEEE Transactions on Computer, Vol. 44, n. 12, December, 1995.Google Scholar
  7. 7.
    Fritz R. Gfeller, Urs Bapst: Wireless In-House Data Communication via Diffuse Infrared Radiation, Proceedings of the IEEE, vol. 67, no. 11, pag. 1474, Nov. 1979.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Mario Marrero
    • 1
  • Alvaro Suárez
    • 1
  • Elena Carrión
    • 1
  • Elsa Macías
    • 1
  1. 1.Dpto. de Ingeniería Telemática ULPGCSpain

Personalised recommendations