Extending Design by Contract for Aspect-Oriented Programming

Details Extending Design by Contract for Aspect-Oriented Programming Extending Design by Contract for Aspect-Oriented Programming

2005-01-24

arxiv.org/abs/cs/0501070v1

Computer Science

Software Engineering

Scientific paper

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. Unfortunately, there is no support for runtime contract enforcement and blame assignment for Aspect-Oriented Programming (AOP). Extending DbC to also cover aspects brings forward a plethora of issues related to the correct order of assertion validation. We show that there is no generally correct execution sequence of object assertions and aspect assertions. A further classification of aspects as agnostic, obedient, or rebellious defines the order of assertion validation that needs to be followed. We describe the application of this classification in a prototyped DbC tool for AOP named Cona, where aspects are used for implementing contracts, and contracts are used for enforcing assertions on aspects.

Affiliated with

Also associated with

No associations

Rating

Extending Design by Contract for Aspect-Oriented Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Extending Design by Contract for Aspect-Oriented Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extending Design by Contract for Aspect-Oriented Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-513147