Algebraic specification of synchronisation and errors: A telephonic example

  • Brigitte Biebow
  • Jacques Hagelstein
Colloquium On Software Engineering Abstract Data Types In Software Development
Part of the Lecture Notes in Computer Science book series (LNCS, volume 186)


This paper presents an algebraic specification of the switching module, a component of a telephone switching system. This module exhibits interesting synchronisation properties which lead to consider it as a process. The specification is first presented without error handling, and then refined to include a non trivial error recovery strategy. Thus, we additionally show how error handling, which often obscures specifications, may be postponed and become a systematic refinement of a simpler specification.


Switching Module Output Channel Input Channel Error Recovery Exception Handling 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

7. Bibliography

  1. [BBGGG 84]
    M. Bidoit, B. Biebow, M-C. Gaudel, G. Guiho, C. Gresse, "Exception Handling: Formal Specification and Systematic Program Construction", International Conference on Software Engineering, Orlando, Florida, March 1984.Google Scholar
  2. [Bid 84]
    M. Bidoit, "Algebraic specification of exception handling and error recovery by means of declarations and equations", Proceedings ICALP 84, LNCS 172.Google Scholar
  3. [Bie 84]
    B. Biebow, "Application d'un langage de spécification algébrique à des exemples téléphoniques", 3rd cycle thesis of the University of Paris 6, Paris, France, February 1984.Google Scholar
  4. [BG 83]
    M. Bidoit, M-C. Gaudel, "Etude des méthodes de spécification des cas d'exceptions dans les types abstraits algébriques", Actes du Séminaire d'Informatique Théorique du LITP 1982–1983, Paris 6, Paris, France.Google Scholar
  5. [BGP 83]
    F. Boisson, G. Guiho, D. Pavot, "Algèbres à Opérateurs Multicibles", LRI report, Orsay, France, June 1983.Google Scholar
  6. [BK 83]
    J.A. Bergstra, J.W. Klop, "Process Algebra for Communication and Mutual Exclusion", Report IW 218/83, Mathematisch Centrum, Amsterdam.Google Scholar
  7. [GM 84]
    J.A. Goguen, J. Meseguer, "An initiality primer", SRI International, Computer Science Laboratory, Menlo Park CA 94025, USA.Google Scholar
  8. [Gog 77]
    J.A. Goguen, "Abstract errors for abstract data types", Description of Programming Concepts, E.J. Neuhol Ed., North Holland, New York, 1977.Google Scholar
  9. [Jul 83]
    J. Julliand, "Spécification algébrique de la communication entre processus parallèles", Technique et Science Informatiques, Vol. 2 Nr 4, 1983.Google Scholar
  10. [Wir 83]
    M. Wirsing, "Structured Algebraic Specifications: A Kernel Language", Technische Universität München, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Brigitte Biebow
    • 1
  • Jacques Hagelstein
    • 2
  1. 1.Laboratoires de Marcoussis C.R.C.G.E. Route de NozayMarcoussisFrance
  2. 2.Philips Research LaboratoryBrusselsBelgium

Personalised recommendations