A study on exception detection and handling using aspect-oriented programming

ABSTRACT

Aspect-Oriented Programming (AOP) is intended to ease situations that involve many kinds of code tangling. This paper reports on a study to investigate AOP's ability to ease tangling related to exception detection and handling. We took an existing framework written in Java™, the JWAM framework, and partially reengineered its exception detection and handling aspects using AspectJ™, an aspect-oriented programming extension to Java.We found that AspectJ supported implementations that drastically reduced the portion of the code related to exception detection and handling. In one scenario, we were able to reduce that code by a factor of 4. We also found that, with respect to the original implementation in plain Java, AspectJ provided better support for different configurations of exceptional behaviors, more tolerance for changes in the specifications of exceptional behaviors, better support for incremental development, better reuse, automatic enforcement of contracts in applications that use the framework, and cleaner program texts. We also found some weaknesses of AspectJ that should be addressed in the future.

REFERENCES

• 1: ANSI: American National Standard Programming Language PL/I, ANSI X3.53-1976. American Natioal Standards Institute, New York, 1976.
• 2: AspectJ Web Site, <http://www.aspectj.org/>.
• 3: Dirk Bäumer , Guido Gryczan , Rolf Knoll , Carola Lilienthal , Dirk Riehle , Heinz Züllighoven, Framework development for large systems, Communications of the ACM, v.40 n.10, p.52-59, Oct. 1997 [doi>10.1145/262793.262804]
• 4: A. P. Black: Exception Handling: The Case Against, Technical Report 82-01-02, Department of Computer Science, University of Washington, 1982. Reprinted in May 1983.
• 5: Alexander Borgida, Language features for flexible handling of exceptions in information systems, ACM Transactions on Database Systems (TODS), v.10 n.4, p.565-603, Dec. 1985 [doi>10.1145/4879.4995]
• 6: Alexander Borgida, Exceptions in object-oriented languages, ACM SIGPLAN Notices, v.21 n.10, p.107-119, Oct. 1986
• 7: J. Bruno, U. H~lzle, M. Karaorman: jContractor: A Reflective Java Library to Support Design By Contract, Technical Report TRCS98-31, Department of Computer Science, University of California, Santa Barbara, December 1998.
• 8: F. Cristian: Exception Handling and Software Fault Tolerance, in IEEE Transactions on Computers, Vol. c-31, No. 6, pp. 531540, June 1982.
• 9: Christophe Dony, Exception handling and object-oriented programming: towards a synthesis, ACM SIGPLAN Notices, v.25 n.10, p.322-330, Oct. 1990
• 10: M. F. Dunn, J. C. Knight: Software Resuse In An Industrial Setting: A Case Study, IEEE, 1991.
• 11: 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
• 12: John B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, v.18 n.12, p.683-696, Dec. 1975 [doi>10.1145/361227.361230]
• 13: C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
• 14: JWAM framework Web Site, <http://www.jwam.de/>.
• 15: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, J. Irwin: Aspect-Oriented Programming, in Proceedings of the 11 th European Conference on Object-Oriented Programming (ECOOP '97), Finland, Springer-Verlag, 1997, pp. 220-242.
• 16: R. Kramer, iContract - The Java(tm) Design by Contract(tm) Tool, Proceedings of the Technology of Object-Oriented Languages and Systems, p.295, August 03-07, 1998
• 17: Jun Lang , David B. Stewart, A study of the applicability of existing exception-handling techniques to component-based real-time software technology, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.2, p.274-301, March 1998 [doi>10.1145/276393.276395]
• 18: R. E. Johnson, B. Foote: Designing Reusable Classes, in The Journal of Object-Oriented Programming, Vol. 1, No. 2, 1988, pp. 22-35.
• 19: Cristina Videira Lopes , Gregor Kiczales, Recent Developments in Aspect, Workshop ion on Object-Oriented Technology, p.398-401, July 20-24, 1998
• 20: P. M. Melliar-Smith , B. Randell, Software reliability: The role of programmed exception handling, Proceedings of an ACM conference on Language design for reliable software, p.95-100, March 28-30, 1977, Raleigh, North Carolina
• 21: Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 22: Andreas Oberweis , Wolffried Stucky, Exception handling in software systems: a literature survey, Wirtschafts Informatik, v.33 n.6, p.492-502, Dec. 1991
• 23: Wolfgang Pree, Design patterns for object-oriented software development, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1995
• 24: Dirk Riehle , Heinz Züllighoven, A pattern language for tool construction and integration based on the tools and materials metaphor, Pattern languages of program design, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1995
• 25: Robert W. Sebesta, Concepts of programming languages (3rd ed.), Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1996
• 26: Robert J. Walker , Elisa L. A. Baniassad , Gail C. Murphy, An initial assessment of aspect-oriented programming, Proceedings of the 21st international conference on Software engineering, p.120-130, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302458]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.7 Distribution, Maintenance, and Enhancement
          Subjects: Restructuring, reverse engineering, and reengineering

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Management, Measurement, Performance, Theory

Keywords:
aspect-oriented programming, contracts, exceptions