From Micro to Macro Quantum Systems:A Unified Formalism with Superselection Rules and Its Applications