Micro patterns in Java code

ABSTRACT

Micro patterns are similar to design patterns, except that micro patterns are stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in that they are mechanically recognizable, since each such pattern can be expressed as a formal condition on the structure of a class.This paper presents a catalog of 27 micro-patterns defined on Java classes and interfaces. The catalog captures a wide spectrum of common programming practices, including a particular and (intentionally restricted) use of inheritance, immutability, data management and wrapping, restricted creation, and emulation of procedural-, modular-, and even functional- programming paradigms with object oriented constructs. Together, the patterns present a set of prototypes after which a large portion of all Java classes and interfaces are modeled. We provide empirical indication that this portion is as high as 75%.A statistical analysis of occurrences of micro patterns in a large software corpus, spanning some 70,000 Java classes drawn from a rich set of application domains, shows, with high confidence level that the use of these patterns is not random. These results indicate consciousness and discernible design decisions, which are sustained in the software evolution. With high confidence level, we can also show that the use of these patterns is tied to the specification, or the purpose, that the software realizes.The traceability, abundance and the statistical significance of micro pattern occurrence raise the hope of using the classification of software into these patterns for a more founded appreciation of its design and code quality.

REFERENCES

• 1: Ellen Agerbo , Aino Cornils, How to preserve the benefits of design patterns, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.134-143, October 18-22, 1998, Vancouver, British Columbia, Canada
• 2: Jonathan Aldrich , Valentin Kostadinov , Craig Chambers, Alias annotations for program understanding, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 3: Ken Arnold , James Gosling, The Java programming language (2nd ed.), ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998
• 4: Kent Beck, Smalltalk: best practice patterns, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 5: K. Beck. JUnit Pocket Guide. O'Reilly, 2004.
• 6: Alex Blewitt , Alan Bundy , Ian Stark, Automatic Verification of Java Design Patterns, Proceedings of the 16th IEEE international conference on Automated software engineering, p.324, November 26-29, 2001
• 7: Joshua Bloch, Effective Java programming language guide, Sun Microsystems, Inc., Mountain View, CA, 2001
• 8: 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
• 9: K. Brown. Design Reverse-Engineering and Automated Design Pattern Detection in Smalltalk. Masters thesis, North Carolina State University, 1996.
• 10: Mary Campione , Kathy Walrath , Alison Huml, The Java Tutorial: A Short Course on the Basics, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 11: David N. Card , Robert L. Glass, Measuring software design quality, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 12: S. R. Chidamber , C. F. Kemerer, A Metrics Suite for Object Oriented Design, IEEE Transactions on Software Engineering, v.20 n.6, p.476-493, June 1994 [doi>10.1109/32.295895 ]
• 13: T. Cohen and J. Gil. Self-calibration of metrics of Java methods. In Proc. of the 37th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'00 Pacific Conference), pages 94--106, Sydney, Australia, Nov. 20-23 2000. Prentice-Hall.
• 14: Thomas T. Cormen , Charles E. Leiserson , Ronald L. Rivest, Introduction to algorithms, MIT Press, Cambridge, MA, 1990
• 15: Brian Demsky , Martin Rinard, Automatic detection and repair of errors in data structures, Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, October 26-30, 2003, Anaheim, California, USA
• 16: A. H. Eden. Formal specification of object-oriented design. In Proc. of the International Conference on Multidisciplinary Design in Engineering (CSME-MDE'01), Montreal, Canada, Nov. 21-22 2001.
• 17: A. H. Eden. A visual formalism for object-oriented architecture. In Proc. of the 6thIntegrated Design and Process Technology (IDPT'02), California, June 23-28 2002. Society for Design and Process Science.
• 18: Amnon H. Eden , Rick Kazman, Architecture, design, implementation, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 19: Stephen G. Eick , Joseph L. Steffen , Eric E. Sumner, Jr., Seesoft-A Tool for Visualizing Line Oriented Software Statistics, IEEE Transactions on Software Engineering, v.18 n.11, p.957-968, November 1992 [doi>10.1109/32.177365 ]
• 20: G. Florijn, M. Meijers, and P. van Winsen. Tool support for object-oriented patterns. In Proc. of the 11th European Conference on Object-Oriented Programming (ECOOP'97), pages 472--495, Jyväskylä, Finland, June 9-13 1997. Springer.
• 21: Erich Gamma , Richard Helm , Ralph E. Johnson , John M. Vlissides, Design Patterns: Abstraction and Reuse of Object-Oriented Design, Proceedings of the 7th European Conference on Object-Oriented Programming, p.406-431, July 26-30, 1993
• 22: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 23: Adele Goldberg, SMALLTALK-80: the interactive programming environment, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984
• 24: Mark Grand, Patterns in Java: A Catalog of Reusable Design Patterns Illustrated with Uml,Volume 1, John Wiley & Sons, Inc., New York, NY, 2002
• 25: Dirk Heuzeroth , Thomas Holl , Gustav Högström , Welf Löwe, Automatic Design Pattern Detection, Proceedings of the 11th IEEE International Workshop on Program Comprehension, p.94, May 10-11, 2003
• 26: Michele Lanza , Stéphane Ducasse, A categorization of classes based on the visualization of their internal structure: the class blueprint, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, p.300-311, October 14-18, 2001, Tampa Bay, FL, USA
• 27: Anthony Lauder , Stuart Kent, Precise Visual Specification of Design Patterns, Proceedings of the 12th European Conference on Object-Oriented Programming, p.114-134, July 20-24, 1998
• 28: Mark Lorenz , Jeff Kidd, Object-oriented software metrics: a practical guide, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• 29: Jeffrey K. H. Mak , Clifford S. T. Choy , Daniel P. K. Lun, Precise Modeling of Design Patterns in UML, Proceedings of the 26th International Conference on Software Engineering, p.252-261, May 23-28, 2004
• 30: Bertrand Meyer, Object-Oriented Software Construction, Prentice-Hall, Inc., Upper Saddle River, NJ, 1988
• 31: Tommi Mikkonen, Formalizing design patterns, Proceedings of the 20th international conference on Software engineering, p.115-124, April 19-25, 1998, Kyoto, Japan
• 32: N. H. Minsky. Law-governed Linda communication model. Technical Report LCSR-TR-221, Dept. of Comp. Sc.Lab. for Comp. Sc. ResearchThe State Univ. of New Jersey RUTGERS, Mar. 1994.
• 33: Naftaly H. Minsky, Towards Alias-Free Pointers, Proceedings of the 10th European Conference on Object-Oriented Programming, p.189-209, July 08-12, 1996
• 34: James Noble , Robert Biddle, Patterns as Signs, Proceedings of the 16th European Conference on Object-Oriented Programming, p.368-391, June 10-14, 2002
• 35: M. Odersky, P. Altherr, V. Cremet, B. Emir, S. Maneth, S. Micheloud, N. Mihaylov, M. Schinz, E. Stenman, and M. Zenger. An overview of the Scala programming language. Technical Report IC/2004/64, EPFL Lausanne, Switzerland, 2004.
• 36: L. Prechelt and C. Krämer. Functionality versus practicality: Employing existing tools for recovering structural design patterns. J.UCS: Journal of Universal Computer Science, 4(12):866--882, 1998.
• 37: Martin Reiser , Niklaus Wirth, Programming in Oberon: steps beyond Pascal and Modula, ACM Press, New York, NY, 1992
• 38: N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In Proc. of the 17th European Conference on Object-Oriented Programming (ECOOP'03), Darmstadt, Germany, July 21--25 2003. Springer.
• 39: Jason McC. Smith , David Stotts, Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture, Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02), p.183, December 05-06, 2002
• 40: Elliot Soloway , Jeffrey Bonar , Kate Ehrlich, Cognitive strategies and looping constructs: an empirical study, Communications of the ACM, v.26 n.11, p.853-860, Nov. 1983 [doi>10.1145/182.358436]
• 41: John T. Stasko, Tango: A Framework and System for Algorithm Animation, Computer, v.23 n.9, p.27-39, September 1990 [doi>10.1109/2.58216 ]
• 42: M.-A. D. Storey , H. A. Muller, Manipulating and documenting software structures using SHriMP views, Proceedings of the International Conference on Software Maintenance, p.275, October 17-20, 1995
• 43: Bjarne Stroustrup, The C++ Programming Language, Third Edition, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997
• 44: S. T. Taft and R. A. Duff, editors. Ada 95 Reference Manual, Language and Standard Libraries, International Standard ISO/IEC 8652: 1995(E), volume 1246 of LNCS. Springer, 1997.
• 45: P. E. van Emde Boas. Resistance is futile; formal linguistic observations on design patterns. Technical Report ILLC-CT-1997-03, The Institute For Logic, Language, and Computation (ILLC), University of Amsterdam, Feb. 1997.
• 46: N. Wirth. The programming language Pascal. Acta Informatica, 1:35--63, 1971.
• 47: Ian H. Witten , Eibe Frank, Data mining: practical machine learning tools and techniques with Java implementations, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2000

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES

General Terms:
Design

Keywords:
design patterns, implementation patterns, object-oriented programming, program analysis