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.
This work has been supported in part by the Commission of the European Commission, tinder ESPRIT EC-Canada. Exploratory Collaborative Activity EC-CA 001:76099 “EUCALYPTUS: A European/Canadian Lotos Protocol Tool Set.”.
Chapter PDF
Similar content being viewed by others
Keywords
References
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Lan- guage LOTOS. Computer Networks and ISDN Systems, 14(1):25–29, January 1988.
Ed Brinksma. On the Design of Extended LOTOS, a Specification Language for Open Distributed Systems. PhD thesis, University of Twente, November 1988.
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.
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.
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.
José A. Manas. Typed Gates. Annex C of ISO/IEC JTCI/SC21/WG1 N1349 Working Draft on Enhancements to LOTOS, December 1991.
José A. Manas. Typed Gates. Contribution MAD7 to the Madrid E-LOTOS meeting, ISO/IEC JTCI/SC21/WGI/N2802, January 1991.
José A. Manas. Typed Gates. Annex C of ISO/1EC JTC1/SC21/WG1 N1314 Revised Draft on Enhancements to LOTOS, March 1991.
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.
Laurent Mounier. A LOTOS Specification of a Transit-Node. Rapport SPECTRE 94–8, VERIMAG, Grenoble, March 1994.
Elie Najm and Abdelbarim Nimour. Extending Gate Typing to Mobile LOTOS. ISO/IEC JTC1/SC21/WG1 N1358, February 1995.
Juan Quemada, editor. Initial Draft on Enhancements to LOTOS. ISO/IEC JTCI/SC21/WG1 N8023 Project 1.21 Q1/48.6, November 1993.
Juan Quemada., editor. Revised Draft on Enhancements to LOTOS. ISO/IEC JTC1/SC21/WG1 N1314 New Work Item Q48.6, March 1991.
Juan Quema.da., editor. Working Draft on Enhancements to LOTOS. ISO/IEC JTC1/SC21/WG1 N1349 Project 1.21.20.2.3, December 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Garavel, H., Rhône-Alpes, I. (1996). On the introduction of gate typing in E-LOTOS. In: Dembiński, P., Średniawa, M. (eds) Protocol Specification, Testing and Verification XV. PSTV 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34892-6_18
Download citation
DOI: https://doi.org/10.1007/978-0-387-34892-6_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2925-1
Online ISBN: 978-0-387-34892-6
eBook Packages: Springer Book Archive