论文部分内容阅读
摘要：Web服务的出现和发展为构建一体化的多方服务互操作环境提供了基础。单一的W服务往往不能满足用户的需求，这就需要对现有的Web服务重新整合，以产生新的满足用户需求的增值服务。由于Web服务组合结构存在分布、异构、异质等特点，使得服务组合过程复杂多变。提出了基于描述逻辑的语义Web服务组合方法，使Web服务的输入和并发执行可以进行形式化推理。
关键词：描述逻辑 语义Web服务 服务组合
中图分类号：TP319 文献标识码：A 文章编号：1007-3973(2011)005-067-01
随着软件的重用粒度与规模的不断增长，使用Web服务组合构建新的增值服务来进行软件重用成为当今研究热点。由于Web服务组合结构存在分布、异构、异质等特点，使得服务组合过程复杂多变。描述逻辑是基于对象的知识表示的形式化，它有很强的表达能力和可判定性，可以是推理得到正确的结果。使用描述逻辑对Web形式化描述，进行逻辑推理，得到满足用户需求的工作流，使得工作流的生成简单清晰。
1. 语义Web服务
Web服务是Web应用程序，是自适应、自我描述、模块化的应用程序，可以跨越Web进行发表、定位和调用。
语义Web提出的目的是扩展当前的万维网，使得网络中的信息更具语义，方便计算机的理解处理，便于人机交互。语义Web主要基于XML和RDF、RDFS，并在此基础上构建本体和逻辑推理规则，以完成基于语义的知识表示和推理，从而为计算机所理解和处理。
2. 服务组合
Web服务组合是通过Internet将分布在不同环境、平台或公司间已存在的Web服务，按照一定的规则动态地发现并组装成一个更大力度的增值服务或是系统，满足用户的复杂需求，提高软件生产率。
2.1 服务组合形式
Web服务组合大体可以分为静态和动态的组合形式。静态的是手工方式实现组合，动态的是系统自动搜索所需服务完成组合。
2.2 语义Web服务组合
语义Web服务组合是语义网技术在服务组合上的应用，目的在于实现Web服务的自动发现、组合以及调用。语义Web技术涉及对数据和服务内在语义的清楚描述。
应用语义Web技术提供了一种有力的方式来支持分布式环境中进行服务的语义发现和调用，通过对服务的所有实质性方面进行清晰的语义描述，服务可以被动态的发现、选取、调用、替换和组合。动态的服务组合技术可以使用户请求的服务组合简单清晰、共享程度高以及更高的容错能力。
3. 描述逻辑
描述逻辑是一种用于知识表示的形式语言，适合用于表示关于概念和概念层次结构的知识。描述逻辑为基于框架、语义网络和面向对象等知识表示方法提供了逻辑基础。描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。
4. 基于描述逻辑的语义Web服务组合
Web服务组合的三个阶段是发现、集成和实施。构建候选服务，检测候选服务组合的一致性与可行性，根据本地优化或全局优化进行服务选择，然后制定服務组合计划，实例化组合结构。
本文基于描述逻辑的语义Web服务自动服务组合框架以描述逻辑推理机Pellet为推理引擎，以本体编辑环境Protege为前端，推理机和本体编辑环境通过DIG接口相连。
下图给出了Web服务组合框架的系统结构图。
服务描述编码器是把Web服务的功能描述和行为描述转换成相应的描述逻辑概念和公理供描述逻辑推理机使用，其工作主要是辅助Web服务设计人员完成Web服务的语义描述。
参考文献：
[1]高志强等，语义WEB原理及应用[M]，北京：机械工业出版社，2009.
[2]应宏，基于网格服务的工作流技术[J]，计算机工程与设计，2005，10，VoL26(10).
[3]李晓琳，基于语义的网格工作流智能复用[D]，上海：上海交通大学，2008，01.
关键词：描述逻辑 语义Web服务 服务组合
中图分类号：TP319 文献标识码：A 文章编号：1007-3973(2011)005-067-01
随着软件的重用粒度与规模的不断增长，使用Web服务组合构建新的增值服务来进行软件重用成为当今研究热点。由于Web服务组合结构存在分布、异构、异质等特点，使得服务组合过程复杂多变。描述逻辑是基于对象的知识表示的形式化，它有很强的表达能力和可判定性，可以是推理得到正确的结果。使用描述逻辑对Web形式化描述，进行逻辑推理，得到满足用户需求的工作流，使得工作流的生成简单清晰。
1. 语义Web服务
Web服务是Web应用程序，是自适应、自我描述、模块化的应用程序，可以跨越Web进行发表、定位和调用。
语义Web提出的目的是扩展当前的万维网，使得网络中的信息更具语义，方便计算机的理解处理，便于人机交互。语义Web主要基于XML和RDF、RDFS，并在此基础上构建本体和逻辑推理规则，以完成基于语义的知识表示和推理，从而为计算机所理解和处理。
2. 服务组合
Web服务组合是通过Internet将分布在不同环境、平台或公司间已存在的Web服务，按照一定的规则动态地发现并组装成一个更大力度的增值服务或是系统，满足用户的复杂需求，提高软件生产率。
2.1 服务组合形式
Web服务组合大体可以分为静态和动态的组合形式。静态的是手工方式实现组合，动态的是系统自动搜索所需服务完成组合。
2.2 语义Web服务组合
语义Web服务组合是语义网技术在服务组合上的应用，目的在于实现Web服务的自动发现、组合以及调用。语义Web技术涉及对数据和服务内在语义的清楚描述。
应用语义Web技术提供了一种有力的方式来支持分布式环境中进行服务的语义发现和调用，通过对服务的所有实质性方面进行清晰的语义描述，服务可以被动态的发现、选取、调用、替换和组合。动态的服务组合技术可以使用户请求的服务组合简单清晰、共享程度高以及更高的容错能力。
3. 描述逻辑
描述逻辑是一种用于知识表示的形式语言，适合用于表示关于概念和概念层次结构的知识。描述逻辑为基于框架、语义网络和面向对象等知识表示方法提供了逻辑基础。描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。
4. 基于描述逻辑的语义Web服务组合
Web服务组合的三个阶段是发现、集成和实施。构建候选服务，检测候选服务组合的一致性与可行性，根据本地优化或全局优化进行服务选择，然后制定服務组合计划，实例化组合结构。
本文基于描述逻辑的语义Web服务自动服务组合框架以描述逻辑推理机Pellet为推理引擎，以本体编辑环境Protege为前端，推理机和本体编辑环境通过DIG接口相连。
下图给出了Web服务组合框架的系统结构图。
服务描述编码器是把Web服务的功能描述和行为描述转换成相应的描述逻辑概念和公理供描述逻辑推理机使用，其工作主要是辅助Web服务设计人员完成Web服务的语义描述。
参考文献：
[1]高志强等，语义WEB原理及应用[M]，北京：机械工业出版社，2009.
[2]应宏，基于网格服务的工作流技术[J]，计算机工程与设计，2005，10，VoL26(10).
[3]李晓琳，基于语义的网格工作流智能复用[D]，上海：上海交通大学，2008，01.