Lancaster EPrints

Reasoning on AspectJ Programmes

Blair, Lynne and Monga, Mattia (2003) Reasoning on AspectJ Programmes. In: AOSD-GI, 2003-01-01.

Full text not available from this repository.

Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Journal or Publication Title: AOSD-GI
Subjects:
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 60210
Deposited By: ep_importer_pure
Deposited On: 22 Nov 2012 16:13
Refereed?: Yes
Published?: Published
Last Modified: 08 Sep 2017 02:11
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/60210

Actions (login required)

View Item