Specifying pointcuts in AspectJ

Yi Wang, Jianjun Zhao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007
Pages5-10
Number of pages6
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event31st Annual International Computer Software and Applications Conference, COMPSAC 2007 - Beijing, China
Duration: Jul 24 2007Jul 27 2007

Publication series

NameProceedings - International Computer Software and Applications Conference
Volume2
ISSN (Print)0730-3157

Other

Other31st Annual International Computer Software and Applications Conference, COMPSAC 2007
CountryChina
CityBeijing
Period7/24/077/27/07

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Specifying pointcuts in AspectJ'. Together they form a unique fingerprint.

Cite this