Reasoning About the Behavior of Aspect-Oriented Progams

N. Soundarajan, R. Khatchadourian (USA), and J. Dovland (Norway)


Aspect-oriented programs, Behavioral reasoning


Aspect-oriented programming (AOP) has become increas ingly popular over the last few years. At the same time, reasoning about the behavior of these programs poses seri ous 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 dis tributed programs. We show that some of the key prob lems encountered in reasoning about aspect-oriented pro grams are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modiļ¬ed, helps address these problems. We illustrate our approach with a simple example.

Important Links:

Go Back