Aspect-Oriented Programming with Model Checking

Naoyasu Ubayashi, Tetsuo Tamai

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

36 引用 (Scopus)

抜粋

Aspect-oriented programming (AOP) is a programming paradigm such that crosscutting concerns including synchronization policies, resource sharing and performance optimizations over objects are modularized as aspects that are separated from objects. A compiler, called a weaver, weaves aspects and objects together into a program. In AOP, however, it is not easy to verify the correctness of a woven program because crucial behaviors are strongly influenced by aspect descriptions. In order to deal with such problem, this paper proposes an automatic verification approach using model checking that verifies whether the woven program contains unexpected behaviors such as deadlocks. The objectives of this paper are as follows: 1) to verify the correctness of AOP-based programs using model checking, 2) to provide AOP-based model checking frameworks.

元の言語英語
ホスト出版物のタイトル1st International Conference on Aspect-Oriented Software Development
編集者G. Kinzales
出版者Association for Computing Machinery (ACM)
ページ148-154
ページ数7
ISBN(印刷物)158113469X, 9781581134698
DOI
出版物ステータス出版済み - 1 1 2002
イベント1st International Conference on Aspect-Oriented Software Development (AOSD 2002) - Enschede, オランダ
継続期間: 4 22 20024 26 2002

出版物シリーズ

名前1st International Conference on Aspect-Oriented Software Development

その他

その他1st International Conference on Aspect-Oriented Software Development (AOSD 2002)
オランダ
Enschede
期間4/22/024/26/02

All Science Journal Classification (ASJC) codes

  • Engineering(all)

フィンガープリント Aspect-Oriented Programming with Model Checking' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Ubayashi, N., & Tamai, T. (2002). Aspect-Oriented Programming with Model Checking. : G. Kinzales (版), 1st International Conference on Aspect-Oriented Software Development (pp. 148-154). (1st International Conference on Aspect-Oriented Software Development). Association for Computing Machinery (ACM). https://doi.org/10.1145/508386.508405