Abstract
This paper presents an algebraic specification language (PLUSS) and a program construction method. Programs are built systematically from an algebraic specification of the data they deal with. The feasability of the method was tested on a realistic problem (part of a telephone switching system). In these experiments, it turned out that error handling was the difficult part both to specify and to program. This paper shows how to cope with this problem at the specification level and during the program development process.
The full version of this paper will appear in the Proceedings of the 7th ICSE, ORLANDO USA, March 1984.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Goguen J., Thatcher J., Wagner E., “An Initial Algebra approach to the specification, correctness, and implementation of abstract data types” in Current Trends in Programming Methodology, Vol. 4, Yeh Ed. Prentice Hall, 1978.
Bauer F.L., “From Specifications to Machine Codes Program Construction through Formal Reasoning” 6th. International Conference on Software Engineering, Tokyo, Sept. 1982.
Burstall R., Goguen J., “The semantics of CLEAR, A Specification Language” in Abstract Software Specifications, D. Bjorner Ed., LNCS 86, Springer Verlag, 1979.
Boisson F., Guiho G., Pavot D., “Algebres a Operateurs Multicibles” Rapport LRI 132, Orsay, June 1983.
BRD 83] Broy M. “Algebraic Methods for Program Construction: The Project CIP”, in this volume.
Broy M., Wirsing M., “Partial Abstract Data Types” Acta Informatica, Vol. 18–1, Nov 1982.
Cristian F., “Correct and Robust Programs” IBM Research Report, San Jose, to appear in IEEE Transactions on Software Engineering.
Gogolla M., Drosten K., Lipeck U., Ehrich H.D., “Algebraic and operational semantics of specifications allowing exceptions and errors” Univ. Dortmund, Forschungsbericht 140, 1982.
Guiho G., Gresse C., Bidoit M., “Conception et Certification de Programmes a partir d’une Decomposition par les Donnees” RAIRO-Computer Science, Vol. 14, n 4, 1980.
Guttag J.,Horning J., Wing J.,”Some notes on putting formal specifications to productive use”, SCP, Vol. 2–1, Oct. 1982.
Gerhart S.L., Musser D.R., Thompson D.H., Baker D.A., Bates R.L., Erickson R.W., London R.L., Taylor D.G., Wile D.S., “An Overview of AFFIRM: A specification and Verification system” I.F.I.P. 80, S.H.Lavington Ed., North-Holland, 1980.
Goguen J.A., “Abstract errors for abstract data types” in Formal Description of Programming Concepts E.J. Neuhold Ed., North Holland, New York 1977.
Goguen J.A., “Exception and Error Sorts, Coercion and Overloading Operators” S.R.I. Research Report, 1978.
Gresse C. “Automatic Programming From Data Types Decomposition Patterns” 8th I.J.C.A.I. Karlsruhe (RFA) 1983.
Goguen J.A., Tardo J.J, Tardo J.J., “An introduction to OBJ” Specification of Reliable Software, M.I.T., April 1979.
Guiho G. “Automatic Programming Using Abstract Data Types”, 8th I.J.C.A.I. (Invited Paper) Karlsruhe(RFA) 1983.
Partsch H., “The CIP Transformation System”, in this volume.
Pepper P., “Techniques for Program Development”, in this volume.
Plaisted D. “An initial algebra semantics for error presentations” Unpublished Draft, 1982.
Reynolds J.C. “Gedanken: a simple typeless language based on the principle of completeness and the reference concept” C.A.C.M., Vol. 13–5, p 308–319, May 1970.
Reif J.H., Scherlis W.L., “Deriving Efficient Graph Algorithms”, in this volume.
Sanella D., Wirsing M., “A Kernel Language for Algebraic Specification and Implementation” to appear in Int. Conf. on Foundations of Computing Theory, Bergholm, Sweden, Aug. 1983.
Wirsing M., “Structured Algebraic Specifications” Proc. of APCET “Mathematics for Computer Science” Conf., Paris, March 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bidoit, M., Biebow, B., Gaudel, M.C., Gresse, C., Guiho, G. (1984). Exception Handling: Formal Specification and Systematic Program Construction Extended Abstract. In: Pepper, P. (eds) Program Transformation and Programming Environments. NATO ASI Series, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46490-4_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-46490-4_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-46492-8
Online ISBN: 978-3-642-46490-4
eBook Packages: Springer Book Archive