随着用户对软件产品性能需求的不断增加,软件规模越来越大,复杂性也越来越高。为保证软件质量、提高软件的可靠性,以软件体系结构为设计规范的开发方法越来越受到软件开发人员的关注。软件体系结构成为决定软件质量的主要因素,并发展成为软件工程领域的一个研究热点。然而,在软件开发过程中,从用户需求出发得到的体系结构初始模型的抽象粒度比较大,通常只反映了软件系统的某些主要的功能,很多的非功能属性以及实现细节都需要在逐步的细化过程中被添加到体系结构上,因此体系结构求精显得尤为重要。体系结构求精是一项非常复杂而且困难的工作,不仅仅是简单地给出抽象体系结构的具体体系结构,而是要提供相关的规则和方法,保障体系结构正确求精。具体而言,体系结构求精关注两个方面:(1)体系结构求精方法,即采取何种手段、从哪个角度出发对体系结构求精,使得抽象的体系结构逐步细化为具体的体系结构;(2)体系结构求精规则,用于指导体系结构求精,为体系结构正确求精提供有力支持。本文在D-ADL动态体系结构描述语言的形式框架规约下,提出基于π演算的体系结构求精方法。文章认为体系结构求精的关键在于求精结果应满足抽象系统与具体实现一致的约束。首先,从结构求精、行为求精和属性求精三个方面阐述了体系结构求精的方法、过程和规则;接着利用π演算的行为等价理论和检测工具MWB对该体系结构求精方法和规则进行验证。最后,以机票预定服务系统说明了上述求精方法、过程和规则的有效性。