Advertisement

(E)-Lotos: (Enhanced) Language of Temporal Ordering Specification

  • Kenneth J. Turner
  • Mihaela Sighireanu
Part of the Formal Approaches to Computing and Information Technology FACIT book series (FACIT)

Abstract

This section introduces the Lotos and E-Lotos languages, and how they may be used in requirements capture.

Keywords

Stock Level Product Code Process Algebra Current Stock Informal Requirement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bolognesi T., Brinksma E. (1988) Introduction to the ISO specification language Lotos. Computer Networks and ISDN Systems 14 (1): 25 – 59CrossRefGoogle Scholar
  2. 2.
    Bolognesi T., van de Lagemaat J., Vissers C. A., Eds. (1995) The LotosSphere Project. Kluwer Academic Publishers, London, UKGoogle Scholar
  3. 3.
    Clarke E., Emerson E. A., Sistla A. P (1983) Automatic verification of finite-state concurrent systems using temporal logic. In: 10th Annual Symposium on Principles of Programming LanguagesGoogle Scholar
  4. 4.
    Fernández J.-C., Garavel H., Kerbrat A., Mateescu R., Mounier L., Sighireanu M. (1996) CADP (Cæsar/Aldébaran Development Package): A protocol validation and verification toolbox. In: Alur R., Henzinger T. A. (Eds.) 8th Conference on Computer-Aided Verification, Number 1102 in Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 437 – 440Google Scholar
  5. 5.
    Fernández J.-C., Mounier L. (1991) A tool set for deciding behavioral equivalences. In: CONCUR’91, Amsterdam, NetherlandsGoogle Scholar
  6. 6.
    Garavel H. (1989) Compilation of Lotos abstract data types. In: Vuong S. T. (Ed.) Formal Description Techniques II. North-Holland, Amsterdam, NetherlandsGoogle Scholar
  7. 7.
    ISO/IEC (1989) Information Processing Systems — Open Systems Interconnection — Lotos — A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807, International Organization for Standardization, Geneva, SwitzerlandGoogle Scholar
  8. 8.
    ISO/IEC (2000) Information Processing Systems — Open Systems Interconnection — Enhancements to Lotos — A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807, International Organization for Standardization, Geneva, SwitzerlandGoogle Scholar
  9. 9.
    Leduc G. (1987) The intertwining of data types and processes in Lotos. In: Rudin H., West C. H. (Eds.) Protocol Specification, Testing and Verification VII. North-Holland, Amsterdam, Netherlands, 123 – 136Google Scholar
  10. 10.
    Milner A. J. R. G. (1989) Communication and Concurrency. Addison-Wesley, Reading, Massachusetts, USAzbMATHGoogle Scholar
  11. 11.
    Pecheur C. (1993) Vlib• Infinite virtual libraries for Lotos. In: Danthine A. A. S., Leduc G., Wolper P. (Eds.) Protocol Specification, Testing and Verification XIII. North-Holland, Amsterdam, Netherlands, 29 – 44Google Scholar
  12. 12.
    Scollo G. (1993) On the Engineering of Logics. PhD Thesis, Department of Informatics, University of Twente, Enschede, NetherlandsGoogle Scholar
  13. 13.
    Sighireanu M. (1998) Model-checking validation of the Lotos descriptions of the invoicing case study. In: Allemand M., Attiogbé C., Habrias H. (Eds.) International Workshop on Comparing Systems Specification Techniques. University of Nantes, France, 99 – 114Google Scholar
  14. 14.
    Sighireanu M., Turner K. J. (1998) Requirement capture, formal description and verification of an invoicing system. Technical Report RR-3575, Institut National de Recherche en Informatique et Automatique, Le Chesnay, FranceGoogle Scholar
  15. 15.
    Turner K. J. (1990) A Lotos-based development strategy. In: Vuong S. T. (Ed.) Formal Description Techniques II. North-Holland, Amsterdam, Netherlands, 157–174Google Scholar
  16. 16.
    Turner K. J., Ed. (1993) Using Formal Description Techniques — An Introduction to ESTELLE, Lotos and SDL. John Wiley, New York, USAGoogle Scholar
  17. 17.
    Turner K. J. (1997) Specification architecture illustrated in a communications context. Computer Networks and ISDN Systems 29 (4): 397 – 411CrossRefGoogle Scholar
  18. 18.
    Turner K. J. (1998) The invoicing case study in (E-)Lotos. In: Allemand M., Attiogbé C., Habrias H. (Eds.) International Workshop on Comparing Systems Specification Techniques. University of Nantes, France, 83 – 98Google Scholar
  19. 19.
    Turner K. J. (2000) World-wide Environment for Learning Lotos. http:// http://www.cs.stir.ac.uk/well/
  20. 20.
    VASY (Validation des Systèmes) Team (1999) CADP ( Cæsar/Aldébaran Development Package ): A software engineering toolbox for protocols and distributed systems. http://www.inrialpes.fr/vasy/cadp/

Copyright information

© Springer-Verlag London Limited 2001

Authors and Affiliations

  • Kenneth J. Turner
  • Mihaela Sighireanu

There are no affiliations available

Personalised recommendations