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

Research

Electronic data

Links

View graph of relations

Interaction analysis for fault-tolerance in aspect-oriented programming

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Interaction analysis for fault-tolerance in aspect-oriented programming. / Weston, N.; Taiani, F.; Rashid, A.
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. 2007. p. 95-102.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Weston, N, Taiani, F & 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. pp. 95-102. <http://ftaiani.ouvaton.org/ressources/MeMoT-2007.pdf>

APA

Weston, N., Taiani, F., & 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 (pp. 95-102) http://ftaiani.ouvaton.org/ressources/MeMoT-2007.pdf

Vancouver

Weston N, Taiani F, Rashid A. 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. 2007. p. 95-102

Author

Weston, N. ; Taiani, F. ; Rashid, A. / Interaction analysis for fault-tolerance in aspect-oriented programming. 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. 2007. pp. 95-102

Bibtex

@inproceedings{324b4dc1f17744a3bec0bf521d517bf5,
title = "Interaction analysis for fault-tolerance in aspect-oriented programming",
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.",
author = "N. Weston and F. Taiani and A. Rashid",
year = "2007",
month = sep,
day = "11",
language = "English",
pages = "95--102",
booktitle = "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",

}

RIS

TY - GEN

T1 - Interaction analysis for fault-tolerance in aspect-oriented programming

AU - Weston, N.

AU - Taiani, F.

AU - Rashid, A.

PY - 2007/9/11

Y1 - 2007/9/11

N2 - 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.

AB - 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.

M3 - Conference contribution/Paper

SP - 95

EP - 102

BT - 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

ER -