The authors promote the concept of software architecture engineering, establish the life cycle of software architecture, classify the different kinds of software architectures and architecture modeling, introduce several typical software architecture modeling languages, give a formal architectural style modeling language XYZ/SAE(as a sub-language of a series of temporl logic languages——XYZ/E) in this paper. It supports the description of component, connector and configuration, and also static and dynamic aspects of software architecture.