Skip to main content
SpringerLink
Log in

Algebraic implementation of objects over objects

  • Technical Contributions
  • Conference paper
  • First Online:
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (REX 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 430))

Abstract

This paper gives semantic foundations of (correct) implementation as a relationship between an "abstract" object and a community of "base" objects. In our aproach, an object is an "observed process". Objects and object morphisms constitute a category OB in which colimits reflect object aggregation and interaction between objects. Our concept of implementation allows for composition, i.e. by composing any number of (correct) implementation steps, a (correct) entire implementation is obtained. We study two specific kinds of implementation, extension and encapsulation, in more detail and investigate their close relationship to object morphisms. Our main technical result is a normal form theorem saying that any regular implementation, i.e. one composed of any number of extensions and encapsulations, in any order, can be done in just two steps: first an extension, and then an encapsulation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. America, P.: Object-Oriented Programming: A Theoretician's Introduction. EATCS Bulletin 29 (1986), 69–84

    Google Scholar 

  2. America, P.; Rutten, J.: A Parallel Object-Oriented Language: Design and Semantic Foundations. Dissertation, Vrije Universiteit Amsterdam 1989

    Google Scholar 

  3. Dayal, U.;Dittrich, K.(eds): Proc. Int. Workshop on Object-Oriented Database Systems. IEEE Computer Society, Los Angeles 1986

    Google Scholar 

  4. Dittrich, K.(ed.): Advances in Object-Oriented Database Systems. LNCS 334. Springer-Verlag, Berlin 1988

    Google Scholar 

  5. Dahl, O.-J.;Myhrhaug, B.;Nygaard, K.: SIMULA 67, Common Base Language, Norweigan Computing Center, Oslo 1967

    Google Scholar 

  6. Ehrich, H.-D.: On Realization and Implementation. Proc. MFCS'81 (J. Gruska, M. Chytil, eds.), LNCS 118, Springer-Verlag, Berlin 1981, 271–280

    Google Scholar 

  7. Ehrich,H.-D.;Sernadas,A.;Sernadas,C.: Abstract Object Types for Databases. In Di88, 144–149

    Google Scholar 

  8. Ehrich,H.-D.;Scrnadas,A.;Sernadas,C.: Objects, Object Types and Object Identity. Categorical Methods in Computer Science with Aspects from Topology (H. Ehrig et al (eds.), LNCS 393, Springer-Verlag (in print)

    Google Scholar 

  9. Ehrich,H.-D.;Sernadas,A.;Sernadas,C.: From Data Types to Object Types. Journal of Information Processing and Cybernetics EIK (to appear 1990)

    Google Scholar 

  10. Fiadeiro,J.;Sernadas,A.: Logics of Modal Terms for Systems Specification. INESC, Lisbon 1989 (submitted for publication)

    Google Scholar 

  11. Goguen,J.A.;Meseguer,J.: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In SW87, 417–477

    Google Scholar 

  12. Goguen, J.A.: Objects. Int. J. General Systems 1 (1975), 237–243

    Google Scholar 

  13. Goldblatt, R.: Topoi, the Categorial Analysis of Logic. North-Holland Publ. Comp., Amsterdam 1979

    Google Scholar 

  14. Goldberg, A.;Robson, D.: Smalltalk 80: The Language and its Implementation. Addison-Wesley, Reading, Mass. 1983

    Google Scholar 

  15. Hewitt,C.;Baker,H.: Laws for Communicating Parallel Processes. Proc. 1977 IFIP Congress, IFIP (1977), 987–992

    Google Scholar 

  16. Hewitt, C.: Viewing Control Structures as Patterns of Passing Messanges. Journal of Artificial Intelligence 8:3 (1977), 323–364

    Article  Google Scholar 

  17. Hennessy, M.: Algebraic Theory of Processes. The MIT Press, Cambridge, Mass. 1988

    Google Scholar 

  18. Lipeck,U.: Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen. Dissertation, Universität Dortmund 1982

    Google Scholar 

  19. Lochovski,F.(ed.): Special Issue on Object-Oriented Systems. IEEE Database Engineering 8:4 (1985)

    Google Scholar 

  20. Parnas, D.L.: A Technique for Software Module Specification with Examples. Communications of the ACM 15 (1972),330–336

    Article  Google Scholar 

  21. Sernadas,A.;Ehrich,H.-D.;Costa,J.-F.: From Processes to Objects (to appear)

    Google Scholar 

  22. Shriver, B.;Wegner, P.(eds.): Research Directions in Object-Oriented Programming. The MIT Press, Cambridge, Mass. 1987

    Google Scholar 

  23. Sernadas, A,;Sernadas, C.;Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. 13th VLDB, P.M. Stocker, W. Kent (eds.), Morgan-Kaufmann Publ. Inc., Los Altos 1987, 107–116

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abteilung Datenbanken, Technische Universität Braunschweig, Postfach 3329, D-3300, Braunschweig, FRG

    H. -D. Ehrich

  2. Departmento de Matematica, Instituto Superior Tecnico, 1096, Lisboa Codex, Portugal

    A. Sernadas

Authors
  1. H. -D. Ehrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Sernadas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker W. -P. de Roever G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrich, H.D., Sernadas, A. (1990). Algebraic implementation of objects over objects. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds) Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX 1989. Lecture Notes in Computer Science, vol 430. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52559-9_67

Download citation

  • DOI: https://doi.org/10.1007/3-540-52559-9_67

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52559-2

  • Online ISBN: 978-3-540-47035-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation