近年来，面向服务的软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统开发中的关键技术之一。人们逐渐认识到面向服务的软件体系结构在软件开发中的重要地位，好的软件体系结构是决定一个软件系统成功的因素。本文基于Petri网理论，对服务、面向服务体系结构进行了深入研究，建立了面向服务的Petri网模型SOPN和简单的面向服务的Petri网描述语言SOPNADL。　　首先，本文以继承的观点对服务属性进行分析。结合服务本身的特性，分析了服务的封装性、粗粒度性、松耦合性等继承属性和交互性、统一描述性等交互属性。　　其次，本文建立了基于Petri网的服务及SOA模型。通过对SOA概念和组成等的分析，结合服务的交互性，建立了基于角色的服务交互参考模型。应用Petri网理论，建立了面向服务的Petri网模型(SOPN，Service Oriented Petri Nets)和面向服务的Petri网描述语言(SOPNADL，Service Oriented Petri Nets Architecture Description Language)定义了服务组合模式。SOPN能很好的描述服务、服务元素和服务的交互。SOPNADL从系统的角度，描述了SOA模型，包括服务和连接件。本文还对模型的属性进行了研究，基于所建立的模型，定义了服务的封装性、交互性、有用性等。　　论文最后介绍了一个简单的SOA系统的建模实例，分析了实例模型的有界性、活性、可达性，并使用覆盖树、关联矩阵和状态方程等方法验证模型设计正确性。