The Research And Application Of Software Architecture Based On UML And Formal Method

As the scale and complexity of software systems increases, software architecture plays a more important role in the design and development of software system .In the recent years, there are many architecture description methods. The paper researched the theory of software architecture, UML as well as formal method, and proposed the way that combined UML and formal method to describe the software. It uses six views based on UML to describe the software architecture, and uses Z to describe UML's stipulations of agreement and then give the logistics management system and library information system as an example.