We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK


93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Interaction analysis for fault-tolerance in asp...
View graph of relations

« Back

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
Original languageEnglish


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.