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

Modular Aspect Verification for Safer Aspect-Based Evolution

Proceedings of the 2nd ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'05), Glasgow, Scotland, July, pp. 17-28, Fakultät für Informatik, Universität Magdeburg, 2005 (12p.)

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

bibtex



[Maison.png]Back to Home

 
Last generated on 8 Dec 2019       francois.taiani@irisa.fr     Valid HTML 4.0!