loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th Working Conference on Reverse Engineering (WCRE 2006)
An Analysis of the Correctness and Completeness of Aspect Weaving
Benevento, Italy
October 23-October 27
ISBN: 0-7695-2719-1
ASCII Text
x 
 
Gunter Kniesel, Uwe Bardey, "An Analysis of the Correctness and Completeness of Aspect Weaving," Reverse Engineering, Working Conference on, pp. 324-333, 13th Working Conference on Reverse Engineering (WCRE 2006), 2006.
 
 
BibTex
x
 
@article{ 10.1109/WCRE.2006.10,
author = {Gunter Kniesel and Uwe Bardey},
title = {An Analysis of the Correctness and Completeness of Aspect Weaving},
journal ={Reverse Engineering, Working Conference on},
volume = {0},
year = {2006},
issn = {1095-1350},
pages = {324-333},
doi = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.10},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Reverse Engineering, Working Conference on
TI - An Analysis of the Correctness and Completeness of Aspect Weaving
SN - 1095-1350
SP324
EP333
A1 - Gunter Kniesel,
A1 - Uwe Bardey,
PY - 2006
KW - null
VL - 0
JA - Reverse Engineering, Working Conference on
ER -
 
Gunter Kniesel, Universitat Bonn, Germany
Uwe Bardey, Deutsche Post ITSolutions GmbH, Germany
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolving interferences is particularly hard if aspects are developed independently, without knowledge of each other.

Work on interference detection has focused so far on the correctness of weaved programs. In this paper we focus on the correctness and completeness of aspect weaving. We show that a large class of interferences result from incorrect or incomplete weaving and present a language independent correctness, and completeness.

Our technique can check aspect interferences independent of any base program and is applicable to aspects that contain implicit mutual dependencies in their implementation, without needing special purpose program annotations or formal specifications of aspect semantics.

Citation:
Gunter Kniesel, Uwe Bardey, "An Analysis of the Correctness and Completeness of Aspect Weaving," wcre, pp.324-333, 13th Working Conference on Reverse Engineering (WCRE 2006), 2006
Usage of this product signifies your acceptance of the Terms of Use.