On parametric algebraic specifications with clean error handling

  • Martin Gogolla
Session CAAP 3 Algebraic Specifications I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 249)


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.

7. References

  1. ADJ 76.
    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.Google Scholar
  2. ADJ 78.
    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.Google Scholar
  3. ADJ 81.
    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.Google Scholar
  4. BBC 86.
    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.Google Scholar
  5. Bi 84.
    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.Google Scholar
  6. BGP 82.
    F.Boisson / G.Guiho / D.Pavot: Multioperator algebras. L.R.I. Report, Orsay 1982.Google Scholar
  7. Eh 81.
    H.Ehrig: Algebraic theory of parametrized specifications with requirements. Proc. 6th CAAP 1981, Genova.Google Scholar
  8. EFH 83.
    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.Google Scholar
  9. EKMP 82.
    H.Ehrig/H.-J.Kreowski/B.Mahr/P.Padawitz: Algebraic implementation of abstract data types. TCS, Vol.20 1982.Google Scholar
  10. FGJM 85.
    K.Futasugi / J.A.Goguen / J.-P.Jouannaud / J.Meseguer: Principles of OBJ2. Proc. POPL 1985, pp.52–66.Google Scholar
  11. Ga 83.
    H.Ganzinger: Parametrized specification: Parameter passing and implementation. ACM TOPLAS, Vol.5 1983.Google Scholar
  12. GGM 76.
    V.Giarratana/F.Gimona/U.Montanari: Observability concepts in abstract data type specification. Proc. 5th MFCS 1976, Gdansk, LNCS 45.Google Scholar
  13. GDLE 82.
    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.CrossRefGoogle Scholar
  14. Go 83.
    M.Gogolla: Partially ordered sorts in algebraic specifications. Proc. 9th CAAP 1984, Bordeaux, B. Courcelle (ed), Cambridge University Press, pp.139–153.Google Scholar
  15. Go 86.
    M.Gogolla: über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in Abstrakten Datentypen. Dissertation, TU Braunschweig, 1986.Google Scholar
  16. Go 77.
    J.A.Goguen: Abstract errors for abstract data types. Proc. Conference on Formal Description of Programming Concepts 1978, E.J.Neuhold (ed), North Holland.Google Scholar
  17. Go 78.
    J.A.Goguen: Order sorted algebras: Exception and error sorts, coercions and overloaded operators. Semantics and Theory of Computation Report No.14, UCLA, 1978.Google Scholar
  18. GM 84.
    J.A.Goguen/J.Meseguer: Order-sorted algebra I: Partial and overloaded operators, errors and inheritance. Technical Report, SRI International, 1984.Google Scholar
  19. GJM 85.
    J.A.Goguen/J.-P.Jouannaud/J.Meseguer: Operational semantics for order-sorted algebra. Proc. 12th ICALP 1985.Google Scholar
  20. Kl 84.
    H.Klaeren: A constructive method for abstract algebraic software specification. TCS, Vol.30, No.2 1984.Google Scholar
  21. Po 84.
    A.Poigne: Modularization techniques for algebraic specifications with subsorts. Imperial College, London.Google Scholar
  22. ST 85.
    D.Sannella/A.Tarlecki: On observational equivalence and algebraic specification. Proc. 10th CAAP 1985, Berlin.Google Scholar
  23. SW 83.
    D.Sannella/M.Wirsing: A kernel language for algebraic specification and implementation. Proc. FCT 1983.Google Scholar
  24. Wa 79.
    M. Wand: Final algebra semantics and data type extensions. JCSS, Vol.19, No.1 1979, pp.27–44.Google Scholar
  25. WE 85.
    E.G.Wagner/H.Ehrig: Canonical constraints for parametrized data types. Research Report RC 11248, IBM, 1985.Google Scholar
  26. WPPDB 83.
    M.Wirsing/P.Pepper/H.Partsch/W.Dosch/M.Broy: On hierarchies of abstract data types. Acta Informatica 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Martin Gogolla
    • 1
  1. 1.Informatik BTU BraunschweigBraunschweig

Personalised recommendations