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

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked 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�� E. Ernst and D. H. Lorenz. Aspects and polymorphism in AspectJ. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pages 150--157, Boston, Massachusetts, Mar. 17-21 2003. AOSD 2003, ACM Press.

3�� R. Filman. Achieving ilities. In Workshop on Compositional Software Architectures, Monterey, California, 1998.

4�� R. B. Findler and M. Felleisen. Contract soundness for object-oriented languages. In OOPSLA'01, pages 1--15, Tampa Bay, Florida, Oct. 14-18 2001.

5�� M. Kersten and G. C. Murphy. Atlas: A case study in building a web-based learning environment using aspect-oriented programming. In OOPSLA'99, pages 340--352, Vancouver, BC, Canada, Oct. 18-22 1999.

6�� M. K�lling and J. Rosenberg. Blue: Language Specification, 1997.

7�� R. Kramer. iContract-The Java design by contract tool. In TOOLS 26 USA Conference, pages 295--307, Santa Barbara, CA, Aug. 3-7 1998. IEEE Computer Society.

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�� B. Meyer. Eiffel: The language. Object-Oriented Series. Prentice-Hall, 1991.

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/.

Collaborative Colleagues:

David H. Lorenz:	Paul Dourish Erik Ernst Joseph Gil Joseph (Yossi) Gil Sergei Kojarski Karl Lieberherr Karl J. Lieberherr Cristina Videira Lopes Mira Mezini Predrag Petkovic	John Vlissides Pengcheng Wu
Therapon Skotiniotis:	Ji-en Morris Chang