The purpose of this paper is to present four basic methods for compositional separate modular static analysis of programs by abstract interpretation: simplification-based separate analysis; worst-case separate analysis; separate analysis with (user-provided) interfaces; symbolic relational separate analysis; as well as a fifth category which is essentially obtained by composition of the above separate local analyses together with global analysis methods.