Cona: Aspects for contracts and contracts for aspects

Therapon Skotiniotis, David H. Lorenz

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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

Original languageEnglish
Title of host publicationOOPSLA'04 - Conference Companion
Subtitle of host publication19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
Pages196-197
Number of pages2
DOIs
StatePublished - 2004
Externally publishedYes
Event19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'04 - Vancouver, BC, Canada
Duration: 24 Oct 200428 Oct 2004

Publication series

NameProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Conference

Conference19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'04
Country/TerritoryCanada
CityVancouver, BC
Period24/10/0428/10/04

Keywords

  • Aspect-oriented programming (AOP)
  • Design by Contract (DBC)

Cite this