Rely-guarantee approach to reasoning about aspect-oriented programs

Authors:
Raffi Khatchadourian;Neelam Soundarajan
Affiliations:
Ohio State Univ., Columbus, OH;Ohio State Univ., Columbus, OH
Venue:
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
Year:
2007

Citing 8
Cited 5

A study on exception detection and handling using aspect-oriented programming

Proceedings of the 22nd international conference on Software engineering
Communicating sequential processes

Communications of the ACM
Arranging language features for more robust pattern-based crosscuts

Proceedings of the 2nd international conference on Aspect-oriented software development
Verifying aspect advice modularly

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
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
Domain models are NOT aspect free

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Open modules: modular reasoning about advice

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Enforcing behavioral constraints in evolving aspect-oriented programs

Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Incremental analysis of interference among aspects

Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Reasoning about the behavior of aspect-oriented programs

SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A formal approach to analyzing interference problems in aspect-oriented designs

UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces

Proceedings of the tenth international conference on Aspect-oriented software development

Quantified Score

Hi-index	0.01

Visualization

Abstract

Over the last few years, the question of reasoning about aspect-oriented programs has been addressed by a number of authors. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven extremely successful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspectoriented 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.