< Back to previous page
Publication
Management of Aspect Interactions using Statically-Verified Control-Flow Relations
Book Contribution - Book Chapter Conference Contribution
Although various aspect-oriented approaches provide support for the management of aspect interactions, most techniques are o
nly applicable when the aspects share a common join point. However, we observe that aspect interactions also occur on coarser levels, and support for handling these interactions is desirable. In this paper, we demonstrate the feasibility of a technique for managing control-flow interactions, one important kind of such interactions that we experience in e.g. layered architectures.
The technique proposes to document aspects with policies that specify the expected control-flow relations between different aspects, or between aspects and the base application. The policies are expressed as logic formulae that employ a set of predicates that represent relevant control-flow situations. In order to verify the policies, we employ and extend existing static analyses to produce interprocedural control-flow graphs of an application with woven aspects, and we traverse these graphs in a controlled manner to characterize the realizable paths.
nly applicable when the aspects share a common join point. However, we observe that aspect interactions also occur on coarser levels, and support for handling these interactions is desirable. In this paper, we demonstrate the feasibility of a technique for managing control-flow interactions, one important kind of such interactions that we experience in e.g. layered architectures.
The technique proposes to document aspects with policies that specify the expected control-flow relations between different aspects, or between aspects and the base application. The policies are expressed as logic formulae that employ a set of predicates that represent relevant control-flow situations. In order to verify the policies, we employ and extend existing static analyses to produce interprocedural control-flow graphs of an application with woven aspects, and we traverse these graphs in a controlled manner to characterize the realizable paths.
Book: Proceedings of 3rd Intl. Workshop on Aspects, Dependencies and Interactions (ADI'08)
Publication year:2008
Keywords:Aspect-oriented Programming, aspect interactions, control-flow relations