Specification and Verification in Communications Standards

  • David Freestone
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

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.

Keywords

Migration Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M Bailey: Formal specification using Z; Proceedings of SHARE European Association; 1987;Google Scholar
  2. [2]
    Paul Johnson: Using Z to specify CICS; Proceedings of SHARE European Association; 1987;Google Scholar
  3. [3]
    David Shepherd: Using formal methods in VLSI design; Proceedings of Refinement Workshop; University of York; January 1988;Google Scholar
  4. [4]
    Tom Farr: Experience of implementation from a formal specification; Proceedings of Refinement Workshop; University of York; January 1988;Google Scholar
  5. [5]
    A T Bence: Teleservice Developments in CCITT — Migration to the ISDN, Computer Networks and ISDN Systems; Vol 9; 1985; pp329–337;CrossRefGoogle Scholar
  6. [6]
    K G Fretton, C G Davies: CCITT Signalling System No. 7; Overview; British Telecommunications Engineering; Vol 7, Part 1; April 1988;Google Scholar
  7. [7]
    P J Davidson: Review of the CCITT recommendations for integrated services digital network (ISDN); British Telecom Technology Journal; Vol 3, No 4; October 1985;Google Scholar
  8. [8]
    K D Foggarty: ISDN services and network recommendations; British Telecom Technology Journal; Vol 4, No 1; January 1986;Google Scholar
  9. [9]
    P A Jenkins, K G Knightson: Open Systems Interconnection — An Introductory Guide; British Telecommunications Engineering; Vol 3; July 1984;Google Scholar
  10. [10]
    CCITT Recommendations Z.100 — Z.104 (1984): Specification and Description Language;Google Scholar
  11. [11]
    ISO DIS 9074: Information Processing Systems — Open Systems Interconnection — Estelle — A Formal Description Technique based on an Extended State Transition Model;Google Scholar
  12. [12]
    ISO DIS 8807: Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour;Google Scholar
  13. [13]
    FORTE 88: An International Conference on Formal Description Techniques; 6 – 9 September 1988; University of Stirling, Scotland;Google Scholar
  14. [14]
    ISO/IEC/JTC1/N87: Report of the ISO/TC97 SWG meeting on Formal Description Techniques; New York City; October 1987;Google Scholar
  15. [15]
    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;Google Scholar
  16. [16]
    A Library of Specification Modules and Their Application; Report No 5 to the Alvey Directorate; UK Alvey FORMAP Project (SE/051);Google Scholar
  17. [17]
    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;Google Scholar
  18. [18]
    C A R Hoare: Communicating Sequential Processes; Prentice-Hall International Series in Computer Science; 1985;MATHGoogle Scholar
  19. [19]
    Chris Smith, Steve Rudkin: Time Guards and ASN.1 in LOTOS; submitted for publication.Google Scholar

Copyright information

© Springer-Verlag London 1990

Authors and Affiliations

  • David Freestone
    • 1
  1. 1.British Telecom/Information Services Standards DivisionFormal Methods GroupIpswichUK

Personalised recommendations