Skip to main content
SpringerLink
Log in

Techniques for partial specification and specification of switching systems

  • Papers
  • Conference paper
  • First Online:
Book cover VDM'91 Formal Software Development Methods (VDM 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 551))

Included in the following conference series:

Abstract

This paper reports on results obtained by specifying the connection patterns within a small PBX using Z. We discuss techniques for specification of switching systems, including how to model the state space of a feature-rich switching system, how to use the schema calculus for organizing a complex operation set, and how to realize the potential benefits of a partial specification. We also outline a new approach to constructing a specification as a composition of partial specifications written in different formal languages.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Jozef De Man. Description of telecommunication systems by means of a functional language. In Proceedings of the International Conference on Software Engineering for Telecommunication Switching Systems, Bournemouth, England, July 1989.

    Google Scholar 

  2. M. Faci, L. Logrippo, and B. Stépian. Formal specifications of telephone systems in LOTOS. Technical Report TR-89-07, Computer Science Department, University of Ottawa, Ottawa, Ontario, Canada, February 1989.

    Google Scholar 

  3. David Gries. Teaching calculation and discrimination: A more effective curriculum. Communications of the ACM XXXIV(3):44–55, March 1991.

    Google Scholar 

  4. Michael Jackson. Description is our business. In this volume.

    Google Scholar 

  5. A. Kay and J. N. Reed. A specification of a telephone exchange in Timed CSP. Technical Report PRG-TR-19-90, Programming Research Group, Oxford University Computing Laboratory, Oxford, England, 1990.

    Google Scholar 

  6. Carroll Morgan. Telephone network. In Ian Hayes, editor, Specification Case Studies, pages 73–87, Prentice-Hall International, 1987.

    Google Scholar 

  7. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International, 1989.

    Google Scholar 

  8. Pamela Zave. A compositional approach to multiparadigm programming. IEEE Software VI(5):15–25, September 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AT&T Bell Laboratories, 07974, Murray Hill, New Jersey

    Pamela Zave

  2. 101 Hamilton Terrace, NW8 9QX, London

    Michael Jackson

Authors
  1. Pamela Zave
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Jackson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Prehn W. J. Toetenel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zave, P., Jackson, M. (1991). Techniques for partial specification and specification of switching systems. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-54834-3_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54834-8

  • Online ISBN: 978-3-540-46449-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation