Specifying Pointcuts in AspectJ
Proceedings - International Computer Software & Applications Conference2007pp. 5–10
Citations Over Time
Abstract
Program verification is a promising approach to improving program quality. To formally verify aspect- oriented programs, we have to find a way to formally specify programs written in aspect-oriented languages. Pipa is a BISL tailored to AspectJ for specifying AspectJ programs. However, Pipa has not provided specification method for pointcuts in AspectJ programs. Based on the exist work of Pipa, and related issues, this paper proposes an approach to specifying pointcuts using purity conception in JML. This paper also provides several examples to illustrate our pointcut specification approach.
Related Papers
- → Contracts for aspect-oriented design(2008)10 cited
- → Distributing classes with woven concerns(2005)54 cited
- → Specifying Pointcuts in AspectJ(2007)8 cited
- → On bytecode slicing and aspectJ interferences(2007)12 cited
- Implementation of aspect programming using AspectJ(2013)