Specifying pointcuts in AspectJ

Yi Wang, Jianjun Zhao

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

7 引用 (Scopus)

抜粋

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.

元の言語英語
ホスト出版物のタイトルProceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007
ページ5-10
ページ数6
DOI
出版物ステータス出版済み - 12 31 2007
外部発表Yes
イベント31st Annual International Computer Software and Applications Conference, COMPSAC 2007 - Beijing, 中国
継続期間: 7 24 20077 27 2007

出版物シリーズ

名前Proceedings - International Computer Software and Applications Conference
2
ISSN(印刷物)0730-3157

その他

その他31st Annual International Computer Software and Applications Conference, COMPSAC 2007
中国
Beijing
期間7/24/077/27/07

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

フィンガープリント Specifying pointcuts in AspectJ' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Wang, Y., & Zhao, J. (2007). Specifying pointcuts in AspectJ. : Proceedings - 31st Annual International Computer Software and Applications Conference, COMPSAC 2007 (pp. 5-10). [4291095] (Proceedings - International Computer Software and Applications Conference; 巻数 2). https://doi.org/10.1109/COMPSAC.2007.196