基于时序描述逻辑的Web服务本体语言过程模型语义

针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。

基于本体的Web服务发现算法研究

随着Web服务数目的增长,基于关键字的发现机制已不能满足Web服务的需要。引入领域本体概念,提出一种基于领域本体的Web服务发现匹配算法WSDA。该算法采用Web服务本体描述语言(OWL-S)描述Web服务,采用改进的基于几何距离的语义匹配方法,将概念关系图映射到数据库中,方便了Web服务间相似度的计算和比较。通过实验验证算法的可行性和有效性。

基于过程本体的语义Web服务过程模型的研究

针对Web服务本体语言(OWL-S)过程模型存在Web服务发现时对过程信息和QoS属性表达能力不足的问题,本文提出了一种基于过程本体的语义Web服务(SWS)过程模型的建立方法。首先,采用循环递进、逐步求精的本体建模方法建立过程本体,并且在过程本体中考虑QoS属性;其次,对其进行形式化定义,得到语义Web服务过程模型;最后,设计了一种转换算法,利用该算法将语义Web服务过程模型转换为过程图,并检测转换后的过程图的正确性。本文最终通过实验验证了语义Web服务过程模型的可用性和有效性。

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

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

基于UDDI的语义Web服务发现研究

目前基于UDDI的Web服务发现机制仅提供了简单的基于关键字的搜索方法,缺乏对语义推理的支持。因此给出了一种基于UDDI的语义Web服务发现的架构,通过把Web服务的语义描述发布到UDDI注册中心,并扩展查询API的规范,在服务查找中加入语义推理,从而增强了UDDI的语义Web服务发现的能力。

一种基于有色Petri网的语义Web服务组合验证机制

Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。

基于模糊聚类的Web服务管理

随着Web服务的推广应用,网络上出现越来越多共享的服务资源.为提高服务的查全率、查准率,给出了一种基于模糊聚类的Web服务管理方法,利用模糊聚类将服务注册库中的服务资源按功能聚类,形成功能相关的服务簇.服务查找时,先定位到服务簇,再在服务簇中查找满足要求的Web服务,有效地提高了查找效率和精度.

语义Web服务发布系统的设计与实现

传统注册中心的Web服务发现只能基于关键字查询,不能搜索到用不同术语描述的相关信息,因此查准率不高。为解决这一问题,引入OWL-s(Web服务本体语言)对Web服务进行逻辑化描述,使得可以基于Web服务的语义信息查找和匹配所需的Web服务。并提出一种基于OWL-s的语义Web服务发布原型系统以及相应的语义匹配策略。在系统中可以通过对Web服务的语义信息查找并匹配已发布的Web服务。最后通过一个实际项目——汽车终端管理系统检验和评估服务证明系统的有效性。

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

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

基于语义Web服务内部流程接口匹配的服务组合算法

针对基于服务一级粗粒度的语义Web服务组合方法无法有效地发现满足用户需求的潜在的服务组合，导致组合成功率低的问题，提出了基于语义Web服务内部流程接口匹配的自动服务组合方法。该方法利用基于语义的Web服务描述语言（OWL—S）并在领域本体的支持下对Web服务语义进行描述，对服务与服务流程进行区分，将服务流程作为组合操作对象，通过计算不同的Web服务内部流程接口之间语义关联程度，遵从后继服务流程选择策略自动地生成能够满足用户需求的流程组合方案，并通过反向检索组合流程，消除组合方案中冗余的服务流程。通过一系列的仿真实验对该组合方法的成功率、效率等方面进行了验证，结果证明了该方法可以更加有效地根据用户请求自动生成服务组合方案。

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

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

一种验证Web服务流程的新方法

在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL,Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.

基于OWL-S的云制造服务语义匹配方法

针对云制造服务在匹配过程中的多样性、异构性、动态性和多约束性等特点,建立一种基于Web服务本体描述语言的云制造服务输入、输出、前提、效果匹配模型,研究了该模型匹配的参数匹配、属性匹配和综合匹配三个阶段。针对参数匹配过程中本体概念参数和约束条件参数的匹配度量化问题,给出结合语义相似度和基于蕴涵关系推理的量化方法及匹配算法。通过应用实例验证了该方法的有效性和可行性。

基于OWL-S的服务发现语义匹配机制

本文提出一种基于OWL-S的语义web服务匹配系统的机制,将语义元素引入UDDI系统中,从而在UD-DI中保存语义信息.系统通过语义服务匹配算法提高web服务匹配的准确度和召回率,并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性.系统使用本体概念的索引机制提高服务发现的效率.而且,系统在建立和维护索引的过程、或服务的匹配过程中使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率.

基于OWL-S的地理空间信息服务描述与发现

在分析空间信息服务特点的基础上,对Web服务本体语言(OWL-S)进行扩展,使其可以准确地描述空间信息服务。提出了基于语义的空间信息Web服务"三阶段"匹配方法,实现空间信息服务发现,分别针对基本信息、功能描述、服务质量对服务进行匹配,并根据用户的偏好对服务进行优化排序。实验表明,基于此匹配方法的空间信息服务查准率和查全率明显高于常规的基于关键字的服务匹配方法。

基于语义的e-维护知识服务模型

为了支持e-维护知识资源的共享和集成,提出了基于语义的e-维护知识资源服务模型。采用形式化定义对模型进行规范化表示,通过用扩展的Web服务本体描述语言(Web Ontology Language for Service,OWL-S)进行语义建模的实现。基于模型构建的知识服务注册组件已成功应用于某e-维护知识管理系统。

业务过程执行语言流程语义标注方法研究

为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之间的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系。通过语义消歧过程,消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型。最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估。

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

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