基于并发事务逻辑的语义Web服务组合研究-计算机应用技术专业论文.docxVIP

摘 摘 要 I万方数据 I 万方数据 摘要 语义 Web 服务是传统的 Web 服务在最新的语义 Web 技术下的延伸，能够使网 络环境下异构 Web 服务的组合过程呈现运行时的动态性、自动化和智能化等特征， 具有非常重要和广泛的应用前景，如电子商务、企业信息系统等。因此，引起人工 智能领域、形式化方法和自动推理领域学者的高度关注，提出的语义 Web 服务组合 方法层出不穷。针对目前以上两个领域内一些主流研究方法尚不支持对 Web 服务并 发行为表示和推理的现状，提出了一种基于并发事务逻辑的语义 Web 服务组合方 法。同时，为了改善当前流行的集中式语义 Web 服务组合系统架构存在的动态性差， 容错能力弱等缺陷，基于多 Agent 理论，构建了一种灵活、自适应的分布式服务组 合框架。 并发事务逻辑（CTR）是一种由谓词逻辑扩展而来的知识表示与推理工具，能 够对系统的顺序和并发行为描述与推理。本文在运用并发事务逻辑工具推理语义 Web 服务组合问题上开展了深入研究，取得了一些成果： 建立了 OWL-S 服务组合 控制结构的 Petri 网模型和等价并发事务逻辑公式表示，特别是并发结构；运用并 发事务逻辑的 Horn 公式成功刻画了服务的流程、交互、约束条件以及输入输出等 内容，并将服务组合问题转化为 Horn 目标公式的可满足性的证明；根据并发事务 逻辑推理规则设计了一个多项式时间复杂度的服务组合算法。这些成果为今后语义 Web 服务组合方法的研究提供了有益参考。 MAS 技术给复杂分布式系统的开发带来了极大的便利和优势。本文研究了语 义 Web 服务和 MAS 的整合问题；构建了一种基于多 Agent 交互和多 Agent 联盟的 分布式服务组合框架，并基于并发事务逻辑构建了相应的服务组合分布式求解模 型，给语义 Web 服务应用的开发和部署带来了极大的灵活性和自适应性。 关键词：语义 Web 服务，服务组合，并发事务逻辑，多 Agent 系统 Ab Abstract II万方数据 II 万方数据 Abstract Semantic Web Services is an extension of the traditional Web Services under the new formed Semantic Web technology, which enables the discovery, composition, and invocation of some heterogeneous Web Services with dynamic, automation, and intelligence characteristics during the execution-time under the network environment. It is a very promising application in many fields, such as E-business, Enterprise Information System, etc. Therefore, it has caused a lot of attention to the Semantic Web Services from scholars in Artificial Intelligence, Formal Methods and Automatic Reasoning research fields where hundreds of research methods for Semantic Web Services composition have been proposing. Aiming at the situation that some mainstream methods for Semantic Web Services composition from the two above fields are not to support presentating and reasoning Web Services’ concurrent behaviours, we proposed a Concurrent Transaction Logic-based approach. Meanwhile the overwhelming centralized services composition systems are lack of flexibility and falut-tolerant ability. In order to improve it we built a kind of decentra