loading...
Specifying Pointcuts in AspectJ
Beijing, China July 24-July 27
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.1962007 31st Annual International Comput ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Yi Wang, Jianjun Zhao, "Specifying Pointcuts in AspectJ," Computer Software and Applications Conference, Annual International, vol. 2, pp. 5-10, 2007 31st Annual International Computer Software and Applications Conference, 2007.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2007.196,
author = {Yi Wang and Jianjun Zhao},
title = {Specifying Pointcuts in AspectJ},
journal ={Computer Software and Applications Conference, Annual International},
volume = {2},
year = {2007},
issn = {0730-3157},
pages = {5-10},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.196},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Specifying Pointcuts in AspectJ
SN - 0730-3157
SP5
EP10
A1 - Yi Wang,
A1 - Jianjun Zhao,
PY - 2007
KW - null
VL - 2
JA - Computer Software and Applications Conference, Annual International
ER -
 
Yi Wang, Shanghai Jiao Tong University
Jianjun Zhao, Shanghai Jiao Tong University
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.
Citation:
Yi Wang, Jianjun Zhao, "Specifying Pointcuts in AspectJ," compsac, vol. 2, pp.5-10, 2007 31st Annual International Computer Software and Applications Conference, 2007
Usage of this product signifies your acceptance of the Terms of Use.