Cona: aspects for contracts and contracts for aspects
Full text pdf formatPdf (93 KB)
Source Conference on Object Oriented Programming Systems Languages and Applications archive
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications table of contents
Vancouver, BC, CANADA
POSTER SESSION: Poster session table of contents
Pages: 196 - 197  
Year of Publication: 2004
ISBN:1-58113-833-4
Authors
Therapon Skotiniotis  Northeastern University, Boston, MA
David H. Lorenz  Northeastern University, Boston, MA
Additional Information:

abstract   references   index terms   collaborative colleagues  

Tools and Actions: Discussions    Find similar Articles   Review this Article  
Save this Article to a Binder    Display in BibTex Format   
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1028664.1028747
What is a DOI?

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