Authors: Cun Xiao, Karl Lieberherr
Tags: 1993, conceptual modeling
Axiomatic definition of the basic structure, called a class dictionary graph, is given, used by object-oriented designers and programmers during the software development process. The contributions of this paper are twofold: an axiomatic foundation for object-oriented data modeling and efficient algorithms for checking whether a given data model satisfies the axioms. The presented data model is the foundation of a number of techniques for developing object-oriented systems including adaptive software, schema abstraction from object examples, schema optimization, planning techniques for system development, the Law of Demeter, etc.Read the full paper here: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=224198
