Abstract
Usual algebraic specification techniques can be extended to treat partially ordered sorts. This allows the introduction of sub- and supersorts as well as overloaded operators, while pleasant features (e.g. existence of initial algebras and equivalence of algebraic and operational semantics) of the equational specification method are preserved. On this basis error and exception handling is studied. For each sort an ok and an error subsort is introduced and clean algebras (i.e. algebras which are ok/error-consistent and ok/error-complete) are considered. This new approach allows to prove an extension lemma for persistent parametric specifications which permit error handling.
Chapter PDF
Similar content being viewed by others
7. References
J.A. Goguen/J.W. Thatcher/E.G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types. Current trends in programming methodology, Vol. IV, R.T. yeh (ed), Prentice Hall, Englewood Cliffs 1978, pp.80–149.
J.W.Thatcher/E.G.Wagner/J.B.Wright: Data type specification: Parametrization and the power of specification techniques. Proc. 10th STOC, 1978, San Diego.
H.Ehrig / H.-J.Kreowski / J.W.Thatcher / E.G.Wagner / J.B.Wright: Parameter passing in algebraic specification languages. LNCS 134, Berlin 1982, pp.322–369.
G.Bernot / M.Bidoit / C.Choppy: Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors. To appear.
M. Bidoit: Algebraic specification of exception handling and error recovery by means of equations and declarations. Proc. 11th ICALP 1984, LNCS 172, pp.95–109.
F.Boisson / G.Guiho / D.Pavot: Multioperator algebras. L.R.I. Report, Orsay 1982.
H.Ehrig: Algebraic theory of parametrized specifications with requirements. Proc. 6th CAAP 1981, Genova.
H.Ehrig/W.Fey/H.Hansen: ACT ONE: An algebraic specification language with two levels of semantics. Techn. Report No. 83-03, TU Berlin, 1983.
H.Ehrig/H.-J.Kreowski/B.Mahr/P.Padawitz: Algebraic implementation of abstract data types. TCS, Vol.20 1982.
K.Futasugi / J.A.Goguen / J.-P.Jouannaud / J.Meseguer: Principles of OBJ2. Proc. POPL 1985, pp.52–66.
H.Ganzinger: Parametrized specification: Parameter passing and implementation. ACM TOPLAS, Vol.5 1983.
V.Giarratana/F.Gimona/U.Montanari: Observability concepts in abstract data type specification. Proc. 5th MFCS 1976, Gdansk, LNCS 45.
M. Gogolla/K. Drosten/U. Lipeck/H.-D. Ehrich: Algebraic and operational semantics of specifications allowing exceptions and errors. TCS, Vol.34 1984, pp.289–313.
M.Gogolla: Partially ordered sorts in algebraic specifications. Proc. 9th CAAP 1984, Bordeaux, B. Courcelle (ed), Cambridge University Press, pp.139–153.
M.Gogolla: über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in Abstrakten Datentypen. Dissertation, TU Braunschweig, 1986.
J.A.Goguen: Abstract errors for abstract data types. Proc. Conference on Formal Description of Programming Concepts 1978, E.J.Neuhold (ed), North Holland.
J.A.Goguen: Order sorted algebras: Exception and error sorts, coercions and overloaded operators. Semantics and Theory of Computation Report No.14, UCLA, 1978.
J.A.Goguen/J.Meseguer: Order-sorted algebra I: Partial and overloaded operators, errors and inheritance. Technical Report, SRI International, 1984.
J.A.Goguen/J.-P.Jouannaud/J.Meseguer: Operational semantics for order-sorted algebra. Proc. 12th ICALP 1985.
H.Klaeren: A constructive method for abstract algebraic software specification. TCS, Vol.30, No.2 1984.
A.Poigne: Modularization techniques for algebraic specifications with subsorts. Imperial College, London.
D.Sannella/A.Tarlecki: On observational equivalence and algebraic specification. Proc. 10th CAAP 1985, Berlin.
D.Sannella/M.Wirsing: A kernel language for algebraic specification and implementation. Proc. FCT 1983.
M. Wand: Final algebra semantics and data type extensions. JCSS, Vol.19, No.1 1979, pp.27–44.
E.G.Wagner/H.Ehrig: Canonical constraints for parametrized data types. Research Report RC 11248, IBM, 1985.
M.Wirsing/P.Pepper/H.Partsch/W.Dosch/M.Broy: On hierarchies of abstract data types. Acta Informatica 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gogolla, M. (1987). On parametric algebraic specifications with clean error handling. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds) TAPSOFT '87. CAAP 1987. Lecture Notes in Computer Science, vol 249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17660-8_49
Download citation
DOI: https://doi.org/10.1007/3-540-17660-8_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17660-2
Online ISBN: 978-3-540-47746-4
eBook Packages: Springer Book Archive