一种基于代数语义的软件体系结构求精方法 (Method of Software Architecture Refinement Based on Algebraic Semantics)