Johan proposes as thesis: use modularity to control scattering and tangling. My thoughts about: Mechanisms to control scattering and tangling enumeration explicit enumeration of join points pattern-based = predicate-based: exploiting regularity in the sets of join points pointcuts and type patterns in AspectJ traversal specifications and edge patterns in Demeter (e.g. DJ) pattern-based specification of scattered sets of join points in a graph (e.g. class graph or dynamic call graph) uses the structure of the graph to express the sets. But because it is pattern-based, it leaves out details from the graph and is therefore structure-shy. Example: pointcuts in AspectJ and traversal specifications in Demeter. pattern-based expression of scattering/crosscutting and structure-shyness are inherently linked Johan says modularity is such a mechanism? Aspectual methods are used to deal with scattering. They are encapsulated with data to form a module. Each aspectual method has a multiplicity that says wether it may mapped 1 or several times. Aspectual methods with multiplicity 1 may be called directly. Johan: please can you expand more how we use modularity to control scattering and tangling. -- Karl