Reasoning about the Behavior of Aspect-Oriented Programs

Authors

Neelam Soundarajan, Ohio State University - Main Campus
Raffi T. Khatchadourian, CUNY Hunter CollegeFollow
Johan Dovland, University of OsloFollow

Document Type

Article

Publication Date

11-2007

Abstract

Aspect-oriented programming (AOP) has become increasingly popular over the last few years. At the same time, reasoning about the behavior of these programs poses serious challenges. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven useful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.

Comments

Neelam Soundarajan, Raffi Khatchadourian, and Johan Dovland. Reasoning about the behavior of aspect-oriented programs. In J. Smith, editor, International Conference on Software Engineering and Applications, SEA ’07, pages 198–202, USA, November 2007. IASTED, ACTA Press.