语义Web服务是传统的Web服务在最新的语义Web技术下的延伸,能够使网络环境下异构Web服务的组合过程呈现运行时的动态性、自动化和智能化等特征,具有非常重要和广泛的应用前景,如电子商务、企业信息系统等。因此,引起人工智能领域、形式化方法和自动推理领域学者的高度关注,提出的语义Web服务组合方法层出不穷。针对目前以上两个领域内一些主流研究方法尚不支持对Web服务并发行为表示和推理的现状,提出了一种基于并发事务逻辑的语义 Web服务组合方法。同时,为了改善当前流行的集中式语义Web服务组合系统架构存在的动态性差,容错能力弱等缺陷,基于多Agent理论,构建了一种灵活、自适应的分布式服务组合框架。　　并发事务逻辑(CTR)是一种由谓词逻辑扩展而来的知识表示与推理工具,能够对系统的顺序和并发行为描述与推理。本文在运用并发事务逻辑工具推理语义Web服务组合问题上开展了深入研究,取得了一些成果:建立了OWL-S服务组合控制结构的 Petri网模型和等价并发事务逻辑公式表示,特别是并发结构;运用并发事务逻辑的 Horn公式成功刻画了服务的流程、交互、约束条件以及输入输出等内容,并将服务组合问题转化为 Horn目标公式的可满足性的证明;根据并发事务逻辑推理规则设计了一个多项式时间复杂度的服务组合算法。这些成果为今后语义Web服务组合方法的研究提供了有益参考。　　MAS技术给复杂分布式系统的开发带来了极大的便利和优势。本文研究了语义Web服务和MAS的整合问题;构建了一种基于多Agent交互和多Agent联盟的分布式服务组合框架,并基于并发事务逻辑构建了相应的服务组合分布式求解模型,给语义Web服务应用的开发和部署带来了极大的灵活性和自适应性。