基于目录服务的语义WebService共享技术 被引量：1

1

作者 朱建 周爱霞 +2 位作者 卢晨晨 罗炜 沈晔 《江南大学学报（自然科学版）》 CAS 2013年第1期50-53,共4页

针对当前语义Web服务的研究现状,提出利用目录服务和Web服务本体推理机制来实现语义Web服务的自动处理能力;介绍了LDAP目录服务器的功能结构和Web服务本体推理机各模块的功能,并将两者结合构建语义Web服务的自动处理和分布式共享框架。... 针对当前语义Web服务的研究现状,提出利用目录服务和Web服务本体推理机制来实现语义Web服务的自动处理能力;介绍了LDAP目录服务器的功能结构和Web服务本体推理机各模块的功能,并将两者结合构建语义Web服务的自动处理和分布式共享框架。结合元数据搜索服务的例子,理论证明该系统框架有助于实现语义Web服务分布式共享。 展开更多

关键词 LDAP目录服务器 语义web服务 OWL-S语言 web服务本体推理

在线阅读 下载PDF 职称材料

一个基于概念语义近似度的Web服务匹配算法 被引量：23

2

作者 邱田 李鹏飞 林品 《电子学报》 EI CAS CSCD 北大核心 2009年第2期429-432,共4页

随着web服务的迅速发展和广泛应用,高效的服务发现逐渐成为一个关键问题.目前的web服务发现标准UDDI(Universal Description,Discovery,and Integration),存在不支持语义推理的局限性,而且无法根据服务的能力和属性进行搜索,限制了服务... 随着web服务的迅速发展和广泛应用,高效的服务发现逐渐成为一个关键问题.目前的web服务发现标准UDDI(Universal Description,Discovery,and Integration),存在不支持语义推理的局限性,而且无法根据服务的能力和属性进行搜索,限制了服务发现的效能.针对这个问题可以采用在服务发现中引入OWL-S的方法.本文提出了一个基于概念语义近似度的web服务语义匹配算法,通过对服务的不同属性进行语义匹配计算,从而提高服务发现的查准率和查全率.算法基于一个关键的语义近似度度量函数,用以计算本体实体概念的语义近似度值.测试算法的实验结果显示了算法的有效性. 展开更多

关键词 web服务发现 UDDI OWL-S 语义匹配算法 近似度度量函数

在线阅读 下载PDF 职称材料

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

3

作者 鲍爱华 袁金平 +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 职称材料

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

4

作者 罗楠 严隽薇 刘敏 《计算机集成制造系统》 EI CSCD 北大核心 2007年第11期2203-2210,共8页

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

关键词 web服务组合 web服务本体描述语言 有色PETRI网 形式化验证

在线阅读 下载PDF 职称材料

采用PDDL的Web服务组合方法研究 被引量：5

5

作者 杨博 张选平 邵利平 《西安交通大学学报》 EI CAS CSCD 北大核心 2011年第2期21-26,共6页

针对单个智能(AI)规划器在解决Web服务组合问题时通用性不高以及性能受问题搜索空间影响较大的情况,基于本体描述语言(OWL-S)和规划描述语言(PDDL)结构上有极大的相似性,提出了一种将Web服务转化为PDDL描述的算法.该算法通过对OWL-S和P... 针对单个智能(AI)规划器在解决Web服务组合问题时通用性不高以及性能受问题搜索空间影响较大的情况,基于本体描述语言(OWL-S)和规划描述语言(PDDL)结构上有极大的相似性,提出了一种将Web服务转化为PDDL描述的算法.该算法通过对OWL-S和PDDL中相应元素的转换,将Web服务组合问题成功地转换为规划问题.完成该转换后,就可自由选择AI规划器对Web服务进行组合.以查询天气信息作为组合案例,对本文提出的组合方法进行了验证,结果表明,文中所提的组合方法可用于解决Web服务组合问题,提高了AI规划器在Web服务组合问题上的普适性. 展开更多

关键词 规划描述语言 web服务组合 智能规划器 本体描述语言

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

一种带QoS约束的语义Web服务选择方法 被引量：1

7

作者 郭广军 胡玉平 +2 位作者 陈志刚 刘永逸 李芝城 《华中师范大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第3期386-391,共6页

为了对语义匹配产生的Web服务集进行二次选择,提出了一种带QoS约束的语义Web服务选择方法.该方法首先扩展了OWL-S模型中的QoS描述信息,提出了具有服务语义与服务质量描述能力的可扩展的OWL-SQ服务描述模型,以此作为服务质量支持与约束,... 为了对语义匹配产生的Web服务集进行二次选择,提出了一种带QoS约束的语义Web服务选择方法.该方法首先扩展了OWL-S模型中的QoS描述信息,提出了具有服务语义与服务质量描述能力的可扩展的OWL-SQ服务描述模型,以此作为服务质量支持与约束,然后基于决策理论和归一化算法,给出了针对OWL-SQ模型中各种非数值型和数值型质量属性的无量纲化处理方法,提出了QoS匹配矩阵构建算法及服务选择方法,以综合评价与选择最优侯选服务,通过实例测试其性能,结果表明基于OWL-SQ服务描述模型的服务选择方法,提高了服务选择的效率与查准率. 展开更多

关键词 QOS 语义web服务 服务选择 OWL—S

在线阅读 下载PDF 职称材料

一种基于OWL-S的语义Web服务自动组合方法 被引量：4

8

作者 徐德智 汤益华 《计算机应用研究》 CSCD 北大核心 2010年第10期3767-3770,共4页

提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取... 提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取最终的Web服务组合。该方法在保证Web服务组合质量的前提下,实现了根据服务请求对Web服务的自动化组合。 展开更多

关键词 OWL-S web服务 自动组合

在线阅读 下载PDF 职称材料

基于语义描述的Web服务工作流动态组合研究 被引量：4

9

作者 吴国凤 吴乃鑫 《计算机应用》 CSCD 北大核心 2007年第11期2725-2727,2732,共4页

传统静态工作流很难适应动态的、灵活的现代业务流程。近年来Web服务技术不断发展,使得工作流中的活动以Web服务形式的实现,而且工作流本身也可以以Web服务的形式被调用,特别是语义Web技术的发展,为计算机实现自动Web服务工作流提供了... 传统静态工作流很难适应动态的、灵活的现代业务流程。近年来Web服务技术不断发展,使得工作流中的活动以Web服务形式的实现,而且工作流本身也可以以Web服务的形式被调用,特别是语义Web技术的发展,为计算机实现自动Web服务工作流提供了可能。本文基于本体论提出了一个半结构化工作流本体模型,并在此基础上设计了基于Agent技术的Web服务工作流系统。 展开更多

关键词 语义web服务 领域本体 web服务的业务流程执行语言 半结构化 工作流 服务组合

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

基于本体的Web服务发现算法研究 被引量：2

11

作者 陈星豪 李陶深 《计算机工程与应用》 CSCD 2012年第5期121-123,170,共4页

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

关键词 web服务 web服务本体描述语言(OWL-S) 本体 语义匹配 对等(P2P)

在线阅读 下载PDF 职称材料

P2P环境下基于语义的Web服务组合研究 被引量：2

12

作者 李静 张永胜 《计算机应用与软件》 CSCD 2010年第3期90-93,共4页

利用OWL-S语言描述Web服务,在组合操作中加入语义信息,实现了Web服务组合的自动化。为了提高Web服务的搜索速度,采用Chord路由算法。构建了一个P2P环境下基于Chord网络的Web服务组合模型,在其上实现了基于语义的Web服务组合,最后通过实... 利用OWL-S语言描述Web服务,在组合操作中加入语义信息,实现了Web服务组合的自动化。为了提高Web服务的搜索速度,采用Chord路由算法。构建了一个P2P环境下基于Chord网络的Web服务组合模型,在其上实现了基于语义的Web服务组合,最后通过实例给出了语义Web服务自动组合过程。 展开更多

关键词 语义web 服务组合 P2P OWL CHORD

在线阅读 下载PDF 职称材料

基于过程相似的Web服务功能匹配

13

作者 李明 杨凡 《计算机应用》 CSCD 北大核心 2011年第5期1370-1373,共4页

针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来... 针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来判断请求与服务之间是否具有过程相似性,并结合过程相似判定的结果进行功能匹配;其中,过程相似判定是通过结构相似度计算和行为相似性检测实现的。最后,通过对比实验验证了该算法的可行性和有效性。 展开更多

关键词 web服务 自动机 OWL-S 形式化过程 过程相似 功能匹配

在线阅读 下载PDF 职称材料

基于模糊聚类优化的语义Web服务发现 被引量：8

14

作者 王永明 张英俊 +2 位作者 谢斌红 潘理虎 陈立潮 《计算机工程》 CAS CSCD 2013年第7期219-223,共5页

语义Web服务发现机制在发现服务时的准确率较低。为解决该问题,提出一种基于模糊聚类优化的语义Web服务发现方法。采用改进的模糊C-均值(FCM)聚类算法,实现对服务聚类预处理,在模糊聚类时,综合考虑服务的输入、输出、前提、效果4个功能... 语义Web服务发现机制在发现服务时的准确率较低。为解决该问题,提出一种基于模糊聚类优化的语义Web服务发现方法。采用改进的模糊C-均值(FCM)聚类算法,实现对服务聚类预处理,在模糊聚类时,综合考虑服务的输入、输出、前提、效果4个功能性参数,并扩展已有的服务匹配机制,在匹配时,将服务的4个功能性参数全部作为服务相似度的计算因子。实验结果表明,在模糊聚类稳定的条件下,该方法的服务平均查全率为79.6%,平均查准率为85.9%,均高于未采用聚类处理和只采用输入/输出参数的FCM聚类处理方法。 展开更多

关键词 领域本体 本体描述语言 本体距离 模糊聚类 语义web服务 服务发现

在线阅读 下载PDF 职称材料

基于规则与相似度的语义web服务匹配 被引量：9

15

作者 陶望胜 陶先平 吕建 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第2期159-168,共10页

随着语义web技术的快速发展,基于语义的web服务发现技术,已成为web服务领域研究热点之一.效率和精度,是web服务发现技术的两个主要关注点.Web服务发现可以分为基于本体概念相似度度量和基于逻辑推理这两种方法.这两个方法互有优点,前者... 随着语义web技术的快速发展,基于语义的web服务发现技术,已成为web服务领域研究热点之一.效率和精度,是web服务发现技术的两个主要关注点.Web服务发现可以分为基于本体概念相似度度量和基于逻辑推理这两种方法.这两个方法互有优点,前者主要效率方面占优,而后者则在精度方面优势明显.本文提出了一种基于规则与相似度的语义web服务两阶段匹配方案.该方案采用语义网规则语言作为规则描述语言,利用基于相似度的服务输入输出匹配方法进行第一阶段的筛选.在此基础上再次利用基于规则推理的方法,对第一阶段的匹配结果进行进一步的精化,从而在效率与精度两方面取得一定的平衡. 展开更多

关键词 语义web服务匹配 语义网规则语言 本体相似度

在线阅读 下载PDF 职称材料

语义Web服务匹配策略研究 被引量：7

16

作者 张慧明 唐慧佳 《计算机应用》 CSCD 北大核心 2010年第4期1083-1085,共3页

通过OWL-s来对Web服务进行逻辑化描述,将语义Web与Web服务相结合成语义Web服务,使得可以基于Web服务的语义信息来查找和匹配所需的Web服务。在单个Web服务参数语义匹配度确定基础上,提出了一种新的确定整个Web服务的匹配策略,并完成了... 通过OWL-s来对Web服务进行逻辑化描述,将语义Web与Web服务相结合成语义Web服务,使得可以基于Web服务的语义信息来查找和匹配所需的Web服务。在单个Web服务参数语义匹配度确定基础上,提出了一种新的确定整个Web服务的匹配策略,并完成了具体的实现。相比UDDI基于关键字的匹配,使用语义信息匹配Web服务更能满足用户的潜在需求。 展开更多

关键词 语义web服务 OWL-S 匹配策略 服务发现 本体

在线阅读 下载PDF 职称材料

利用聚类优化语义Web服务发现 被引量：4

17

作者 张景雨 余雪丽 付丰科 《计算机工程与应用》 CSCD 北大核心 2009年第34期139-143,共5页

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

关键词 基于OWL语言的web服务本体(OWL-S) 统一描述 发现和集成(UDDI) 聚类 语义web

在线阅读 下载PDF 职称材料

基于OWL的Web服务构件研究 被引量：2

18

作者 赵慧杰 沈建京 《计算机应用》 CSCD 北大核心 2005年第3期634-636,共3页

从构件技术出发提出了一个基于OWL的Web服务的创建方式。原子构件的概念与本体论的结合优化了Web服务,缩小了构件的粒度,简化了结构;OWL和Ontology的应用使得Web服务具备了更好的信息基础。

关键词 web服务 构件 OWL 本体论

在线阅读 下载PDF 职称材料

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

19

作者 邱爽 王亚东 刘永壮 《高技术通讯》 CAS CSCD 北大核心 2012年第6期596-603,共8页

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

关键词 语义web服务 服务组合 web服务本体描述语言(OWL-S) 领域本体 服务流程

在线阅读 下载PDF 职称材料

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

20

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

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

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

在线阅读 下载PDF 职称材料