近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统开发中的关键技术之一。这是因为随着软件系统规模越来越大、越来越复杂,整个系统的结构和规格说明显得越来越重要。人们逐渐认识到软件体系结构在软件开发中的重要地位,好的软件体系结构是决定一个软件系统成功的因素。 软件体系结构描述的研究是软件体系结构研究中最为活跃的领域。目前已经提出的软件体系结构描述的方法有许多种,其中软件体系结构描述语言被认为是比较通用的方法。使用软件体系结构描述语言使得开发者能更清晰的描述他们设计的系统,以便与他人交流,避免非形式化的描述所带来的模糊的和不一致的理解。 目前已经有的一些公用的体系结构模型,如管道/过滤器模型,客户机/服务器(C/S)模型等,这些体系结构模型通常被组合起来定义更大的系统。如果使用某种体系结构描述语言将它们描述出来,设计人员能更好地理解和使用它们,提高软件的开发效率,并且可以在系统的设计阶段发现缺陷和错误,避免更大的损失发生。 随着信息网络的普及和发展,三层C/S模型的应用越来越广泛。本文利用软件体系结构描述语言Darwin对三层C/S模型进行形式化描述,并使用π演算——Darwin的形式化基础,对三层C/S模型的语义进行了描述,同时指出这种描述的特点,并结合基于web应用的浏览器/服务器结构,阐述了软件体系结构模型形式化研究的重要性。