Name
Abstract | ||
|---|---|---|
Generic categories of aspects are described, and their potential value is explained. For some categories, broad classes of syntactically identifiable temporal properties, such as safety, liveness, or existence properties, are guaranteed to hold for a system with any aspect of the category woven into it, if the property was true in the system without the aspect. Thus classes of properties preserved by the aspect are defined. Moreover, relatively simple verification techniques are shown to hold for some classes of temporal properties over systems augmented with some other categories of aspects. Verification of new properties added by the aspects is also considered. Each category is defined in terms of the semantic transformation it makes to the state graphs of underlying systems. A generic procedure to identify syntactically when an aspect belongs to a category is described and related to existing code analysis systems that use static code analysis and dataflow techniques. The definitions of categories, identification procedures, and lemmas about property classes provide the needed foundations that justify and motivate automatic code analysis modules to identify aspect categories. The categories enable simpler proofs of correctness than would otherwise be possible, and exploiting their characteristics can aid in software development. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/11687061_4 | T. Aspect-Oriented Software Development I |
Keywords | Field | DocType |
existing code analysis system,existence property,new property,generic procedure,simple verification technique,automatic code analysis module,temporal property,property class,static code analysis,aspect category,generic category,software development | Static program analysis,Programming language,Aspect-oriented programming,Computer science,Equivalence of categories,Static analysis,Correctness,Proof theory,Algorithm,Theoretical computer science,Mathematical proof,Liveness | Journal |
Volume | ISSN | ISBN |
3880 | 0302-9743 | 3-540-32972-2 |
Citations | PageRank | References |
61 | 2.01 | 15 |
Authors | ||
1 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Shmuel Katz | 1 | 1357 | 292.62 |