Formal foundations for object-oriented data modeling

Author

Lieberherr, Karl ; Xiao, Cun

Author_Institution

Coll. of Comput. Sci., Northeastern Univ., Boston, MA, USA

Volume

5

Issue

3

fYear

1993

fDate

6/1/1993 12:00:00 AM

Firstpage

462

Lastpage

478

Abstract

Class dictionary graphs, axiomatic definitions of basic structures used by object-oriented designers and programmers during the software development process, are discussed. An axiomatic foundation for object-oriented data modeling and efficient algorithms for checking whether a given data model satisfies the axioms are presented. The data model is the foundation for a number of techniques for developing object-oriented systems, including adaptive software, schema abstraction from object examples, schema optimization, planning techniques for system development, and the Law of Demeter, among others

Keywords

object-oriented databases; software engineering; Law of Demeter; adaptive software; axiomatic definitions; axioms; class dictionary graphs; formal foundations; object-oriented data modeling; object-oriented designers; planning techniques; programmers; schema abstraction; schema optimization; software development process; system development; Adaptive systems; Algorithm design and analysis; Computer languages; Concrete; Data models; Dictionaries; Object oriented modeling; Object oriented programming; Programming profession; Software systems;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.224198

Filename

224198