|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2007 31st Annual International Computer Software and Applications Conference
Specifying Pointcuts in AspectJ
Beijing, China
July 24-July 27
ISBN: 0-7695-2870-8
| ASCII Text | x | ||
| Yi Wang, Jianjun Zhao, "Specifying Pointcuts in AspectJ," 2012 IEEE 36th Annual Computer Software and Applications Conference, 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 ={2012 IEEE 36th Annual Computer Software and Applications Conference}, 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 - 2012 IEEE 36th Annual Computer Software and Applications Conference TI - Specifying Pointcuts in AspectJ SN - 0730-3157 SP5 EP10 A1 - Yi Wang, A1 - Jianjun Zhao, PY - 2007 KW - null VL - 2 JA - 2012 IEEE 36th Annual Computer Software and Applications Conference ER - | |||
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.