随着面向服务架构的发展与广泛应用,作为其重要实现的Web服务受到工业界与学术界的重点关注。Web服务组合作为面向服务架构的关键技术,一直是Web服务领域的研究重点与热点,然而传统Web服务缺乏语义描述,无法被计算机理解,只能以预定义的方式进行Web服务的组合。语义Web的出现为Web服务的智能化提供了基础,Web服务借助OWL-S等描述语言扩充语义信息,使其能够成为计算机可理解的实体,从而为自动发现与组合提供支撑。本文的主要工作和成果如下：1.提出了基于动态语义网的Web服务组合模型。在充分借鉴相关优秀研究成果的基础上,以动态语义网作为形式化工具,描述了Web服务在语义限定下的组合过程。本文依次给出了Web服务的描述模型、动态语义网的形式化定义以及基于动态语义网的服务组合过程,同时也给出了相关的算法描述并结合实例加以说明。2.设计了一个Web服务自动组合框架。为服务组合的生命周期提供完整的流程,设计了一个Web服务自动组合框架,其包括服务注册、语义推理、服务查找、服务组合、服务调用等关键模块,并在此框架上实现了本文提出的服务组合算法。3.给出了一个服务规则驱动的SOWF模型。对服务规则进行了定义与描述,将规则引入到服务组合之中,对服务组合过程加以约束,给出了一个服务规则驱动的面向服务工作流模型,可快速响应用户需求构建柔性工作流。最后,以高级专业技术资格申报与评审的过程作为应用实例,将文中提出的服务组合算法与服务规则应用在该流程构建中,验证了所提理论的可行性与有效性。