Cona: aspects for contracts and contracts for aspects

ABSTRACT

Design by Contract (DBC) and runtime enforcement of program assertions enables the construction of more robust software. It also enables the assignment of blame in error reporting. As of yet, no AOP implementation for the provision of DBC exists. We present an aspect-oriented DBC tool for Java named <i>Cona</i>. We also extend the use of DBC and assertions to AOP. Aspects are used in the implementation of contracts, and contracts are used for enforcing assertions on aspects.

REFERENCES

• 1: C. A. Constantinides and T. Skotiniotis. Reasoning about the classification of crosscutting concerns in Object-Oriented systems. InSecond International Workshop on Aspect-Oriented Software Development. German Informatics Society, February 21-22 2002.
• 2: Erik Ernst , David H. Lorenz, Aspects and polymorphism in AspectJ, Proceedings of the 2nd international conference on Aspect-oriented software development, p.150-157, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643619]
• 3: R. Filman. Achieving ilities. In Workshop on Compositional Software Architectures, Monterey, California, 1998.
• 4: Robert Bruce Findler , Matthias Felleisen, Contract Soundness for object-oriented languages, Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, p.1-15, October 14-18, 2001, Tampa Bay, FL, USA
• 5: Mik Kersten , Gail C. Murphy, Atlas: a case study in building a web-based learning environment using aspect-oriented programming, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.340-352, November 01-05, 1999, Denver, Colorado, United States
• 6: M. Kölling and J. Rosenberg. Blue: Language Specification, 1997.
• 7: 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
• 8: C. Lopes, M. Lippert, and E. Hilsdale. Design by contract with aspect-oriented programming, 2002. U.S. Patent No. 06,442,750. Issued August 27,2002.
• 9: D. H. Lorenz and T. Skotiniotis. Contracts and aspects. Technical Report NU-CCIS-03-13, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Dec. 2003.
• 10: Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
• 11: S. M. Omohundro. The S ather 1.0 specification. Technical Report TR-94-062, International Computer Science Institute, Berkeley, 1994.
• 12: T. Skotiniotis. Cona Home Page, 2004. http://www.ccs.neu.edu/home/skotthe/cona/.
• 13: T. Skotiniotis and D. H. Lorenz. Conaj: Generating contracts as aspects. Technical Report NU-CCIS-04-03, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Mar. 2004.
• 14: T. Skotiniotis and D. H. Lorenz. From contracts to aspects and back. Technical Report NU-CCIS-04-05, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Mar. 2004.
• 15: The AspectJ Team. AspectJ Development Tools, 2004. http://www.eclipse.org/aspectj/.

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming

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

General Terms:
Design, Languages

Keywords:
aspect-oriented programming (AOP), design by contract (DBC)