Detecting interferences in aspect oriented programs

Authors:
Jimmy Lauret;Jean-Charles Fabre;Helene Waeselynck
Affiliations:
LAAS--CNRS, avenue du Colonel Roche, Toulouse Cedex, France and Université/ de Toulouse/ UPS, INSA, INR ISAE/ UTM, Toulouse, Cedex, France;LAAS--CNRS, avenue du Colonel Roche, Toulouse Cedex, France and Université/ de Toulouse/ UPS, INSA, INR ISAE/ UTM, Toulouse, Cedex, France;LAAS--CNRS, avenue du Colonel Roche, Toulouse Cedex, France and Université/ de Toulouse/ UPS, INSA, INR ISAE/ UTM, Toulouse, Cedex, France
Venue:
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Year:
2011

Citing 5
Cited 0

Groovy in Action

Groovy in Action
The art of the meta-aspect protocol

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Pipa: a behavioral interface specification language for aspectJ

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Aspect-aware operating system development

Proceedings of the tenth international conference on Aspect-oriented software development
CompAr: ensuring safe around advice composition

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Aspect-oriented software development (AOSD) is a technique that helps software evolution by separating different concerns in different aspects and advices. Unfortunately, it still suffers from well-known composition issues, in particular from runtime interferences when multiple concerns are applied at the same join point. This paper identifies the set of observation points required to perform the verification of non-interference properties as executable assertions in an AO program. We then compare two languages according to these observation points, and discuss their advantages and drawbacks.