Web服务为实现跨平台的业务流程提供了一种新的解决途径,已成为分布式计算的热点问题。本文的中心工作主要围绕三个方面展开。Web服务描述语言WSDL只注重服务接口的语法描述,缺乏语义信息,制约了Web服务的发展和应用。本文研究了对Web服务描述文档进行语义标注的方法,通过相关的本体,扩展WSDL的有关元素,在Web服务描述文档中添加标注,从而实现描述Web服务的语义。将语义标注(annotation)和传统的面向语义Web服务的体系结构相融合,本文提出一个新的面向语义Web服务体系结构。这个SSOA模型的特点是加入了语义标注器和调解器。语义标注器用领域本体对WSDL文件进行语义标注,形成WSDL-S文件。数据调解器协调数据异构问题,处理调节器在运行时调解两个服务可能发生不匹配问题。解决交互双方接口问题,提高服务发现的查准率和查全率。该模型可由松散耦合的组件组成,组件可以由第三方开发和维护,可以自如地插入系统或从系统中移除。本体(ontology)是语义描述的主要方法之一,语义标记离不开领域本体的构建。本文在借鉴软件工程和已有的本体构建方法,提出了一种符合工程化思想的本体构建方法——螺旋模型的原型本体构建方法。该方法使用已有的通用本体作为核心本体,突出本体的逐步进化,在进化过程中强调领域专家的参与,二者的有机结合,保证领域本体的正确性和完备性。本文在WSMO的WSMO Studio工具下进行模拟试验,分析和比较了传统的SOA和SSOA模型下服务发现的查全率和查准率。实验数据表明,后者查全率和查准率要高于前者。最后对论文工作进行了总结和展望,探讨了需要改进的地方。