Paper Info
Title
Incremental analysis of interference among aspects
Abstract
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individually woven is correct relative to its specification. In this type of interference, one aspect can prevent another from having the required effect on a woven system. Such interference is defined and specifications of aspects are described. An incremental proof strategy based on model checking pairs of aspects for a generic model expressing the specifications is defined. When an aspect is added to a library of noninterfering aspects, only its interaction with each of the aspects from the library needs to be checked. Such checks for each pair of aspects are proven sufficient to detect interference or establish interference freedom for any order of application of any collection of aspects in a library. Implemented examples of interfering aspects are analyzed and the results are described, showing the advantage of the incremental strategy over a direct proof in space needed for the model check. Early analysis and detection of such interference in libraries of aspects will enable informed choice of the aspects to be applied, and of the weaving order.
Year
DOI
Venue
2008
10.1145/1394496.1394500
FOAL
Keywords
Field
DocType
different aspect,incremental strategy,generic model,incremental analysis,model check,direct proof,incremental proof strategy,interference freedom,implemented example,noninterfering aspect,model checking pair,model checking,interference,specification
Weaving,Incremental strategy,Model checking,Programming language,Computer science,Theoretical computer science,Interference (wave propagation),Direct proof
Conference
Citations 
PageRank 
References 
26
1.40
11
Authors
2
Name
Order
Citations
PageRank
Emilia Katz1261.40
Shmuel Katz21357292.62