Abstract: Modeling software architecture is a key part in designing software. Firstly, this paper describes some problems in software industry, and points out it is necessary to apply formal methods in modeling software architecture. Then a method of modeling proce

Key words: UML, Z, Software architecture, Modeling, Formal method