Concepts of Object-Orientation

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.

[1]  Dennis de Champeaux,et al.  Object-oriented system development , 1993 .

[2]  Amílcar Sernadas,et al.  Algebraic Implementation of Objects over Objects , 1989, REX Workshop.

[3]  O. Deux,et al.  The O2 system , 1991 .

[4]  MeseguerJosé.  Conditional rewriting logic as a unified model of concurrency , 1992 .

[5]  Catriel Beeri,et al.  A Model for Active Object Oriented Databases , 1991, VLDB.

[6]  Cristina Sernadas,et al.  From Data Types to Object Types , 1990, J. Inf. Process. Cybern..

[7]  Gunter Saake,et al.  Formal Specification of Object Systems , 1991, TAPSOFT, Vol.2.

[8]  Joseph A. Goguen,et al.  A Categorial Theory of Objects as Observed Processes , 1990, REX Workshop.

[9]  Ralf,et al.  Formal Speci cation of Object Systems , 1991 .

[10]  R. P. van de Riet,et al.  Generalization and specialization of object dynamics , 1989 .

[11]  José Luiz Fiadeiro,et al.  Temporal reasoning over deontic specifications , 1991, J. Log. Comput..

[12]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[13]  Gunter Saake,et al.  Proof-Theoretic Semantics of Object-Oriented Specification Constructs , 1990, DS-4.

[14]  T. S. E. Maibaum,et al.  The Prescription and Description of State Based Systems , 1987, Temporal Logic in Specification.

[15]  Mike Stark,et al.  General object-oriented software development , 1986 .

[16]  Michael Schrefl,et al.  Object/behavior diagrams , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[17]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[18]  Joseph A. Goguen,et al.  Sheaf semantics for concurrent interacting objects , 1992, Mathematical Structures in Computer Science.

[19]  Amir Pnueli,et al.  Temporal Logic in Specification , 1987, Lecture Notes in Computer Science.

[20]  Jacob Stein,et al.  The GemStone object database management system , 1991, CACM.

[21]  Gunter Saake,et al.  Specification of Database Applications in the TROLL Language , 1992, Specifications of Database Systems.

[22]  Amílcar Sernadas,et al.  What is an Object, After All? , 1990, DS-4.

[23]  José Luiz Fiadeiro,et al.  Logics of Modal Terms for Systems Specification , 1990, J. Log. Comput..

[24]  Gunter Saake,et al.  Object-Oriented Specification and Stepwise Refinement , 1991, Open Distributed Processing.

[25]  Jens Palsberg,et al.  A Denotational Semantics of Inheritance and its Correctness , 1989, OOPSLA.

[26]  Michael Schrefl,et al.  Semantics of Object-Oriented Data Models - The Evolving Algebra Approach , 1990, East/West Database Workshop.

[27]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[28]  José Luiz Fiadeiro,et al.  Describing, Structuring and Implementing Objects , 1990, REX Workshop.

[29]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[30]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[31]  José Luiz Fiadeiro,et al.  Process Semantics of Temporal Logic Specifications , 1991, COMPASS/ADT.

[32]  David A. Wolfram,et al.  On Types and FOOPS , 1990, DS-4.

[33]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[34]  William Kent,et al.  Object-Oriented Databases: Analysis, Design and Construction , 1991 .

[35]  Gunter Saake,et al.  Language Features for Object-Oriented Conceptual Modelling , 1991, ER.

[36]  Roel Wieringa.  Equational Specification of Dynamic Objects , 1990, DS-4.

[37]  Won Kim,et al.  Object-Oriented Databases: Definition and Research Directions , 1990, IEEE Trans. Knowl. Data Eng..

[38]  Ming-Chien Shan,et al.  Iris: An Object-Oriented Database Management System , 1989, ACM Trans. Inf. Syst..

[39]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[40]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[41]  Robert Meersman,et al.  Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proceedings of the IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases: Analysis, Design & Construction, Windermere, UK, 2-6 July, 1990 , 1991 .

[42]  Gunter Saake,et al.  Object-oriented Speciication and Stepwise Reenement , 1991 .

[43]  O. Deux,et al.  The O2 system , 1991 .

[44]  Gunter Saake,et al.  Using Active Objects for Query Processing , 1990, DS-4.

[45]  José Luiz Fiadeiro,et al.  The Basic Building Blocks of Information Systems , 1989, ISCO.

[46]  Joseph A. Goguen,et al.  A categorical manifesto , 1989, Mathematical Structures in Computer Science.

[47]  Jens Palsberg,et al.  A Denotational Semantics af Inheritance and its Correctness , 1989 .

[48]  A Page,et al.  Learning from language. , 1987, The New Zealand nursing journal. Kai tiaki.