Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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
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.
M. Bidoit, "Algebraic specification of exception handling and error recovery by means of declarations and equations", Proceedings ICALP 84, LNCS 172.
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.
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.
F. Boisson, G. Guiho, D. Pavot, "Algèbres à Opérateurs Multicibles", LRI report, Orsay, France, June 1983.
J.A. Bergstra, J.W. Klop, "Process Algebra for Communication and Mutual Exclusion", Report IW 218/83, Mathematisch Centrum, Amsterdam.
J.A. Goguen, J. Meseguer, "An initiality primer", SRI International, Computer Science Laboratory, Menlo Park CA 94025, USA.
J.A. Goguen, "Abstract errors for abstract data types", Description of Programming Concepts, E.J. Neuhol Ed., North Holland, New York, 1977.
J. Julliand, "Spécification algébrique de la communication entre processus parallèles", Technique et Science Informatiques, Vol. 2 Nr 4, 1983.
M. Wirsing, "Structured Algebraic Specifications: A Kernel Language", Technische Universität München, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Biebow, B., Hagelstein, J. (1985). Algebraic specification of synchronisation and errors: A telephonic example. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_19
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive