Reasoning about the behavior of aspect-oriented programs

Authors:
Neelam Soundarajan;Raffi Khatchadourian;Johan Dovland
Affiliations:
Ohio State University, Columbus, OH;Ohio State University, Columbus, OH;University of Oslo, Oslo, Norway
Venue:
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Year:
2007

Citing 8
Cited 1

Communicating sequential processes

Communicating sequential processes
Tentative steps toward a development method for interfering programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
A study on exception detection and handling using aspect-oriented programming

Proceedings of the 22nd international conference on Software engineering
Aspect-oriented programming: Introduction

Communications of the ACM
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Aspect-oriented programming and modular reasoning

Proceedings of the 27th international conference on Software engineering
Harmless advice

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Rely-guarantee approach to reasoning about aspect-oriented programs

Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies

Enforcing behavioral constraints in evolving aspect-oriented programs

Proceedings of the 7th workshop on Foundations of aspect-oriented languages

Quantified Score

Hi-index	0.00

Visualization

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.