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

1

作者 鲍爱华 袁金平 +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服务本体语言过程模型语义 被引量：2

2

作者 李明 刘士仪 年福忠 《计算机应用》 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

3

作者 胡鹤 刘大有 胡志永 《计算机工程》 CAS CSCD 北大核心 2005年第9期43-45,共3页

提出了一种基于Web的本体服务器设计,描述了其内部体系结构和与外部交互的过程,在此基础上深入介绍了其查询接口。该本体服务器能够同时为Web用户和软件agent提供本体的查询、编辑和推理等功能。为解决Web环境中大量的异构数据源之间的... 提出了一种基于Web的本体服务器设计,描述了其内部体系结构和与外部交互的过程,在此基础上深入介绍了其查询接口。该本体服务器能够同时为Web用户和软件agent提供本体的查询、编辑和推理等功能。为解决Web环境中大量的异构数据源之间的互操作问题提供了技术方案。 展开更多

关键词 本体服务器 基于web的系统 本体查询语言

在线阅读 下载PDF 职称材料

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

4

作者 陈星豪 李陶深 《计算机工程与应用》 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 职称材料

Web服务中支持本体推理的隐私保护研究 被引量：9

5

作者 葛强 沈国华 +2 位作者 黄志球 柯昌博 贾哲 《计算机科学与探索》 CSCD 2013年第6期536-544,共9页

针对当前Web服务侧重于满足用户功能性需求,对用户隐私保护考虑不足的问题,提出了一种基于本体推理的保护用户隐私的方法。分析了隐私领域框架体系,构建了一个隐私领域本体。将Web服务中用户的隐私偏好转换成SWRL(semantic Web rule lan... 针对当前Web服务侧重于满足用户功能性需求,对用户隐私保护考虑不足的问题,提出了一种基于本体推理的保护用户隐私的方法。分析了隐私领域框架体系,构建了一个隐私领域本体。将Web服务中用户的隐私偏好转换成SWRL(semantic Web rule language)规则,并利用推理引擎基于SWRL规则对隐私本体知识库进行推理,推导出隐私策略符合用户隐私偏好的Web服务。通过实验证明了该方法可以防止用户隐私信息的泄露,能够有效地保护用户隐私。 展开更多

关键词 本体 隐私领域 语义web规则语言(SWRL) 隐私服务器 推理

在线阅读 下载PDF 职称材料

基于本体的Web服务分类的实现

6

作者 陆雄斌 郭朝珍 《华南师范大学学报（自然科学版）》 CAS 北大核心 2012年第4期52-55,共4页

为区分网络上存在着的大量的Web服务,提出了一种有效的分类方法,利用本体的结构存储分类模型,动态生成分类结果,即服务本体文件.重点阐述了Web服务相似度的计算方式,包括服务名称相似度、输入列表相似度、输出类型相似度和服务描述相似... 为区分网络上存在着的大量的Web服务,提出了一种有效的分类方法,利用本体的结构存储分类模型,动态生成分类结果,即服务本体文件.重点阐述了Web服务相似度的计算方式,包括服务名称相似度、输入列表相似度、输出类型相似度和服务描述相似度.通过读取服务本体的分类模型,可提高服务请求者检索服务的效率. 展开更多

关键词 web服务 网络本体语言 服务分类 服务发现 服务调用

在线阅读 下载PDF 职称材料

语义网服务中的本体综述 被引量：14

7

作者 史一民 李冠宇 刘宁 《计算机工程与设计》 CSCD 北大核心 2008年第23期5976-5979,5982,共5页

作为实现下一代Web的集成方案,语义网服务将语义Web技术和Web服务技术相结合,以支持Web服务的自动发现、选择、合成和执行。本体是语义网服务的理论基础。介绍了Web资源描述本体OWL和Web服务描述本体的概况,并对3种主流的Web服务语义描... 作为实现下一代Web的集成方案,语义网服务将语义Web技术和Web服务技术相结合,以支持Web服务的自动发现、选择、合成和执行。本体是语义网服务的理论基础。介绍了Web资源描述本体OWL和Web服务描述本体的概况,并对3种主流的Web服务语义描述框架进行对比分析,为语义网服务中本体的创建提供基础知识。研究了语义网服务中存在的各层次的本体异构问题,明确了语义网服务中本体集成的主要研究方向。 展开更多

关键词 语义网服务 web本体语言 web服务本体 本体异构 本体集成

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

作者 杨博 张选平 邵利平 《西安交通大学学报》 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 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

作者 林清滢 《计算机工程与设计》 CSCD 北大核心 2006年第12期2215-2217,2237,共4页

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

关键词 统一描述 发现和集成 web服务 服务发现 语义web web服务本体语言

在线阅读 下载PDF 职称材料

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

13

作者 王永明 张英俊 +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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

作者 张景雨 余雪丽 付丰科 《计算机工程与应用》 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 职称材料

基于服务上下文的Web服务发现机制 被引量：3

16

作者 李武智 张斌 《计算机工程与设计》 CSCD 北大核心 2012年第7期2580-2583,共4页

服务发现成为Web服务组合研究的重点,为解决服务组合过程中服务发现方法存在动态适应能力不足,提出了一种基于服务上下文的Web服务发现机制。该机制将一种服务本体描述语言OWL-S和一种基于服务上下文的服务发现算法相结合,利用语义描述... 服务发现成为Web服务组合研究的重点,为解决服务组合过程中服务发现方法存在动态适应能力不足,提出了一种基于服务上下文的Web服务发现机制。该机制将一种服务本体描述语言OWL-S和一种基于服务上下文的服务发现算法相结合,利用语义描述服务的信息,同时定义了服务上下文信息并进行服务上下文匹配来发现所需服务。实验结果表明,基于服务上下文的Web服务发现机制能够提高服务发现的准确性,具有较好地动态适应性。 展开更多

关键词 web服务 服务发现 上下文 服务组合 本体 服务本体描述语言

在线阅读 下载PDF 职称材料

Web服务语义描述研究综述 被引量：3

17

作者 王璞巍 金芝 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期462-469,共8页

随着Internet的普及和延伸,跨平台、跨语言和松耦合的Web服务技术应运而生.它将具有执行任务能力的资源封装成Internet上的Web服务,并通过发布其形式化描述使服务能被外界发现和调用,因而服务描述是构建Web服务的基石.语义Web服务是Web... 随着Internet的普及和延伸,跨平台、跨语言和松耦合的Web服务技术应运而生.它将具有执行任务能力的资源封装成Internet上的Web服务,并通过发布其形式化描述使服务能被外界发现和调用,因而服务描述是构建Web服务的基石.语义Web服务是Web服务的发展方向,实现这发展方向的落脚点则是赋予服务描述足够的语义信息.将Web服务的语义划分为静态和动态两个层次,并根据这两个层次综述了基于本体描述语言、逻辑语言和过程模型的服务语义描述方法.最后对比分析了这忖些研究成果,并展望了服务语义描述研究的未来前景. 展开更多

关键词 web服务语义描述 本体描述语言 逻辑语言 过程模型

在线阅读 下载PDF 职称材料

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

18

作者 朱建 周爱霞 +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服务内部流程接口匹配的服务组合算法 被引量：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 职称材料