检索结果-南通市图书馆

语义web服务自动组合的有色网验证模型(英文)

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2008年第11期20卷 2814-2820页

作者：罗楠严隽薇刘敏同济大学CIMS研究中心上海200092

web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果。针对这一问题,提出一种具有正确性分析与验证功能的web服务自动组合系统框架。其核心是利用有色Petr... 详细信息

web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果。针对这一问题,提出一种具有正确性分析与验证功能的web服务自动组合系统框架。其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性。另外,该框架采用智能Agent技术,可有效实现组合过程的自动化。

关键词：语义web服务服务组合有色Petri网形式化验证

语义web服务在业务协同与供应链集成中的应用

在线全文

学校读者我要写书评

暂无评论

中国机械工程 2008年第4期19卷 410-413页

作者：宋庭新黄必清熊健民魏春梅清华大学国家CIMS工程技术研究中心北京100084 湖北工业大学武汉430068

在面向服务架构中,web服务组件由于不具有语义特征,难于在供应链的业务协同中实现流程的自动编排。通过引入领域本体,提出了一种基于语义web服务的供应链协同和集成框架,讨论了语义web服务的过程以及服务匹配和组合算法,并以物流服务为... 详细信息

在面向服务架构中,web服务组件由于不具有语义特征,难于在供应链的业务协同中实现流程的自动编排。通过引入领域本体,提出了一种基于语义web服务的供应链协同和集成框架,讨论了语义web服务的过程以及服务匹配和组合算法,并以物流服务为例说明了业务协作流程的自动组合过程。结果表明,语义web服务在面向服务的供应链集成中具有流程自动化合成和灵活重构的敏捷性特点。

关键词：语义web服务业务协同敏捷供应链集成面向服务架构

语义web服务前提与效果功能匹配研究(英文)

在线全文

学校读者我要写书评

暂无评论

Journal of Southeast University(English Edition) 2009年第4期25卷 464-467页

作者：王海李增智范琳西安交通大学计算机系统结构与网络研究所西安710049 西安邮电学院计算机科学与技术系西安710061

为了解决语义web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服务IO,以描述逻辑断言库刻画服务PE.进行服务匹配时,利用描述逻... 详细信息

为了解决语义web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服务IO,以描述逻辑断言库刻画服务PE.进行服务匹配时,利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系;利用描述逻辑ABox一致性检测推理,判断服务请求与广告PE之间的逻辑蕴含关系;依据此蕴含关系,将PE匹配情况划分为4种,即Exact,Perfect, Side-effect和Common匹配,用以对匹配结果进行有意义的排序.实验结果表明,所提方法在召回率与现有方法相当的情况下,具有更高的查准率.

关键词：功能匹配语义web服务前提与效果

语义web服务自动组合定义、方法及验证调查

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2014年第5期31卷 1292-1301,1311页

作者：王向辉冯志勇山东建筑大学计算机学院济南250101 天津大学计算机学院天津300072

针对近几年在语义web服务自动组合上的研究成果,深入归纳和总结了语义web服务组合的定义、组合方法以及正确性验证技术,对语义web服务组合问题进行分类和形式化定义,并归纳出一个语义web服务自动组合框架。按照不同问题分析和比较相关... 详细信息

针对近几年在语义web服务自动组合上的研究成果,深入归纳和总结了语义web服务组合的定义、组合方法以及正确性验证技术,对语义web服务组合问题进行分类和形式化定义,并归纳出一个语义web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义web服务自动组合当前面临的问题和挑战。

关键词：语义web服务形式化定义组合框架组合方法正确性检验

语义web服务主流框架在数字图书馆中的应用研究

在线全文

学校读者我要写书评

暂无评论

情报科学 2011年第1期29卷 81-85页

作者：张继东万莉湖北工业大学管理学院湖北武汉430068

语义web服务主流框架OWL-S、WSMO在数字图书馆中的应用受到了广泛的关注,二者为数字图书馆研究提供了新的思路,已经成为该领域研究的重点和热点问题之一。本文以语义web服务在数字图书馆中的应用为研究对象,首先对语义web服务进行了阐述... 详细信息

语义web服务主流框架OWL-S、WSMO在数字图书馆中的应用受到了广泛的关注,二者为数字图书馆研究提供了新的思路,已经成为该领域研究的重点和热点问题之一。本文以语义web服务在数字图书馆中的应用为研究对象,首先对语义web服务进行了阐述,然后对语义web服务的主流框架OWL-S和WSMO进行了分析,进而对OWL-S和WSMO进行了比较研究,最后对语义web服务在数字图书馆中的应用进行了探讨,提出了今后主要的研究方向。

关键词：语义web服务 OWL-S WSMO 数字图书馆

在线全文

学校读者我要写书评

暂无评论

语义web服务安全研究

计算机科学 2007年第2期34卷 115-118页

作者：杨欣沈建京信息工程大学理学院郑州450001

随着语义web技术的出现和发展,在大规模、开放、异构的分布式环境中实现web服务的自动发现、选择、组合、调用和监控成为可能。语义web服务解决了web服务的语义描述问题,但也面临着与web服务一样的安全、隐私和信任等问题。本文分析了We... 详细信息

随着语义web技术的出现和发展,在大规模、开放、异构的分布式环境中实现web服务的自动发现、选择、组合、调用和监控成为可能。语义web服务解决了web服务的语义描述问题,但也面临着与web服务一样的安全、隐私和信任等问题。本文分析了web服务当前面临的主要安全威胁及现有业界安全标准存在的局限性,介绍了安全本体概念并给出了一个基于OWL表示的安全本体例子,最后阐述了语义web服务应用安全框架中安全服务的语义描述问题,对OWL-S服务本体语言进行扩展,以实现语义安全本体和策略注释。

关键词： web服务语义web服务安全本体安全服务

一种面向语义web服务的软件设计语言和设计方法

在线全文

学校读者我要写书评

暂无评论

电子学报 2007年第B12期35卷 129-135页

作者：曹虹华应时杜德慧贾向阳武汉大学软件工程国家重点实验室湖北武汉430072 华东师范大学软件学院上海200062

在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域... 详细信息

在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域的一个实例，讨论了该方法的全过程．还给出了SPL语言和相关语言的比较．该研究对面向语义web服务的软件分析、设计和开发具有一定的参考作用 .

关键词：语义web服务语义编程语言SPL 软件设计方法

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

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

高技术通讯 2012年第6期22卷 596-603页

作者：邱爽王亚东刘永壮哈尔滨工业大学生物医学工程研究中心哈尔滨150080 哈尔滨工业大学计算机科学与技术学院哈尔滨150001

针对基于服务一级粗粒度的语义web服务组合方法无法有效地发现满足用户需求的潜在的服务组合，导致组合成功率低的问题，提出了基于语义web服务内部流程接口匹配的自动服务组合方法。该方法利用基于语义的web服务描述语言（OWL—S）并... 详细信息

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

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

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于动态描述逻辑的语义web服务匹配研究

计算机研究与发展 2008年第12期45卷 2102-2109页

作者：彭晖陈立民常亮史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100190 湖南科技大学计算机科学与工程学院湖南湘潭411201 中国科学院研究生院北京100049

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义web服务描述与服务匹配方法:将服务需求方的目标服务以及服务... 详细信息

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性.

关键词：语义web服务服务匹配描述逻辑动态描述逻辑动作