Skip to main content
SpringerLink
Log in

Concepts of Object—Orientation

  • Conference paper
Informationssysteme und Künstliche Intelligenz: Modellierung

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 303))

Abstract

An object is a unit of structure and behavior; it has an identity which persists through change; objects communicate with each other; they are classified by object types, collected into object classes, related by inheritance, and composed to form complex objects. In the first part of the paper, this rich world of concepts and constructions is explained in an informal but systematic way, independent of any language or system. In the second part, features of an object specification language are outline which incorporate most of these concepts and constructions.

This work was partly supported by the EC under ESPRIT BRA WG 3023 IS-CORE (Information Systems — COrrectness and REusability), by DFG under Sa 465/1-1 and Sa 465/1-2, and by JNICT under PMCT/C/TIT/178/90 FAC3 contract.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Atkinson et. al.: The Object-Oriented Database System Manifesto. 1st Int. Conf. on Deductive and Object-Oriented Databases, Kim, W. et. al. (eds.), 1989, 40–57

    Google Scholar 

  2. Beeri, C.: Theoretical Foundations for OODB’s - a Personal Perspective. Database Engineering, to appear

    Google Scholar 

  3. Beeri, C.; Milo, T.: A Model for Active Object Oriented Database. Proc. 17th VLDB, Sernadas, A. (ed.), Barcelona 1991, to appear

    Google Scholar 

  4. Butterworth, P.; Otis, A.; Stein, J.: The GemStone Object Database Management System. Comm. ACM 34 (1991), 64–77

    Article  Google Scholar 

  5. Cook, W.; Palsberg, J.: A Denotational Semantics of Inheritance and its Correctness. Proc. OOPSLA’89, ACM Press, 433–443

    Google Scholar 

  6. Costa, J.-F.; Sernadas, A.: Process Models within a Categoría! Framework. INESC Research Report, Lisbon 1991, submitted for publication

    Google Scholar 

  7. Costa, J.-F.; Sernadas, A.; Sernadas, C.: Objects as Non-Sequential Machines. Information Systems — Correctness and Reusability, Proc. ISCORE Workshop’91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91–03, Tech. Univ. Braunschweig 1991, 25–60

    Google Scholar 

  8. Cusack, E.: Refinement, Conformance and Inheritance. Formal Aspects of Computing 3 (1991), 129–141

    Article  Google Scholar 

  9. Deux, O. et al: The O2 System. Comm. ACM 34 (1991), 35–48

    Article  Google Scholar 

  10. Dahl, O.-J.; Myrhaug, B.; Nygaard, K.: SIMULA 67, Common Base Language. Norwegian Computer Center, Oslo 1967

    Google Scholar 

  11. Dignum, V.G.; van de Riet, R.P.; Wieringa, R.: Generalization and Specialization of Object Dynamics. Rapportnr. IR-204, Vrije Universiteit Amsterdam 1989

    Google Scholar 

  12. Ehrich, H.-D.; Goguen, J.A.; Sernadas, A.: A Categorial Theory of Objects as Observed Processes. Proc. REX/FOOL School/Workshop, deBakker, J.W. et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991, 203–228

    Google Scholar 

  13. Ehrich, H.-D.; Sernadas, A.; Sernadas, C.: From Data Types to Object Types. Journal of Information Processing and Cybernetics EIK 26 (1990) 1 /2, 33–48

    MathSciNet  Google Scholar 

  14. Ehrich, H.-D.; Semadas, A.: Algebraic Implementation of Objects over Objects. Proc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness. deBakker, J.W.; deRoever, W.-P.; Rozenberg, G. (eds.), LNCS 430, Springer-Verlag, Berlin 1990, 239–266

    Google Scholar 

  15. Ehrich, H.-D.; Sernadas, A.: Fundamental Object Concepts and Constructions. Information Systems — Correctness and Reusability, Proc. ISCORE Workshop’91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 1–24

    Google Scholar 

  16. Fiadeiro, J.; Costa, J.-F.; Sernadas, A.; Maibaum, T.: (Terminal) Process Semantics of Temporal Logic Specification. Unpublished draft, Dept. of Computing, Imperial College, London 1991

    Google Scholar 

  17. Fishman, D. et al: IRIS: An Object-Oriented Database Management System. ACM Trans. Off. Inf. Sys. 5 (1987)

    Google Scholar 

  18. Fiadeiro, J.; Maibaum, T.: Describing, Structuring and Implementing Objects. Proc. REX/FOOL School/Workshop, deBakker, J.W. et. al. (eds.), LNCS 489, Springer-Verlag, Berlin 1991

    Google Scholar 

  19. Fiadeiro, J.; Maibaum, T.: Temporal Theories as Modularisation Units for Concurrent System Specification, to appear in Formal Aspects of Computing

    Google Scholar 

  20. Fiadeiro, J.; Sernadas, A.: Logics of Modal Terms for System Specification. Journal of Logic and Computation 1 (1991), 357–395

    Article  MathSciNet  MATH  Google Scholar 

  21. Fiadeiro, J.; Sernadas, C.; Maibaum, T.; Saake, G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. Proc. IFIP 2.6 Working Conference DS-4, Meersman, R.; Kent, W. (eds.), North-Holland, Amsterdam 1991

    Google Scholar 

  22. Gottlob, G.; Kappel, G.; Schrefi, M.: Semantics of Object-Oriented Data Models — The Evolving Algebra Approach. Proc. Int. Workshop on Information Systems for the 90’s, Schmidt, J.W. (ed. ), Springer LNCS 1991

    Google Scholar 

  23. Goguen, J.: Categorical Foundations for General Systems Theory. Advances in Cybernetics and Systems Research, Transcripta Books, 1973, 121–130

    Google Scholar 

  24. Goguen, J.: Objects. International Journal of General Systems, 1 (1975), 237–243

    Article  MathSciNet  Google Scholar 

  25. Goguen, J.: A Categorical Manifesto. Technical Report PRG-72, Programming Research Group, Oxford University, March 1989. To appear in Mathematical Structures in Computer Science.

    Google Scholar 

  26. Goguen, J.: Sheaf Semantics of Concurrent Interacting Objects, 1990. To appear in Mathematical Structures in Computer Science.

    Google Scholar 

  27. Goldberg, A.; Robson, D.: Smalltalk 80: The Language and its Implementation. Addison-Wesley, New York 1983

    MATH  Google Scholar 

  28. Goguen, J.; Wolfram, D.: On Types and FOOPS. Proc. IFIP 2.6 Working Conference DS-4, Meersman, R.; Kent, W. (eds.), North-Holland, Amsterdam 1991

    Google Scholar 

  29. Hayes, F.; Coleman, D.: Objects and Inheritance: An Algebraic View. Technical Memo, HP Labs, Information Management Lab, Bristol 1989

    Google Scholar 

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

    MATH  Google Scholar 

  31. Heitz, M.: HOOD: A Hierarchical Object-Oriented Design Method. Proc. 3rd German Ada Users Congress, Munich 1988, 12-1–12-9

    Google Scholar 

  32. Jungclaus, R.; Hartmann, T.; Saake, G.; Sernadas, C.: Introduction to TROLL — A Language for Object-Oriented Specification of Information Systems. Information Systems - Correctness and Reusability, Proc. ISCORE Workshop’91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Techn. Univ. Braunschweig 1991, 97–128

    Google Scholar 

  33. Jungclaus, R.; Saake, G.; Hartmann, T.: Language Features for Object-Oriented Conceptual Modeling. In: Proc. 10th Int. Conf. on the ER-approach ( T.J. Teorey, ed.), San Mateo, E/R Institute 1991, 309–324.

    Google Scholar 

  34. Jungclaus, R.; Saake, G.; Hartmann, T.; Sernadas, C.: Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht, TU Braunschweig 1991. To appear

    Google Scholar 

  35. Jungclaus, R.; Saake, G.; Sernadas, C.: Using Active Objects for Query Processing. Proc. IFIP 2.6 Working Conference DS-4, Meersman, R.; Kent, W. (eds.), North-Holland, Amsterdam 1991

    Google Scholar 

  36. Jungclaus, R.; Saake, G.; Sernadas, C.: Formal Specification of Object Systems. Proc. TAP- SOFT’91, Abramsky, S.; Maibaum, T.S.E. (eds.), Brighton ( UK ), Springer 1991, 365–407

    Google Scholar 

  37. Kerth, N,: MOOD: A Methodology for Structured Object-Oriented Design. Tutorial presented at OOPSLA’88, San Diego 1988

    Google Scholar 

  38. Kim, W. et al: Features of the ORION Object-Oriented DBMS. In Object-Oriented Concepts, Databases, and Applications, Kim, W. and Lochovsky, E.H. ( eds. ), Addison-Wesley 1988

    Google Scholar 

  39. Kim, W.: Object-Oriented Databases: Definition and Research Directions. IEEE Transactions on Knowledge and Data Engineering 2 (1990), 327–341

    Article  Google Scholar 

  40. Khosla, S.; Maibaum, T.: The Prescription and Description of State-based Systems. In: B. Banieqbal, H. Barringer and A. Pnueli (eds) Temporal Logic in Specification, LNCS 398, Springer-Verlag 1989, 243–294

    Google Scholar 

  41. Kappel, G.; Schrefl, M.: Object/Behavior Diagrams. Technical Report CD-TR 90/12, TU Wien, 1990. To appear in Proc. Int. Conf. on Data Engineering 1991.

    Google Scholar 

  42. Lin, H.; Pong, M.: Modelling Multiple Inheritance with Colimits. Formal Aspects of Computing 2 (1990), 301–311

    Article  Google Scholar 

  43. Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs 1988

    Google Scholar 

  44. Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Technical Report SRI-CSL-91-05, Computer Science Laboratory, SRI International, Menlo Park 1991

    Google Scholar 

  45. Sernadas, A.; Ehrich, H.-D.: What is an object, after all? Proc. IFIP 2.6 Working Conference DS-4, Meersman, R.;Kent, W. (eds.), North-Holland, Amsterdam 1991

    Google Scholar 

  46. Sernadas, A.; Ehrich, H.-D.; Costa, J.-F.: From Processes to Objects. The INESC Journal of Research and Development 1 (1990), 7–27

    Google Scholar 

  47. Sernadas, A.; Fiadeiro, J.; Sernadas, C.; Ehrich, H.-D.: The Basic Building Blocks of Information Systems. Proc. IFIP 8.1 Working Conference, Falkenberg, E.; Lindgreen, P. (eds.), North-Holland, Amsterdam 1989, 225–246

    Google Scholar 

  48. Sernadas, C.; Gouveia, P.; Costa, J.-F.; Sernadas, A.: Graph-theoretic Semantics of Oblog — Diagrammatic Language for Object-oriented Specifications. Information Systems — Correctness and Reusability, Proc. ISCORE Workshop’91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 61–96

    Google Scholar 

  49. Sernadas, C.; Gouveia, P.; Gouveia, J.; Sernadas, A.; Resende, P.: The Reification Dimension in Object-oriented Database Design. Proc. Int. Workshop on Specification of Database Systems, Glasgow 1991, Springer-Verlag, to appear

    Google Scholar 

  50. Saake, G.; Jungclaus, R.: Specification of Database Applications in the TROLL Language. Proc. Int. Workshop on Specification of Database Systems, Glasgow 1991, Springer-Verlag, to appear

    Google Scholar 

  51. Saake, G.; Jungclaus, R.;Ehrich, H.-D.: Object-Oriented Specification and Stepwise Refinement. Proc. IFIP TC6 Int’l Workshop on Open Distributed Processing, Berlin 1991, to be published by North-Holland

    Google Scholar 

  52. Sernadas, C.; Resende, P.; Gouveia, P.; Sernadas, A.: In-the-large Object-oriented Design of Information Systems. Proc IFIP 8.1 Working Conference on the Object-oriented Approach in Information Systems, van Assche, F.; Moulin, B.; Rolland, C. (eds.), Quebec City (Canada ) 1991, North Holland, to appear

    Google Scholar 

  53. Seidewitz, E.; Stark, M.: General Object-Oriented Software Development. Document No. SEL- 86-002, NASA Goddard Space Flight Center, Greenbelt, Maryland 1986

    Google Scholar 

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

    Google Scholar 

  55. Sernadas, A.; Sernadas, C.; Gouveia, P.; Resende, P.; Gouveia, J.: Oblog — An Informal Introduction, INESC Lisbon, 1991.

    Google Scholar 

  56. Stroustrup, B.: The C++ Programming Language. Addison Wesley, Reading, Mass. 1986

    MATH  Google Scholar 

  57. Verharen, E.M.: Object-oriented System Development: An Overview. Information Systems - Cor-rectness and Reusability, Proc. ISCORE Workshop’91 (G.Saake, A.Sernadas, eds.), Informatik-Berichte 91-03, Tech. Univ. Braunschweig 1991, 202–234

    Google Scholar 

  58. Wegner, P.: Learning the Language. Byte 14 (1989), 245–253

    Google Scholar 

  59. Wieringa, R.J.: Equational Specification of Dynamic Objects. In: Meersman, R.; Kent, W. (eds.): Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere ( UK ), 1990. North-Holland, Amsterdam. In print.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Hans-Dieter Ehrich & Gunter Saake

  2. Computer Science Group, INESC, Apartado 10105, 1017, Lisbon Codex, Portugal

    Amilcar Sernadas

Authors
  1. Hans-Dieter Ehrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Amilcar Sernadas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, Postfach 6980, W-7500, Karlsruhe, Germany

    Rudi Studer

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ehrich, HD., Saake, G., Sernadas, A. (1992). Concepts of Object—Orientation. In: Studer, R. (eds) Informationssysteme und Künstliche Intelligenz: Modellierung. Informatik-Fachberichte, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77312-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77312-9_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55182-9

  • Online ISBN: 978-3-642-77312-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation