基于WSMO服务质量的语义Web服务发现框架 被引量：6

1

作者 李蜀瑜 周娟 《计算机应用》 CSCD 北大核心 2009年第8期2299-2302,共4页

当前对Web服务进行语义描述最流行的两个框架是OWL-S和WSMO,但它们主要都是从服务功能的角度对服务进行描述,缺乏对服务质量的明确刻画,导致服务请求者难以得到最佳服务。针对此问题,对WSMO规范进行了扩展,定义了一个服务质量(QoS)的元... 当前对Web服务进行语义描述最流行的两个框架是OWL-S和WSMO,但它们主要都是从服务功能的角度对服务进行描述,缺乏对服务质量的明确刻画,导致服务请求者难以得到最佳服务。针对此问题,对WSMO规范进行了扩展,定义了一个服务质量(QoS)的元模型——WSMO-QoS,给出了QoS的本体词汇。在此基础上提出了基于QoS的语义Web服务发现框架,并给出一个从基本描述、IOPE、QoS三个层次实现服务匹配的算法。最后,实验结果验证了该服务匹配算法的有效性。 展开更多

关键词 语义web服务 web服务模型本体 服务质量 服务发现

在线阅读 下载PDF 职称材料

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

2

作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页

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

关键词 web服务 语义web 过程语义 web服务本体描述语言 本体演化 过程模型网 着色PETRI网

在线阅读 下载PDF 职称材料

基于功能语义的Web服务发现方法 被引量：24

3

作者 叶蕾 张斌 《计算机研究与发展》 EI CSCD 北大核心 2007年第8期1357-1364,共8页

随着Web服务技术的发展与应用,基于功能语义进行Web服务发现已经逐渐成为服务使用者最为迫切的需求.而现有的服务发现机制还不能很好地解决这一问题.所以提出了一种基于功能语义的Web服务发现方法.通过定义Web服务功能描述模型,规范服... 随着Web服务技术的发展与应用,基于功能语义进行Web服务发现已经逐渐成为服务使用者最为迫切的需求.而现有的服务发现机制还不能很好地解决这一问题.所以提出了一种基于功能语义的Web服务发现方法.通过定义Web服务功能描述模型,规范服务提供者和使用者对Web服务功能的描述;同时构建了领域功能本体,提出语义标注的机制,从而让用户可以基于功能语义发现Web服务.并设计了基于功能语义的Web服务描述语言,构建了原型系统,为基于功能语义进行服务发现提供了一种有效可行的方法. 展开更多

关键词 web服务 web服务功能描述模型 领域功能本体 语义标注 web服务发现

在线阅读 下载PDF 职称材料

一种基于本体的Web服务信任度计算模型 被引量：4

4

作者 王睿 吴礼发 +2 位作者 张婷婷 孙传鲁 李丙戌 《计算机应用研究》 CSCD 北大核心 2013年第7期2077-2081,共5页

传统的Web服务信任度计算模型所计算的信任度是一个单独的数值,缺少必要的上下文信息,使得信任度表达的含义比较模糊。另外,以往的计算模型大多局限于单一的管理域中,管理域之间由于缺乏共同的知识标准而无法进行统一的信任度计算。为此... 传统的Web服务信任度计算模型所计算的信任度是一个单独的数值,缺少必要的上下文信息,使得信任度表达的含义比较模糊。另外,以往的计算模型大多局限于单一的管理域中,管理域之间由于缺乏共同的知识标准而无法进行统一的信任度计算。为此,提出了基于上下文本体的Web服务信任度计算模型以解决上述问题。本体技术为上下文信息的表达和推理提供了便利,同时也为不同管理域之间的交互提供了共享知识库。在提出的模型中,直接以用户关心的上下文信息作为间接信任度计算的重要依据,在对上下文概念进行语义匹配的基础上,最终实现跨域的信任度计算。实验结果验证了模型的可行性和有效性。 展开更多

关键词 web服务 信任模型 本体 上下文

在线阅读 下载PDF 职称材料

基于OWL-S过程模型的Web服务发现方法 被引量：5

5

作者 曾一 胡延强 洪豪 《计算机工程》 CAS CSCD 2012年第17期28-31,共4页

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

关键词 web服务 web服务本体语言 过程模型 过程图 相似度 过程匹配

在线阅读 下载PDF 职称材料

基于语义的Web服务注册联邦的研究 被引量：3

6

作者 李兵 刘婧 +3 位作者 何克清 梁鹏 彭蓉 刘进 《小型微型计算机系统》 CSCD 北大核心 2006年第9期1623-1627,共5页

元模型互操作框架是一套元对象和元模型结构的集合,用于信息注册和信息资源库开发中元模型的建立.将元模型互操作框架MM F I与联邦信息管理技术结合,运用本体元建模方法,建立W eb服务注册联邦的体系结构,以实现异构自治的W eb服务注册... 元模型互操作框架是一套元对象和元模型结构的集合,用于信息注册和信息资源库开发中元模型的建立.将元模型互操作框架MM F I与联邦信息管理技术结合,运用本体元建模方法,建立W eb服务注册联邦的体系结构,以实现异构自治的W eb服务注册间可扩展的语义互操作.提出本体对象建模理论和方法,指导W eb服务注册联邦系统的开发设计,简化设计开发过程.介绍了一个依据上述方法建立的软构件注册平台的原型系统. 展开更多

关键词 web服务注册 本体元建模 联邦信息管理 信息聚合

在线阅读 下载PDF 职称材料

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

7

作者 李明 刘士仪 年福忠 《计算机应用》 CSCD 北大核心 2013年第1期266-269,共4页

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

关键词 web服务本体语言 时序描述逻辑 服务组合 形式化 过程模型 建模

在线阅读 下载PDF 职称材料

基于QoS的语义Web服务发现研究 被引量：7

8

作者 邹金安 《计算机应用》 CSCD 北大核心 2009年第10期2844-2846,共3页

将QoS引入到语义Web服务中,分析了QoS本体的描述方法、Web服务的发现方法和语义Web服务发现方法,建立了一个通用的QoS模型,模型中的参数属性基本能描述QoS的衡量标准。提出了基于QoS语义Web服务发现框架,第一步通过功能来发现Web服务,... 将QoS引入到语义Web服务中,分析了QoS本体的描述方法、Web服务的发现方法和语义Web服务发现方法,建立了一个通用的QoS模型,模型中的参数属性基本能描述QoS的衡量标准。提出了基于QoS语义Web服务发现框架,第一步通过功能来发现Web服务,第二步通过建立的QoS模型来评价发现的Web服务集合,找到QoS最佳的Web服务。最后通过实例建立了语义功能本体和QoS本体。 展开更多

关键词 服务质量 QOS本体 语义web服务 web服务发现 QOS模型 框架

在线阅读 下载PDF 职称材料

基于领域本体的Web服务动态组合模型 被引量：3

9

作者 汪清明 《计算机应用》 CSCD 北大核心 2009年第7期1957-1959,共3页

给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接... 给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接口匹配方法分解为组合服务。以客户订购产品为例,说明了领域本体的建立方法和Web服务动态组合模型的应用方法。 展开更多

关键词 领域本体 web服务 动态服务组合 组合模型

在线阅读 下载PDF 职称材料

ODSS中基于本体论和Web服务技术的模型管理研究

10

作者 朱红梅 梁永全 +1 位作者 李默 牟少敏 《山东科技大学学报（自然科学版）》 CAS 2005年第4期36-39,共4页

组织内各决策部门针对各自的问题开发决策模型,而有相同或类似需求的其他部门不易知晓或正确运用这些模型,造成资源浪费。为了有效管理组织决策所需的各种模型,自动发现、组织和协调模型的运行,以促进模型在组织范围内的高度共享,达到... 组织内各决策部门针对各自的问题开发决策模型,而有相同或类似需求的其他部门不易知晓或正确运用这些模型,造成资源浪费。为了有效管理组织决策所需的各种模型,自动发现、组织和协调模型的运行,以促进模型在组织范围内的高度共享,达到更高层次的决策支持,本文研究一个基于本体论和Web服务技术的模型管理框架,该框架包括在组织范围内模型的存储、模型的发现、模型的共享、模型的重用等。 展开更多

关键词 组织决策支持系统 本体论 web服务技术 模型管理

在线阅读 下载PDF 职称材料

一种验证Web服务流程的新方法 被引量：1

11

作者 王晨 王红兵 许迅 《计算机应用研究》 CSCD 北大核心 2008年第12期3785-3789,共5页

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

关键词 时序逻辑语言 web服务本体描述语言 web服务业务流程执行语言 web服务组合验证 工作流模型分析

在线阅读 下载PDF 职称材料

描述Web服务的一阶动态逻辑

12

作者 吴晓庆 马越 +1 位作者 曹存根 眭跃飞 《计算机科学》 CSCD 北大核心 2011年第11期109-113,共5页

Web服务有几种形式化表示:WSMO(Web服务建模本体)和OWL-S(Web服务本体语言)。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶... Web服务有几种形式化表示:WSMO(Web服务建模本体)和OWL-S(Web服务本体语言)。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外,还需要描述改变关系的服务动作的动态性质。给出了描述Web服务的PDL的语法和语义,并且用一个例子说明了PDL是如何表示Web服务的静态属性和动态属性的,以及改变变量和改变关系的动作的动态性质。 展开更多

关键词 一阶动态逻辑 web服务模型本体 web服务 程序 赋值

在线阅读 下载PDF 职称材料

云制造环境下外协加工资源集成服务模式及语义描述 被引量：82

13

作者 尹胜 尹超 +1 位作者 刘飞 李孝斌 《计算机集成制造系统》 EI CSCD 北大核心 2011年第3期525-532,共8页

针对云制造环境下外协加工服务资源和服务需求信息的属性构成及分散性、异构性、动态性和组合性等特点,提出并建立了一种能促进云制造环境下外协加工资源快速共享和高效利用的、具有广域集成和分散服务特点的集成服务模式。对基于Web服... 针对云制造环境下外协加工服务资源和服务需求信息的属性构成及分散性、异构性、动态性和组合性等特点,提出并建立了一种能促进云制造环境下外协加工资源快速共享和高效利用的、具有广域集成和分散服务特点的集成服务模式。对基于Web服务建模本体的外协加工资源语义描述总体实现框架、外协加工资源本体建模、外协加工资源Web服务交互与组合机制,以及外协加工资源Web服务异构兼容调解等关键技术进行了研究,有效解决了异构外协加工资源组合和互操作问题,实现了外协加工资源供需双方的动态匹配。最后通过应用实例对以上服务模式及实现关键技术进行了试验验证。 展开更多

关键词 云制造 外协加工 资源集成 web服务 语义描述 本体 web服务建模语言

在线阅读 下载PDF 职称材料

基于OWL-DL的制造加工服务描述建模方法 被引量：22

14

作者 刘烨 史明华 《计算机集成制造系统》 EI CSCD 北大核心 2011年第4期767-775,共9页

为解决Internet上大量制造服务描述的异构性问题,实现网络环境下制造加工服务的快速发现与匹配,提出了二层—三元组模块化制造加工服务描述建模方法,构建了由核心本体和可扩展本体组成的制造加工服务描述语义网。为实现制造服务分类及... 为解决Internet上大量制造服务描述的异构性问题,实现网络环境下制造加工服务的快速发现与匹配,提出了二层—三元组模块化制造加工服务描述建模方法,构建了由核心本体和可扩展本体组成的制造加工服务描述语义网。为实现制造服务分类及其语义相似匹配推理,用描述逻辑建立制造加工知识之间的关系及其约束公理,运用Web本体语言OWL-DL实现制造加工服务规范描述。给出了面向用户的制造服务描述模型生成与应用框架,开发了支持"制造加工公共服务平台"构建的制造加工服务规范化描述建模和自动化发现与匹配的原型应用系统。 展开更多

关键词 制造加工服务 本体 web本体语言 描述逻辑 建模

在线阅读 下载PDF 职称材料

要素细化与代码实现——WSMF模型 被引量：5

15

作者 黄映辉 李冠宇 《计算机应用》 CSCD 北大核心 2008年第8期2156-2159,2169,共5页

Web服务建模框架(WSMF)的实际应用可归结为是在正确理解WSMF本质基础上的要素细化与代码实现。WSMF的本质就是基于"重用性-解耦性-语义中介协调"观点导出的Web服务、目标、中介器、本体4个顶层要素及其相互关系。WSMF的顶层... Web服务建模框架(WSMF)的实际应用可归结为是在正确理解WSMF本质基础上的要素细化与代码实现。WSMF的本质就是基于"重用性-解耦性-语义中介协调"观点导出的Web服务、目标、中介器、本体4个顶层要素及其相互关系。WSMF的顶层要素及其相互关系由Web服务本体模型(WSMO)细化扩展为层次结构的WSMF底层要素体系。WSMF的底层要素由Web服务建模语言(WSML)做形式化描述,进而转换为XML代码。一个实际的Web服务例证了WSMF顶层要素的细化、形式化、代码化的方法与过程。 展开更多

关键词 web服务建模框架 web服务建模框架要素 web服务本体模型 web服务建模语言 web服务

在线阅读 下载PDF 职称材料

云制造环境下机床装备资源特性分析与语义描述方法 被引量：16

16

作者 李孝斌 尹超 尹胜 《计算机集成制造系统》 EI CSCD 北大核心 2014年第9期2164-2171,共8页

针对云制造环境下机床装备资源具有异质异构、动态演化、高度自治等特性及网络化集成、服务化封装和供需智能匹配等需求,提出并构建了一种基于语义服务建模本体的机床装备资源描述框架,并对支持该框架实现的机床装备资源元数据本体表示... 针对云制造环境下机床装备资源具有异质异构、动态演化、高度自治等特性及网络化集成、服务化封装和供需智能匹配等需求,提出并构建了一种基于语义服务建模本体的机床装备资源描述框架,并对支持该框架实现的机床装备资源元数据本体表示方法、机床装备资源服务化封装等关键技术进行了研究。通过应用案例对以上研究成果进行了实验验证。 展开更多

关键词 云制造 机床装备资源 语义描述 语义服务建模本体 服务化封装

在线阅读 下载PDF 职称材料

面向网络化制造服务的本体知识建模研究 被引量：3

17

作者 姚远 张权 +1 位作者 胡庆夕 尤飞 《计算机应用研究》 CSCD 北大核心 2008年第9期2762-2764,共3页

针对目前网络化制造环境下,服务描述、发现过程中语义信息动态表达不足的问题,从Web服务的角度提出了一个基于本体的制造服务知识建模方法,并在此基础上构建制造本体模型,最后给出服务模糊匹配的评定方法。重点研究解决了制造服务过程... 针对目前网络化制造环境下,服务描述、发现过程中语义信息动态表达不足的问题,从Web服务的角度提出了一个基于本体的制造服务知识建模方法,并在此基础上构建制造本体模型,最后给出服务模糊匹配的评定方法。重点研究解决了制造服务过程中不同对象间的信息交流、数据交换和知识资源重用三个问题,有效地实现网络制造环境下资源共享与优化配置,为语义Web的网络协同制造服务平台的构建奠定了基础。 展开更多

关键词 网络化制造 web服务 制造本体 知识建模 领域建模

在线阅读 下载PDF 职称材料

基于SOA的服务型电子政务模式研究 被引量：9

18

作者 高洁 张相文 《情报学报》 CSSCI 北大核心 2009年第5期777-783,共7页

为了有效利用分布在不同平台上的政务信息资源，实现政务信息资源共享，需要对分布在不同电子政务系统中的数据进行集成。首先，本文提出一种服务型电子政务架构，对运行在不同平台上的电子政务系统进行整合，通过Web Service、SOA等技... 为了有效利用分布在不同平台上的政务信息资源，实现政务信息资源共享，需要对分布在不同电子政务系统中的数据进行集成。首先，本文提出一种服务型电子政务架构，对运行在不同平台上的电子政务系统进行整合，通过Web Service、SOA等技术实现对政务信息资源的集成；其次，提出一种基于本体的语义中介模式，对不同平台上的信息源提供一种映射关系，并从本体角度对信息以及信息间的联系进行描述。这种面向服务的架构能克服传统电子政务模式的不足，对服务型电子政务建设具有一定的指导意义。 展开更多

关键词 服务型电子政务 SOA web service语义中介模式 本体

在线阅读 下载PDF 职称材料

基于本体的服务管理代理的研究与实现 被引量：2

19

作者 朱嘉贤 傅秀芬 李吉桂 《计算机工程与应用》 CSCD 北大核心 2008年第30期90-92,110,共4页

在服务管理代理应用模型中应用本体理论和相关技术,设计内部UDDI保存软件系统所适用的Web服务信息,通过匹配引擎的匹配算法实现Web服务本体和服务请求本体的匹配,应用反射技术实现动态调用被选的Web服务并将结果返回给服务请求者,从而... 在服务管理代理应用模型中应用本体理论和相关技术,设计内部UDDI保存软件系统所适用的Web服务信息,通过匹配引擎的匹配算法实现Web服务本体和服务请求本体的匹配,应用反射技术实现动态调用被选的Web服务并将结果返回给服务请求者,从而提高了基于面向服务结构的软件系统的灵活性、稳定性和可靠性,进而满足服务请求的要求。 展开更多

关键词 本体 web服务 web服务本体模型 服务管理代理

在线阅读 下载PDF 职称材料

过程本体论导向的服务集成 被引量：1

20

作者 李长云 阳爱民 +1 位作者 应晶 江力 《计算机工程》 EI CAS CSCD 北大核心 2006年第7期172-173,214,共3页

自动地、按需集成Webservices要求解决高层次目标规划问题和任务分解,要求集成是在概念层次上进行的。通过引进带覆盖声明的、单调性的继承机制,建立了一种新的过程本体论模型。过程继承蕴含了任务的分层递解关系,使得过程本体论可表示... 自动地、按需集成Webservices要求解决高层次目标规划问题和任务分解,要求集成是在概念层次上进行的。通过引进带覆盖声明的、单调性的继承机制,建立了一种新的过程本体论模型。过程继承蕴含了任务的分层递解关系,使得过程本体论可表示面向用户的问题解决方案。在该基础上提出了一种在知识层级上自动集成Web服务的框架。 展开更多

关键词 web services 本体论 单调性继承 过程模型

在线阅读 下载PDF 职称材料