Advertisement

On the introduction of gate typing in E-LOTOS

  • Hubert Garavel
  • Inria Rhône-Alpes
Chapter
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

Abstract

The definition of the Formal Description Technique Lotos (ISO standard 8807) is currently under revision. This paper proposes a gate typing extension to Lotos in order to improve the current situation where gates are completely typeless. This extension is simple and fully upward compatible. It is shown to increase both the reliability and modularity of formal descriptions. Moreover, gate type-checking can be performed statically and does not require any change in the dynamic semantics of Lotos.

Keywords

Software engineering computer languages network protocols formal description techniques specification Lotos E-Lotos

References

  1. [BB88]
    Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Lan- guage LOTOS. Computer Networks and ISDN Systems, 14(1):25–29, January 1988.CrossRefGoogle Scholar
  2. [Bri88]
    Ed Brinksma. On the Design of Extended LOTOS, a Specification Language for Open Distributed Systems. PhD thesis, University of Twente, November 1988.Google Scholar
  3. [Gar94]
    Hubert Garavel. On the Introduction of Gate Typing in E-LOTOS. Rapport SPECTRE 94–3, VERIMAG, Grenoble, February 1994. Annex D of ISO/IEC JTC1/SC21/WG1 N1314 Revised Draft on Enhancements to LOTOS and Annex C of ISO/IEC JTCI/SC21/WG1 N1349 Working Draft on Enhancements to LOTOS.Google Scholar
  4. [IS088]
    ISO. LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization Information Processing Systems — Open Systems Interconnection, Genève, September 1988.Google Scholar
  5. [KS90]
    Harro Kremer and Giuseppe Scollo. Formal description in LOTOS of the OSI transport protocol defined in ISO/IS 8073. University of Twente, The Netherlands, 1990.Google Scholar
  6. [Man94a]
    José A. Manas. Typed Gates. Annex C of ISO/IEC JTCI/SC21/WG1 N1349 Working Draft on Enhancements to LOTOS, December 1991.Google Scholar
  7. [Man94b]
    José A. Manas. Typed Gates. Contribution MAD7 to the Madrid E-LOTOS meeting, ISO/IEC JTCI/SC21/WGI/N2802, January 1991.Google Scholar
  8. [Man94c]
    José A. Manas. Typed Gates. Annex C of ISO/1EC JTC1/SC21/WG1 N1314 Revised Draft on Enhancements to LOTOS, March 1991.Google Scholar
  9. [Mi185]
    G. J. Milne. CIRCAL and the Representation of Communication, Concurrency, and Time. ACM Transactions on Programming Languages and Systems, 7(2): 270–298, April 1985.CrossRefzbMATHGoogle Scholar
  10. [Mou94]
    Laurent Mounier. A LOTOS Specification of a Transit-Node. Rapport SPECTRE 94–8, VERIMAG, Grenoble, March 1994.Google Scholar
  11. [NN95]
    Elie Najm and Abdelbarim Nimour. Extending Gate Typing to Mobile LOTOS. ISO/IEC JTC1/SC21/WG1 N1358, February 1995.Google Scholar
  12. [Que93]
    Juan Quemada, editor. Initial Draft on Enhancements to LOTOS. ISO/IEC JTCI/SC21/WG1 N8023 Project 1.21 Q1/48.6, November 1993.Google Scholar
  13. [Que94a]
    Juan Quemada., editor. Revised Draft on Enhancements to LOTOS. ISO/IEC JTC1/SC21/WG1 N1314 New Work Item Q48.6, March 1991.Google Scholar
  14. [Que94b]
    Juan Quema.da., editor. Working Draft on Enhancements to LOTOS. ISO/IEC JTC1/SC21/WG1 N1349 Project 1.21.20.2.3, December 1991.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 1996

Authors and Affiliations

  • Hubert Garavel
    • 1
  • Inria Rhône-Alpes
    • 1
  1. 1.Verimag, Miniparc-ZirstMontbonnot Saint MartinFrance

Personalised recommendations