Abstract

The 20th WADT 2010 is put into perspective by giving afterglows of the 1st WADT 1982 in Langscheid near Dortmund, and the 10th WADT 1994 in Santa Margherita near Genova. First encounters with pioneers in the field are recalled, in particular with the ADJ group who initiated the initial-algebra approach. The author’s contributions at that time are put in this context. Around 1982, the emphasis of his work moved to databases and information systems, in particular conceptual modeling. His group used a triple of layers to model information systems, data—objects—systems, where the focus of interest now was on objects and systems. The interest in data issues paled in comparison. There were cases, however, where benefits could be drawn from the early work on ADTs and the foundations established in this field.

Keywords

Isomorphism Class Operational Semantic Domain Equation Abstract Data Type Initial Algebra 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol. 2900. Springer, Heidelberg (2004)MATHGoogle Scholar
  2. 2.
    Broy, M., Wirsing, M., Pair, C.: A Systematic Study of Models of Abstract Data Types. Theoretical Computer Science 33, 139–174 (1984)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Burstall, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications. In: Proc. 5th IJCAI, pp. 1045–1058. MIT, Cambridge (1977)Google Scholar
  4. 4.
    Burstall, R.M., Goguen, J.A.: The Semantics of CLEAR, a Specification Language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86, pp. 292–331. Springer, Heidelberg (1980)CrossRefGoogle Scholar
  5. 5.
  6. 6.
    Ehrich, H.-D.: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types. Journal of the ACM 29, 206–277 (1982)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Ehrich, H.-D.: Algebraic (?) Specification of Conceptual Database Schemata (extended abstract). In: Kreowski, H.-J. (ed.) Recent Trends in Data Type Specification. Informatik-Fachberichte, vol. 116. Springer, Berlin (1985)CrossRefGoogle Scholar
  8. 8.
    Ehrich, H.-D.: Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. In: Pitt, D., Abramsky, S., Poigné, A., Rydeheard, D. (eds.) Category Theory and Computer Programming. LNCS, vol. 240, pp. 412–433. Springer, Heidelberg (1986)CrossRefGoogle Scholar
  9. 9.
    Ehrich, H.-D., Gogolla, M., Lipeck, U.W.: Algebraische Spezifikation Abstrakter Datentypen. Teubner, Stuttgart (1989)CrossRefMATHGoogle Scholar
  10. 10.
    Ehrich, H.-D., Goguen, J.A., Sernadas, A.: A Categorial Theory of Objects as Observed Processes. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1990. LNCS, vol. 489, pp. 203–228. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  11. 11.
    Ehrich, H.-D., Lipeck, U.: Algebraic Domain Equations. Theoretical Computer Science 27, 167–196 (1983)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Ehrich, H.-D., Sernadas, A.: Local Specification of Distributed Families of Sequential Objects. In: Astesiano, E., Reggio, G., Tarlecki, A. (eds.) Abstract Data Types 1994 and COMPASS 1994. LNCS, vol. 906, pp. 219–235. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  13. 13.
    Ehrich, H.-D., Sernadas, A., Sernadas, C.: From Data Types to Object Types. J. Inf. Process. Cybern. EIK 26(1-2), 33–48 (1990)MathSciNetMATHGoogle Scholar
  14. 14.
    Ehrig, H., Kreowski, H.-J., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Parameterized Data Types in Algebraic Specification Languages, pp. 157–168. Springer, Berlin (1980)MATHGoogle Scholar
  15. 15.
    Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: An algebraic approach. In: Proceedings of the 14th Annual Symposium on Switching and Automata Theory (SWAT 1973), pp. 167–180. IEEE Computer Society, Washington, DC, USA (1973)CrossRefGoogle Scholar
  16. 16.
    Gogolla, M., Drosten, K., Lipeck, U., Ehrich, H.-D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theoretical Computer Science 34, 289–313 (1984)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Goguen, J.A.: Objects. International Journal of General Systems, 1563-5104 1, 237–243 (1974)Google Scholar
  18. 18.
    Goguen, J.A.: Some Design Principles and Theory for OBJ-0. In: Yeh, R. (ed.) LNCS, vol. 75, pp. 425–475. Prentice-Hall (1979)Google Scholar
  19. 19.
    Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. In: Yeh, R. (ed.) Current Trends in Programming Methodology IV, pp. 80–149. Prentice-Hall (1978)Google Scholar
  20. 20.
    Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial Algebra Semantics and Continuous Algebras. Journal of the ACM 24, 68–95 (1977)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of Abstract Data Types. J. Wiley & Sons and B.G. Teubner Publishers (1996)Google Scholar
  22. 22.
    Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)MATHGoogle Scholar
  23. 23.
    Scott, D.S.: Data Types as Lattices. SIAM J. Comp. 5, 522–587 (1976)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Smyth, M.B., Plotkin, G.D.: The Category-Theoretic Solution of Recursive Domain Equations. In: Proc. 18th IEEE FOCS, pp. 13–17 (1977)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2012

Authors and Affiliations

  • Hans-Dieter Ehrich
    • 1
  1. 1.Institut für InformationssystemeTechnische Universität BraunschweigBraunschweigGermany

Personalised recommendations