Understanding object-model concepts

Abstract

ion produces models that hide detail, extract the essence of objects being modeled, and chunk concepts. Multiple levels of abstraction facilitate the presentation and management of varying amounts of T(x) => P(x) holds, where T is a type for an object n, which, if it holds, implies that certain properties P are true for X. The properties P are usually only signatures, not full semantics. Addendum to the Proceedings OOPSLA’93 137 Generalization/Specialization Given the predicates above for class and type, we can define generalization/specialization for classes and types as follows: