Abstract
Formal techniques for specification and verification have been researched and developed in academic institutions for several years, but their industrial exploitation has been more recent and more cautious. This paper presents two areas of work where the technology is being transferred. The first area is the application of formal techniques to international standards for communications protocols and services (in OSI). The second area concerns a component-engineering approach to protocols and services, and results from recent research. In both cases the formal treatment of concurrency is significant.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M Bailey: Formal specification using Z; Proceedings of SHARE European Association; 1987;
Paul Johnson: Using Z to specify CICS; Proceedings of SHARE European Association; 1987;
David Shepherd: Using formal methods in VLSI design; Proceedings of Refinement Workshop; University of York; January 1988;
Tom Farr: Experience of implementation from a formal specification; Proceedings of Refinement Workshop; University of York; January 1988;
A T Bence: Teleservice Developments in CCITT — Migration to the ISDN, Computer Networks and ISDN Systems; Vol 9; 1985; pp329–337;
K G Fretton, C G Davies: CCITT Signalling System No. 7; Overview; British Telecommunications Engineering; Vol 7, Part 1; April 1988;
P J Davidson: Review of the CCITT recommendations for integrated services digital network (ISDN); British Telecom Technology Journal; Vol 3, No 4; October 1985;
K D Foggarty: ISDN services and network recommendations; British Telecom Technology Journal; Vol 4, No 1; January 1986;
P A Jenkins, K G Knightson: Open Systems Interconnection — An Introductory Guide; British Telecommunications Engineering; Vol 3; July 1984;
CCITT Recommendations Z.100 — Z.104 (1984): Specification and Description Language;
ISO DIS 9074: Information Processing Systems — Open Systems Interconnection — Estelle — A Formal Description Technique based on an Extended State Transition Model;
ISO DIS 8807: Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour;
FORTE 88: An International Conference on Formal Description Techniques; 6 – 9 September 1988; University of Stirling, Scotland;
ISO/IEC/JTC1/N87: Report of the ISO/TC97 SWG meeting on Formal Description Techniques; New York City; October 1987;
J R Halliwell, T J Holland, D Freestone: Conformance Testing of Communications Protocols in Information Systems; British Telecom Technology Journal; Vol 4 No.3; July 1986;
A Library of Specification Modules and Their Application; Report No 5 to the Alvey Directorate; UK Alvey FORMAP Project (SE/051);
C A R Hoare: Programs are Predicates; in C A R Hoare and J C Shepherdson, eds: Matheamtical Logic and Programming Languages; Prentice Hall; 1985;
C A R Hoare: Communicating Sequential Processes; Prentice-Hall International Series in Computer Science; 1985;
Chris Smith, Steve Rudkin: Time Guards and ASN.1 in LOTOS; submitted for publication.
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
Freestone, D. (1990). Specification and Verification in Communications Standards. 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_24
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3534-0_24
Publisher Name: Springer, London
Print ISBN: 978-3-540-19581-8
Online ISBN: 978-1-4471-3534-0
eBook Packages: Springer Book Archive