Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1145/508386.508405 | AOSD |
Keywords | Field | DocType |
automatic verification approach,crucial behavior,aspect-oriented programming,crosscutting concern,model checking,validation,aop-based program,checking frameworks,aop-based model checking framework,performance optimizations,programming paradigm,aspect description,resource sharing,aspect oriented programming | Abstraction model checking,Programming language,Model checking,Programming paradigm,Aspect-oriented programming,Computer science,Correctness,Deadlock,Real-time computing,Compiler,Shared resource | Conference |
ISBN | Citations | PageRank |
1-58113-469-X | 31 | 1.54 |
References | Authors | |
9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Naoyasu Ubayashi | 1 | 552 | 43.39 |
Tetsuo Tamai | 2 | 334 | 33.27 |