Abstract: In the past ten years, software architecture has made a great step in the research of foundation theory, SA style, architecture description language （ADL）, SA model etc. Currently, many people are doing the research of analysis, evaluation, testing and ve

Key words: Software architecture, Model checking, Desired properties, Formal verification