Incremental inheritance mechanism and its message evaluation method

The semantics of inheritance is based on subtyping. Several authors have shown that the subtype relation is insufficient to explain the inheritance mechanism in object oriented approach. Inheritance is an incremental mechanism for software development, based on modification. This approach was introduced by W.R. Cook. The aim of this paper is to present, an incremental formal model of single and multiple inheritance, based on the wrapping concept. The model is based upon an intuitive explanation of the proper use and purpose of inheritance, and is essentially dedicated to dynamic (i.e. run-time) inheritance of properties, for OODBMS. The denotational semantics method proposed using the incremental model of inheritance, allows dynamic message evaluation