关键词: 软件体系结构，体系结构分析，形式化方法，π演算

Abstract: Abstract As the blueprint for software development, software architecture deals with design and implementation of　high level structure of software systems. Describing and analyzing software architecture based on formal approach can　substantially detect architectural mismatches in the early stage of system development and then improve the architecture quality effectively. Based on formal architectural description language π ADL and taken into consideration of the characteristics and requirements of software architecture, a collection of concepts and process relationships were defined for　many using π calculus theory as a theory foundation, then eight static check methods to determine consistency of π ADL　architecture specifications were developed, which can significantly raise the qualities of architectural specifications and　system composition.

Key words: Software architecture,Architecture analysis,Formal method, π calculus