基于OWL—S和HTN的Web服务组合原型系统的研究

Web服务是近年发展的一种分布式技术,引起了越来越多研究者的关注。随着网络上Web服务技术描述的信息系统数量的不断增加,将现有的业务流程进行组合以满足较为复杂的业务系统成为当前发展的主要趋势。此外,由于Web服务所处环境的复杂性和动态性,使得Web服务组合任务变得非常困难。因此,Web服务组合逐渐成为语义Web服务领域研究的热点和难点。描述了一个基于OWL—S和HTN的Web服务组合框架,并详细介绍了如何利用HTN规划解决Web服务组合问题的算法思想。通过学生选课服务实验,验证了该方法的可行性。     

Information gathering during planning for Web Service composition

Hierarchical task network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the service ontologies. Many of the existing Web Services are either exclusively information providing or crucially depend on information-providing services. Thus, many interesting service compositions involve collecting information either during execution or during the composition process itself. In this paper, we focus on the latter issue. In particular, we present , an HTN-planning algorithm designed for planning domains in which the information about the initial state of the world may not be complete, but it is discoverable through plan-time information-gathering queries. We have shown that is sound and complete, and derived several mathematical relationships among the amount of available information, the likelihood of the planner finding a plan, and the quality of the plan found. We have performed experimental tests that confirmed our theoretical results and that demonstrated how can be used for Web Service composition.     

一种P2P环境中基于语义的Web服务组合方法

Web服务组合研究是Web服务领域一个研究热点。本文利用0WL-S语言对Web服务进行描述,提高Web服务的机器可理解性,并利用语义信息进行Web服务组合操作。文中提出一个在JXTA环境中实现Web服务组合的模型,在其上实现了一个基于语义的Web服务组合方法,并通过一个简单的实例说明语义Web服务组合的具体过程。     

IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment

In this paper we describe a formalism for integrating the SHOP HTN planning system with the IMPACT multi-agent environment. We define the A-SHOP algorithm, an agentized adaptation of the SHOP planning algorithm that takes advantage of IMPACT's capabilities for interacting with external agents, performing mixed symbolic/numeric computations, and making queries to distributed, heterogeneous information sources (such as arbitrary legacy and/or specialized data structures or external databases). We show that A-SHOP is both sound and complete if certain conditions are met.     

利用聚类优化语义Web服务发现

针对传统Web服务缺乏语义造成注册中心返回结果不精确的问题,提出了一种用OWL-S提供语义支持,并据语义相似度将Web服务聚类的解决方法。该方法应用OWL-S实现Web服务的语义描述,采用凝聚的层次聚类的Single-Link算法将相似Web服务聚类,快速定位并返回最合适的服务,提高了服务发现的精确性。     

语义Web服务描述框架研究综述

语义Web服务的研究是为了解决现有Web服务发现、集成的低精确性问题。提供一个有效的语义Web服务描述框架是进行语义Web服务研究的基础。研究了目前最流行的两种语义Web服务描述框架:ESSI组织提出的Web服务模型本体框架(WSMO)和Darpa组织提出的Web本体语言描述服务框架(OWL-S)。通过对两种描述框架的比较得出结论:由于OWL-S对Web服务领域标准和语义Web领域标准的兼容性较好并且具有开放灵活的定义方式,将逐渐成为语义Web服务描述框架的推荐标准。     

基于预案模板的HTN规划知识建模方法及其应用

应急决策是应急管理的基础和核心,H TN( Hierarchy Mask Nct)规划为应急决策提供了一种有效手段,是目前研究的热点问题。针对基于HTN规划求解应急决策问题存在领域知识难于建模的问题,在利用基于PetriNet的工作流模型对应急预案进行建模的基础上,提出了一种将预案模板转化为H`I'N规划领域知识模型的方法。在此基础上,将基于预案模板的应急决策问题建模为应急任务规划问题,利用HTN规划系统SHOP2 (Simple Hierarchical Ordered Planner 2)进行规划求解,实现复杂应急态势条件下通过选择和组织应急计划片段科学制定应对方案,并以某区域洪灾应急响应为例开展了应用研究。     

基于Web服务的钱币鉴别系统的设计与实现

钱币鉴别系统是广东金融货币博物馆数字化研究课题的重要组成部分。根据博物馆馆藏资源的分类，采用了以自定义UDDI为基础的Web服务框架结构，用OWL-S语言定义Web服务，用OWL语言定义各类钱币本体，从而统一了结构中的描述和通信机制。介绍了该系统开发的背景、系统的主要功能；论述了系统的设计思路、系统结构、技术难点和相应的解决方案。     

基于OWL-S过程模型的Web服务发现方法

现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。     

OWL-S过程模型的一阶动态逻辑语义研究

针对Web服务本体语言(OWL-S)过程模型语义不完善、难以对其进行有效形式化分析和验证的问题,提出一种OWL-S过程模型的形式化方法。该方法对原子过程提供的输入、输出参数、前提条件、执行效果,以及组合过程控制构造子的语义进行描述,从而得到过程模型的一阶动态逻辑语义。实例结果验证了该方法的有效性。     

基于OWL-S的三层服务匹配模型

随着XML及语义技术的发展，Web服务已经在电子商务领域得到了广泛应用。然而，如何有效地发现Web服务仍是该领域中研究的热点。提出了一种基于OWL-S语言的三层服务匹配结构并设计了一个框架模型，该模型利用了OWL-S语言支持Web服务的自动发现、调用、合成和运行监测的特点。同时，原型系统的开发与应用表明：该模型能够提高Web服务发现和匹配的效率，并且对动态电子商务的系统个性化及界面集成提供了一个值得借鉴的解决方案。     

Learning Hierarchical Task Models from Input Traces

We describe HTN‐MAKER , an algorithm for learning hierarchical planning knowledge in the form of task‐reduction methods for hierarchical task networks (HTNs). HTN‐MAKER takes as input a set of planning states from a classical planning domain and plans that are applicable to those states, as well as a set of semantically annotated tasks to be accomplished. The algorithm analyzes this semantic information to determine which portion of the input plans accomplishes a particular task and constructs task‐reduction methods based on those analyses. We present theoretical results showing that HTN‐MAKER is sound and complete. Our experiments in five well‐known planning domains confirm the theoretical results and demonstrate convergence toward a set of HTN methods that can be used to solve any problem expressible as a classical planning problem in that domain, relative to a set of goal types for which tasks have been defined. In three of the five domains, HTN planning with the learned methods scales much better than a modern classical planner.     

基于语义规则的Web服务发现方法

语义Web服务发现问题研究的核心内容是服务描述与对应的服务发现方法。服务描述分为服务请求描述与服务发布描述,但目前的服务发现方法,并未将请求描述与发布描述分开,以比对服务请求描述与服务发布描述中对应部分作为匹配依据,导致服务请求描述构建困难以及发现结果不够理想。提出以语义规则刻画服务请求描述,以本体构建服务发布描述,进行有效的以语义规则驱动的Web服务发现。对语义规则添加影响因子使得服务匹配精度可以通过匹配度来度量,并按照给定的调节系数来决定最终匹配是否成功。最后以OWL-S TC V2测试服务集合进行了对比实验,证实该方法有效地提高了查全率与查准率高,特别是Top-k查准率。     

语义Web Services描述框架的比较研究

由于Web Services可处于分布式环境中、在异构平台上进行交互以及高度的集成性等优点,Web Services技术引起了越来越多的人的关注,而语义Web Services一直是该领域的研究热点。文章首先通过一个例子说明语义Web Services产生的必要性,然后主要介绍了目前Web Services领域的OWL—S、WSMO、SAWSDL和FLOWS四种服务描述框架,并对其进行比较分析。     

语义Web服务主流建模框架比较分析

传统的Web服务技术缺乏机器可理解的语义,限制了Web服务的自动化。结合了语义Web技术和Web服务技术的语义Web服务应运而生,其中,语义Web服务的建模框架是当前研究重点。基于语义Web服务的一般基础结构,本文从行为、体系结构和服务本体的角度分析了当前语义Web服务三大主流建模框架OWL-S、IRS-II和WSMF的特点,比较了它们的异同,展望了语义Web服务建模框架的发展趋势。