Nathan Weston, François Taïani, Awais Rashid

Modular Aspect Verification for Safer Aspect-Based Evolution

RAM-SE'05, 2nd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution, Glasgow, Scotland, 25th of July 2005 (12 p.)
Abstract
A long-term research goal for Aspect-Oriented Programming is the modular verification of aspects such that safe evolution and reuse is facilitated. However, one of the fundamental problems with verifying aspect-oriented programs is the inability to determine the effect of the weaving process on the control flow of the program, and thus on the state of the system and subsequently the properties that hold or are introduced. We propose a novel approach to modular verification of aspect-oriented systems using aspect tagging and Data Flow analysis of Control Flow Graphs.
complete document
[Maison.png]Back to Home
 
Last generated on 20 Mar 2008       francois.taiani@comp.lancs.ac.uk     Valid HTML 4.0!