LANGUAGES, DESIGN

Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the pointcuts may no longer capture the intended set of join points. Also, pointcuts may select join points so that aspects can observe program behavior pro-tected by encapsulation and this makes local reasoning difficult. This work presents an approach for defining pointcuts based on program views, which are the abstractions of the classes and meth-ods of the base program. Pointcuts are defined based on these views and syntactic changes in the base program will not affect the point-cuts if the base program is consistent with the views. A view also includes constraints to limit the set of join points that pointcuts can select and to help maintain modularity