Semantic Aspect Interactions and Possibly Shared Join Points

When multiple aspects can share a join-point, they may, but do not have to, semantically interfere. We present an in depth analysis of aspect semantics and mutual influence of aspects at a shared join-point, in order to enable programmers to distinguish between potential and actual interference among aspects at shared join-points. An interactive semi-automatic procedure for specification refinement is described, that will help users define the intended aspect behavior more precisely. Such a refined specification enables modular verification and interference detection among aspects even in the presence of shared join-points.