Abstract model of software architecture

Architecture description languages, ADLs, is not strong at depicting the dynamic, evolution and scalability aspect of a software system. In order to mode the dynamic behavior and evolution attribution of software system an abstract algebra method is employed. From the algebraic point of view a connector between different components of software system can be explained as an algebraic operator. Based on the new viewpoint three typical normal format, NF, software architecture are proposed. The fact also is proved that a software system satisfied first NF can be converted into a new system satisfied reliable NF. All above work set up basic theory of software architecture and provides new way for further study.