Abstract
In November 1987 the operational services of the Netherlands PTT asked the Formal Specification group and the D-channel experts of the Communications Research department whether it was possible to produce a simulatable formal specification of layer 3 of the ISDN D-channel protocol. In this paper the experiences with LOTOS in the production of this specification, and the experiences with the LOTOS environment LOTTE are discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CEPT Recommendation T/CS 46–30 (T/GSI 04–02/3) Copenhagen, September 1987
CCITT Z.100 — SDL — Specification and Description Language Geneva, January 1987
ISO DIS 8807 Information processing systems — Open systems interconnection — LOTOS — A Formal Description Technique Based on Temporal Ordering of Observational Behaviour ISO, July 1987
ISO DIS 9074 Information processing systems — Open systems interconnection — The definition of the specification language Estelle ISO, 1986
CEPT Sub-working Group SPS/PAR, Temp. Doc. 10 revised Issue D of layer 3 SDL diagrams Oslo, October 1987
M. van Sinderen Draft formal specification of the OSI connection-oriented session service in LOTOS (version 5) ESPRIT/SEDOS/C1/WP/35/T, November 1986
Guidelines on the application of Estelle, LOTOS and Estelle CCITT/ISO, to be published by the end of 1988.
ISO/CCITT Draft answer to question Q48.4/ Working Document for Q.2/X — Graphical Representations for LOTOS (GLOTOS) ISO/IEC JTC 1/SC 21/WG 1 McL 67
Gail E. Kaiser, Simon M. Kaplan and Josephine Micallef Multiuser, Distributed Language-Based Environments IEEE Software, November 1987
Peter H.J. van Eijk Software tools for the specification language LOTOS Ph.D thesis, Enschede, January 1988
The SPECS Consortium The SPECS Architecture: Towards an Integrated Specification Environment in ‘SDL ’87 — State of the Art and Future Trends’ R. Saracco, P.A.J. Tilanus (editors)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag London
About this paper
Cite this paper
Tilanus, P.A.J., Yang, Y. (1990). Experience with LOTOS and environment LOTTE on an ISDN protocol. In: Rattray, C. (eds) Specification and Verification of Concurrent Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3534-0_25
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3534-0_25
Publisher Name: Springer, London
Print ISBN: 978-3-540-19581-8
Online ISBN: 978-1-4471-3534-0
eBook Packages: Springer Book Archive