Lancaster EPrints

Interaction analysis for fault-tolerance in aspect-oriented programming

Weston, N. and Taiani, F. and Rashid, A. (2007) Interaction analysis for fault-tolerance in aspect-oriented programming. In: Proceedings 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. UNSPECIFIED, pp. 95-102.

[img]
Preview
PDF (MeMoTWTR07.pdf)
Download (142Kb) | Preview

    Abstract

    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.

    Item Type: Contribution in Book/Report/Proceedings
    Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
    Departments: Faculty of Science and Technology > School of Computing & Communications
    ID Code: 12960
    Deposited By: ep_importer_comp
    Deposited On: 21 Jun 2008 23:06
    Refereed?: No
    Published?: Published
    Last Modified: 27 Feb 2014 13:20
    Identification Number:
    URI: http://eprints.lancs.ac.uk/id/eprint/12960

    Actions (login required)

    View Item