Book Chapter10.1007/978-1-4471-3452-7_18
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z
Daniel K. C. Chan,Philip W. Trinder +1 more
- 01 Jan 1994
- pp 297-315
10
TL;DR: This paper presents an object-oriented data model which supports all the essential features found in existing object- oriented data models and simultaneously supports multiple inheritance, method overloading together with static type checking.
read more
Abstract: This paper presents an object-oriented data model which supports all the essential features found in existing object-oriented data models. More importantly, it simultaneously supports multiple inheritance, method overloading together with static type checking. The model differs from other models in that less restrictions are imposed on defining overloaded methods; also better matching is provided at run-time between actual arguments and overloaded methods. Specifying the model in Z helps to overcome the ambiguity problems found in less formal approaches. Besides, one can reason about the properties of the model. The specification demonstrates the use of Z as a formal technique in an area where such a definition is greatly needed.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Select Z Bibliography
Jonathan P. Bowen
- 03 Apr 1997
TL;DR: This bibliography contains a list of references concerned with the formal Z notation that are either available as published papers, books, selected technical reports, or on-line.
18
•Journal Article
Select Z bibliography
TL;DR: This bibliography contains a list of references concerned with the formal Z notation that are either available as published papers, books, selected technical reports, or on-line.
17
Specifying active database systems in an object-oriented framework
TL;DR: This paper presents a framework for the formal specification of active database systems, and shows how the framework can be used to describe the functionality of three well known example systems, namely Starburst, POSTGRES and Ariel.
13
References
A semantics of multiple inheritance.
Luca Cardelli
- 01 Jul 1984
TL;DR: The notion of inheritance and object-oriented programming first appeared in Simula 67 (Dahl, 1966), where objects are grouped into classes and classes can be organized into a subclass hierarchy as discussed by the authors.
The Object-Oriented Database System Manifesto.
Malcolm Atkinson,François Bancilhon,David J. DeWitt,Klaus R. Dittrich,David Maier,Stanley B. Zdonik +5 more
- 01 Jan 1989
TL;DR: This paper attempts to define an object-oriented database system and takes a position, not so much expecting it to be the final word as to erect a provisional landmark to orient further debate.
610
•Book
Readings in object-oriented database systems
Stanley B. Zdonik,David Maier +1 more
- 01 Dec 1989
TL;DR: The interface, implementation, and use of a server process that is used as a backend by an object-oriented database system responsible for managing objects on secondary storage, managing transactions, and implementing a simple form of trigger are summarized.
482
Type theories and object-oriented programmimg
Scott Danforth,Chris Tomlinson +1 more
TL;DR: Of primary interest are the models provided by type theories for abstract data types and inheritance, and the major portion of this paper is devoted to these topics.
172