TY - GEN
T1 - Specifying pointcuts in AspectJ
AU - Wang, Yi
AU - Zhao, Jianjun
PY - 2007
Y1 - 2007
N2 - Program verification is a promising approach to improving program quality. To formally verify aspectoriented 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.
AB - Program verification is a promising approach to improving program quality. To formally verify aspectoriented 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.
UR - http://www.scopus.com/inward/record.url?scp=37349006496&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=37349006496&partnerID=8YFLogxK
U2 - 10.1109/COMPSAC.2007.196
DO - 10.1109/COMPSAC.2007.196
M3 - Conference contribution
AN - SCOPUS:37349006496
SN - 9780769528700
T3 - Proceedings - International Computer Software and Applications Conference
SP - 5
EP - 10
BT - Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007
T2 - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007
Y2 - 24 July 2007 through 27 July 2007
ER -