Skip to main content
SpringerLink
Log in

SGLOT: A visual tool for structural LOTOS specifications

  • Selected Presentations
  • Conference paper
  • First Online:
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1486))

  • 147 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bolognesi, T., Brinksma, E.I.: Introduction to the ISO specification language LOTOS. Conputer Networks ISDN systems, 14 (1987), pp. 25–59.

    Article  Google Scholar 

  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. Marrero Ruiz, Alvaro Suárez: A tool for visualizing LOTOS Behavioural Specifications, 4th FTRTFT, LNCS 1135, pp. 475–478, Sep. 1996.

    Google Scholar 

  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. Y. Sun: A translation of Transition Diagrams to LOTOS. Internal Report, The Queens University of Belfast, 1992.

    Google Scholar 

  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. 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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Ingeniería Telemática ULPGC, Spain

    Mario Marrero, Alvaro Suárez, Elena Carrión & Elsa Macías

Authors
  1. Mario Marrero
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alvaro Suárez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Elena Carrión
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Elsa Macías
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Anders P. Ravn Hans Rischel

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Marrero, M., Suárez, A., Carrión, E., Macías, E. (1998). SGLOT: A visual tool for structural LOTOS specifications. In: Ravn, A.P., Rischel, H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science, vol 1486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055358

Download citation

  • DOI: https://doi.org/10.1007/BFb0055358

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65003-4

  • Online ISBN: 978-3-540-49792-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation