面向服务的体系结构作为近年来软件工程领域出现的一个新兴的研究方向，其技术得到迅速发展和应用。Web服务组合技术作为实现面向服务体系结构的一项重要技术，已成为当今学术界和工业界共同重视的研究内容之一。目前，主流的Web服务组合描述方法主要分为两大类：形式化的描述方法和工业化的描述方法，二者在描述Web服务组合方面有很强的互补性。Web服务组合其本质是Web服务的复用，而软件体系结构是实现软件复用的重要手段之一。 基于上述思想，本文提出了从软件体系结构角度研究Web服务组合的方法。研究了基于时序逻辑的体系结构描述语言XYZ/ADL和基于商务流程的Web服务组合语言BPEL4WS相结合描述Web服务组合的方法。XYZ/ADL具有严格的形式化语义，便于验证组合的正确性，通过将XYZ/ADL描述转化为BPEL4WS的描述，从而从侧面验证了BPEL4WS描述的正确性。通过研究二者之间的转换规则，实现形式化和工业化方法相结合描述Web服务组合。本文具体工作如下： 首先，根据Web服务及其组合的特点，在原有体系结构模型的基础上进行扩展，得到了Web服务组合体系结构模型。 其次，基于该模型，采用扩展的XYZ/ADL描述Web服务组合，定义Web服务组件及描述其交互的连接件。 再次，建立了XYZ/ADL至BPEL4WS转换规则。该转换分为两步：首先定义了XYZ/ADL的语义基础——XYZ/E的基本结构到BPEL4WS的转换，然后通过分析XYZ/ADL的设计元素和BPEL4WS元素之间的语义相似性，定义了XYZ/ADL和BPEL4WS的映射关系。 最后，结合一个实例系统证明本文所做工作的可行性。