Object-oriented programming: an objective sense of style

ABSTRACT

We introduce a simple, programming language independent rule (known in-house as the Law of Demeter™) which encodes the ideas of encapsulation and modularity in an easy to follow form for the object-oriented programmer. You tend to get the following related benefits when you follow the Law of Demeter while minimizing simultaneously code duplication, the number of method arguments and the number of methods per class: Easier software maintenance, less coupling between your methods, better information hiding, narrower interfaces, methods which are easier to reuse, and easier correctness proofs using structural induction. We discuss two important interpretations of the Law (strong and weak) and we prove that any object-oriented program can be transformed to satisfy the Law. We express the Law in several languages which support object-oriented programming, including Flavors, Smalltalk-80, CLOS, C++ and Eiffel.

REFERENCES

• 1: D. Bobrow, L. G. D. Michiel, R. P. Gabriel, S. E. Keene, G. Kiczales, and D. A. Moon. Common Lisp Object System Specification. March 1988 1988. Draft submitted to X3J13.
• 2: Brad J Cox, Object oriented programming: an evolutionary approach, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 3: D. W. Embley , S. N. Woodfield, Assessing the quality of abstract data types written in ADA, Proceedings of the 10th international conference on Software engineering, p.144-153, April 11-15, 1988, Singapore
• 4: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 5: J. Heijenoort. From Frege to Godet. Harvaxd University Press, 1967.
• 6: C. A. R. Hoare. Proof of correctness of data representations. Acfa informatica, 1:271-281, 1972.
• 7: T. Kaehler and D. Patterson. A Taste of Smalltalk. Norton, 1986.
• 8: Brian W. Kernighan , P. J. Plauger, The Elements of Programming Style, McGraw-Hill, Inc., New York, NY, 1982
• 9: K. Lieberherr. Object-oriented programming with class dictionaries. Journal on Lisp and Symbolic Computation, 1(2):pages unknown, 1988.
• 10: K. J. Lieberherr and I. Holland. Formulations of the Law of Demeter. Technical Report Demeter- 2, Northeastern University, June 1988. 12 pages.
• 11: K. J. Lieberherr , A. J. Riel, Demeter: a case study of software growth through parameterized classes, Proceedings of the 10th international conference on Software engineering, p.254-264, April 11-15, 1988, Singapore
• 12: Barbara Liskov, Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986
• 13: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 14: D. L. Pumas, P. C. Clements, and D. M. Weiss. Enhancing reusability with information hiding. In P. Freeman, editor, Tutorial: Software Reusability, pages 83-90, IEEE Press, 1986.
• 15: D. L. Pumas, P. C. Clements, and D. M. Weiss. The modular Structure of complex systems. IEEE Transactions on Software Engineering, SE- 11(3):259-266, 1985.
• 16: Craig Schaffert , Topher Cooper , Bruce Bullis , Mike Kilian , Carrie Wilpolt, An introduction to Trellis/Owl, Conference proceedings on Object-oriented programming systems, languages and applications, p.9-16, September 29-October 02, 1986, Portland, Oregon, United States
• 17: Alan Snyder, Inheritance and the development of encapsulated software systems, Research directions in object-oriented programming, MIT Press, Cambridge, MA, 1987
• 18: Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.10 Design**
            Subjects: Methodologies**

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Modules and interfaces; Structured programming**

General Terms:
Design, Performance