Title :
Formal foundations for object-oriented data modeling
Author :
Lieberherr, Karl ; Xiao, Cun
Author_Institution :
Coll. of Comput. Sci., Northeastern Univ., Boston, MA, USA
fDate :
6/1/1993 12:00:00 AM
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;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
