Konzeptioneller Entwurf von Objektgesellschaften

Die konzeptionelle Modellierung des Weltausschnitts, der durch eine Datenbank oder ein Informationssystem dargestellt werden soll, ist die entscheidende Phase beim Systementwurf, da das konzeptionelle Modell die Grundlage der Implementierung ist. In diesem Papier schlagen wir die Sprache Oblog + zur objektorientierten Spezifikation von Informationssystemen vor. Oblog + ermoglicht die vollstandige Darstellung des Weltausschnitts durch integrierte Beschreibung von Daten uber Objekte, Manipulationen dieser Daten und der zeitlichen Entwicklung von Objekten sowie der vielfaltigen Beziehungen zwischen Objekten. Die Semantik der Sprache ist definiert uber einem mathematischen Objektmodell.

[1]  Amílcar Sernadas,et al.  Temporal aspects of logical procedure definiton , 1980, Inf. Syst..

[2]  Peter Wegner.  Dimensions of object-based language design , 1987, OOPSLA 1987.

[3]  Henk Sol,et al.  Information Systems Design Methodologies: A Comparative Review , 1983 .

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

[5]  Grzegorz Rozenberg,et al.  Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness , 1989, Lecture Notes in Computer Science.

[6]  John D. McGregor,et al.  Introduction—object-oriented design , 1990, CACM.

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

[8]  Peter C. Lockemann,et al.  Design of engineering databases: a case for more varied semantic modelling concepts , 1988, Inf. Syst..

[9]  John D. McGregor,et al.  Understanding object-oriented: a unifying paradigm , 1990, CACM.

[10]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[11]  Roelf J. Wieringa,et al.  Algebraic Foundations for Dynamic Conceptual Models , 1990 .

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[14]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[15]  Michael L. Brodie.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[16]  Udo W. Lipeck,et al.  Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung , 1989, Informatik-Fachberichte.

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

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

[19]  Joan Peckham,et al.  Semantic data models , 1988, CSUR.

[20]  Martin Gogolla,et al.  A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions , 1988, International Conference on Conceptual Modeling.

[21]  Gunter Saake.  Descriptive Specification of Database Object Behaviour , 1991, Data Knowl. Eng..

[22]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

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

[24]  W. T. Harwood,et al.  The specification of complex systems , 1986 .

[25]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

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

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

[28]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[29]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[30]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

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

[32]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

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