Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
}
TY - CONF
T1 - Reasoning on AspectJ Programmes
AU - Blair, Lynne
AU - Monga, Mattia
PY - 2003
Y1 - 2003
N2 - In this paper we suggest that in order to analyse the proper- ties of an AspectJ aspect one can consider the aspect itself and the part of the system it affects. In fact, we argue that in AspectJ every pointcut declaration defines a “slicing cri- terion” that can be used to compute the associated slice. One can use the sliced programme to build useful models of the system and the aspects and exploit them to prove properties. For example, non-interference at code level can be guaranteed if the slices associated to different aspects are disjoint.
AB - In this paper we suggest that in order to analyse the proper- ties of an AspectJ aspect one can consider the aspect itself and the part of the system it affects. In fact, we argue that in AspectJ every pointcut declaration defines a “slicing cri- terion” that can be used to compute the associated slice. One can use the sliced programme to build useful models of the system and the aspects and exploit them to prove properties. For example, non-interference at code level can be guaranteed if the slices associated to different aspects are disjoint.
M3 - Conference paper
T2 - AOSD-GI
Y2 - 1 January 2003
ER -