Generalization/specialization and role in object oriented conceptual modeling

摘要

The “IS A”-relationship and the mechanism of inheritance are powerful concepts that help to reduce complexity of models and redundancy in specifications. However, in the area of conceptual modeling, it seems that current Object Oriented Analysis methods put most emphasis on the structural aspects of the “IS A”-relationship while inheritance and sharing of behaviour are often not or ill-defined.This paper investigates how attribute sharing, behaviour sharing and subset hierarchies can be combined into a sound “IS A”-modelling concept that guarantees universal substitutability. Decision criteria on the use of generalization/specialization are discussed and a formal taxonomy of processes corresponding to the generalization/specialization hierarchy is presented.