Home > Research > Publications & Outputs > Interaction analysis for fault-tolerance in asp...

Electronic data


View graph of relations

Interaction analysis for fault-tolerance in aspect-oriented programming

Research output: Contribution in Book/Report/ProceedingsPaper

Publication date11/09/2007
Host publicationProceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMoT), July 3, 2007, Oxford, UK, held in conjunction with iFM 2007: integrated Formal Methods
Number of pages8
<mark>Original language</mark>English


The key contribution of Aspect-Oriented Programming (AOP) is the encapsulation of crosscutting concerns in aspects, which facilities modular reasoning. However, common methods of introducing aspects into the system, incorporating features such as implicit control-flow, mean that the ability to discover interactions between aspects can be compromised. This has profound implications for developers working on fault-tolerant systems. We present an analysis for aspects which can re- veal these interactions, thus providing insight into positioning of error detection mechanisms and outlining candidate containment units. We also present Aida, an implementation of this analysis for the AspectJ language.