面向服务软件体系结构(SOA)作为近年来软件工程领域出现的一个新兴研究方向，因其能够应对复杂多变的企业业务需求而得到迅速的发展和应用。面向服务以服务作为其核心元素，以Internet为支撑平台，以分布式原理为指导，它对分布在网络上的服务以灵活透明的方式进行组合编排以完成特定的业务需求。面向服务领域的形式化研究目前尚处于起步阶段，而非形式化描述的不清晰和不一致给软件系统的开发带来诸多困难。基于以上背景本文对服务和面向服务进行了研究分析，给出基于角色的SOA参考模型，并提出了面向服务体系结构的形式化描述语言SOP/ADL。采用SOP/ADL对SOA系统进行描述，能够保证系统描述的精确性，在系统实施前可对其进行可行性与有效性验证。本文具体工作如下:　　首先，以继承的观点对服务的元素和属性及它们之间的关系进行详细分析，得到服务的基本属性和目标属性。在服务属性分析的基础之上，给出了基于角色的SOA参考模型，并对静态模型部分中角色和数据元素、及动态模型部分中角色间的交互进行了深入研究，然后给出了静态模型和动态模型之间的关系。　　其次，根据对面向服务体系结构的研究，给出了面向服务体系结构描述语言的基本框架，包括服务组件、连接件和系统配置等基本元素。以Petri网为形式化基础，定义了面向服务软件体系结构的描述语言SOP/ADL，并给出了服务组件的四种基本组合运算的定义和描述。　　最后，分析了一个简单的SOA实例，给出其模型结构，在其上应用SOP/ADL进行描述，并对描述后形成的网系统，利用Petri网分析方法对其性质进行分析验证，得到SOP/ADL在SOA系统上描述的可行性和正确性。