Expressing opposition in the object model, first step towards negation

ABSTRACT

Although seemingly simple and intuitive, the object model still contains ambiguous notions. For example, inheritance has been proved to convey two different meanings depending on whether it is behavior or implementation that is inherited. Another conceptually simple notion, multiple inheritance, has not yet been clearly formalized.In this paper, we start by looking at relationships between sibling classes (two immediate subclasses of a common parent). Siblings can be combined through multiple inheritance, or on the contrary, they can be mutually exclusive. 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 classes 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.

REFERENCES

• 1: N. Anquetil. Contribution à l'amélioration des modélisations à objets. PhD. thesis, Université de Montréal, 1996.
• 2: Elisa Bertino , Giovanna Guerrini, Objects with Multiple Most Specific Classes, Proceedings of the 9th European Conference on Object-Oriented Programming, p.102-126, August 07-11, 1995
• 3: Gilad Bracha , William Cook, Mixin-based inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.303-311, September 1990, Ottawa, Canada
• 4: Bernard Carré , Jean-Marc Geib, The point of view notion for multiple inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.312-321, September 1990, Ottawa, Canada
• 5: Eduardo Casais, An Incremental Class Reorganization Approach, Proceedings of the European Conference on Object-Oriented Programming, p.114-132, June 29-July 03, 1992
• 6: Craig Chambers, Predicate Classes, Proceedings of the 7th European Conference on Object-Oriented Programming, p.268-296, July 26-30, 1993
• 7: D. A. Cruse. Lexical Semantics. Cambridge Textbooks in Linguistics. Cambridge University Press, The Pitt Building, Trumpington Street, Cambridge CB2 1RP, 1986.
• 8: Gregor Kiczales , Jim Des Rivieres, The Art of the Metaobject Protocol, MIT Press, Cambridge, MA, 1991
• 9: Nils Klarlund , Jari Koistinen , Michael I. Schwartzbach, Formal design constraints, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.370-383, October 06-10, 1996, San Jose, California, United States
• 10: Karl J. Lieberherr , Paul Bergstein , Ignaciao Silva-Lepe, From objects to classes: algorithms for optimal objection-oriented design, Software Engineering Journal, v.6 n.4, p.205-228, July 1991
• 11: R. F. MacGregor. A Deductive Pattern-Matcher. In Proc. of AAAI'88, volume 2, pages 403--408, 2929 Campus Drive, Suite 260, San Mateo, CA 94403, 1988. Morgan Kaufmann Publishers, Inc.
• 12: Naftaly H. Minsky, Law-governed regularities in object systems: part I: an abstract model, Theory and Practice of Object Systems, v.2 n.4, p.283-301, 1996 [doi>10.1002/(SICI)1096-9942(1996)2:4<283::AID-TAPO4>3.0.CO;2-V]
• 13: Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, CA 95051-0951, USA. UML Notation Guide version 1.0, jan 1997. Available via worldwide web at http://www.rational.com.
• 14: Jonathan G. Rossie, Jr. , Daniel P. Friedman , Mitchell Wand, Modeling Subobject-based Inheritance, Proceedings of the 10th European Conference on Object-Oriented Programming, p.248-274, July 08-12, 1996
• 15: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 16: Alan Snyder, Inheritance and the development of encapsulated software systems, Research directions in object-oriented programming, MIT Press, Cambridge, MA, 1987
• 17: Michael VanHilst , David Notkin, Using role components in implement collaboration-based designs, Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.359-369, October 06-10, 1996, San Jose, California, United States

INDEX TERMS

Keywords:
multiple inheritance, negation, object model, reflection, theoretical foundations