Issue No. 03 - June (1993 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.224198
<p>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.</p>
formal foundations; class dictionary graphs; object-oriented data modeling; axiomatic definitions; object-oriented designers; programmers; software development process; axioms; adaptive software; schema abstraction; schema optimization; planning techniques; system development; Law of Demeter; object-oriented databases; software engineering
K. Lieberherr and C. Xiao, "Formal Foundations for Object-Oriented Data Modeling," in IEEE Transactions on Knowledge & Data Engineering, vol. 5, no. , pp. 462-478, 1993.