EXPRESSING OPPOSITION IN THE OBJECT MODEL, FIRST STEP TOWARDS NEGATION

Although seemingly simple and intuitive, the object model still contai ns ambiguous notions. For example, inheritance has been proved to conv ey two different meanings depending on whether it is behavior or imple mentation that is inherited. Another conceptually simple notion, multi ple inheritance, has not yet been clearly formalized. In this paper, w e start by looking at relationships between sibling classes (two immed iate subclasses of a common parent). Siblings can be combined through multiple inheritance, or on the contrary, they can be mutually exclusi ve. We call the relation between incompatible siblings opposition, and show how it could help in formalizing object models. We then consider widening the explicit use of negation in object models. We argue that negative assertions could be used to validate the creation of new cla sses to ensure they are compatible with the intended uses of existing classes. Negation leads us to consider the implicit assumption behind object models, we propose to shift from the closed world assumption to the open world assumption.