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

1

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

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

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

在线阅读 下载PDF 职称材料

基于Pi-演算的Web服务形式化描述模型* 被引量：2

2

作者 胡静 冯志勇 《计算机应用研究》 CSCD 北大核心 2011年第6期2168-2173,共6页

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建... 当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。 展开更多

关键词 web服务 web服务组合 形式化描述模型 PI-演算

在线阅读 下载PDF 职称材料

基于多元Pi-演算的Web服务形式化描述模型及其验证 被引量：2

3

作者 胡静 冯志勇 《计算机应用研究》 CSCD 北大核心 2011年第8期2999-3003,共5页

Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生... Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。 展开更多

关键词 web服务 web服务组合功能验证 类型化的形式化描述模型 多元Pi-演算

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

扩展的Web Service服务质量模型研究 被引量：12

5

作者 牟玉洁 曹健 +1 位作者 张申生 张建宏 《计算机科学》 CSCD 北大核心 2006年第1期4-9,共6页

服务质量的描述和计算评价是服务描述、选择和运行监控的重要部分。目前 Web Service 服务质量研究主要集中在服务实现层的运行性能保障,而对用户更加重视的应用层服务质量则没有完整的描述和处理方法。本文分析 Web Service 服务质量... 服务质量的描述和计算评价是服务描述、选择和运行监控的重要部分。目前 Web Service 服务质量研究主要集中在服务实现层的运行性能保障,而对用户更加重视的应用层服务质量则没有完整的描述和处理方法。本文分析 Web Service 服务质量综合性、模糊性、动态性和可配置性等特点,建立基于可配置综合模糊评价指标体系的扩展的 Web Service 服务质量模型,并提出基于服务上下文的服务质量动态计算方法。 展开更多

关键词 服务性能 服务描述 综合模糊评价 上下文 web SERVICE 服务质量 质量模型 扩展 评价指标体系

在线阅读 下载PDF 职称材料

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

6

作者 鲍爱华 袁金平 +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服务匹配模型研究 被引量：3

7

作者 于守健 夏小玲 +1 位作者 乐嘉锦 黄晓虎 《计算机科学》 CSCD 北大核心 2007年第2期129-131,136,共4页

分析了Web服务组合的类型以及其中的接口匹配关系,通过对WSDL标准接口描述语言进行语义扩展,提出了一种轻量级的Web服务语义描述模型。该模型从服务接口的消息参数层、消息层和操作层分别扩展语义描述,将服务接口的描述从语法层提升到... 分析了Web服务组合的类型以及其中的接口匹配关系,通过对WSDL标准接口描述语言进行语义扩展,提出了一种轻量级的Web服务语义描述模型。该模型从服务接口的消息参数层、消息层和操作层分别扩展语义描述,将服务接口的描述从语法层提升到语义层,从而能够全方位地描述Web服务的功能、行为约束等属性。在此基础上,从这三个层次计算Web服务接口的语义匹配度,提出了多层次Web服务接口语义匹配模型。 展开更多

关键词 web服务 匹配模型 服务描述语言 语义 WSDL

在线阅读 下载PDF 职称材料

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

8

作者 文俊浩 涂丽云 +1 位作者 江卓 何盼 《计算机应用研究》 CSCD 北大核心 2011年第7期2546-2549,2557,共5页

针对Web服务发现中存在的语义异构、逻辑推理复杂、应用实施代价较大以及查准率有待进一步提高等问题,提出了一种基于功能语义标注的Web服务发现方法。定义了领域功能语义模型和本体映射机制,对服务进行功能语义标注以增加语义信息;服... 针对Web服务发现中存在的语义异构、逻辑推理复杂、应用实施代价较大以及查准率有待进一步提高等问题,提出了一种基于功能语义标注的Web服务发现方法。定义了领域功能语义模型和本体映射机制,对服务进行功能语义标注以增加语义信息;服务发现时,先对其功能进行语义相似度匹配,满足给定阈值的服务再进行接口匹配。仿真实验表明,提出的方法在保证服务匹配效率的同时,有效避免了语义异构问题,相比传统方法查准率提高了34.1%。 展开更多

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

在线阅读 下载PDF 职称材料

面向移动自组网的Web服务元数据描述 被引量：1

9

作者 张程 朱庆生 +1 位作者 陈自郁 廖志伟 《计算机应用研究》 CSCD 北大核心 2009年第11期4119-4123,4127,共6页

从建立面向移动自组网的Web服务应用的平台出发,针对移动自组网的特点和该环境内Web服务应用的特征,提出了一种基于语义的元数据描述模型,并结合该元数据描述模型设计了高效可行的服务匹配策略。实验表明该元数据描述模型可以充分体现... 从建立面向移动自组网的Web服务应用的平台出发,针对移动自组网的特点和该环境内Web服务应用的特征,提出了一种基于语义的元数据描述模型,并结合该元数据描述模型设计了高效可行的服务匹配策略。实验表明该元数据描述模型可以充分体现移动终端的变化性和时间性,与之结合使用的匹配策略算法在实用性明显优于Jini等方式实现。 展开更多

关键词 移动web服务 元数据描述模型 移动自组网

在线阅读 下载PDF 职称材料

支持主动服务的语义描述模型 被引量：1

10

作者 韦理 方存好 张尧学 《计算机工程与应用》 CSCD 北大核心 2005年第26期1-4,共4页

该文介绍了一种Web服务按需定制的新模式--主动服务。在主动服务模型下,现有Web服务描述语言标准WSDL[7]所提供的信息明显不足。针对这个问题,文章提出了支持主动服务的服务描述模型ASDM,并给出了具体应用实例。

关键词 主动服务 web服务 描述模型 服务发现与组装 语义

在线阅读 下载PDF 职称材料

基于Web的模型驱动决策支持系统描述框架 被引量：1

11

作者 郭四海 冯珊 周凯波 《科技进步与对策》 CSSCI 北大核心 2009年第24期166-170,共5页

模型是决策支持系统的核心,为支持Web环境中决策问题求解和基于模型驱动的决策支持系统构建,在详细分析了Web环境下系统中各种决策实体及其相互关系的基础上,提出了一种基于Web的模型驱动决策支持系统描述框架,该框架采用可扩展标记语... 模型是决策支持系统的核心,为支持Web环境中决策问题求解和基于模型驱动的决策支持系统构建,在详细分析了Web环境下系统中各种决策实体及其相互关系的基础上,提出了一种基于Web的模型驱动决策支持系统描述框架,该框架采用可扩展标记语言进行一致性描述和以Web服务方式为用户提供统一接口调用。最后用导弹采办技术风险决策实例说明该框架的合理性和适用性。 展开更多

关键词 决策支持系统 模型驱动 web服务:描述框架

在线阅读 下载PDF 职称材料

Web服务的颜色Petri网模型及验证

12

作者 李景霞 赵慧娟 《计算机应用与软件》 CSCD 2011年第3期80-82,88,共4页

利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组... 利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程。该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性。 展开更多

关键词 颜色PETRI网 模型驱动体系结构 形式化描述模型 web服务组合验证

在线阅读 下载PDF 职称材料

基于Web服务技术的仿真组件模型发布机制

13

作者 杨林 张田文 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2007年第11期1771-1775,共5页

在复杂产品虚拟样机工程中,如何对仿真组件模型进行开发和有效发布,实现产品设计人员对分布在网络化协同制造环境的仿真资源的有效查询和访问,一直是复杂产品协同仿真技术面临的一个主要问题.为了解决这个问题,以国家863/CIMS主题的科... 在复杂产品虚拟样机工程中,如何对仿真组件模型进行开发和有效发布,实现产品设计人员对分布在网络化协同制造环境的仿真资源的有效查询和访问,一直是复杂产品协同仿真技术面临的一个主要问题.为了解决这个问题,以国家863/CIMS主题的科研项目为背景,在分析协同仿真平台COSIM及其支持的仿真模型组件技术的基础上,研究采用Web服务技术开发仿真组件模型,提出为仿真组件模型建立面向对象的发布数据模型,并在企业私有UDDI服务器上实现仿真组件模型的有效发布,最后阐述对基于Web服务的仿真组件模型在网络化协同制造环境中进行查询和调用的机制,实现仿真组件模型的互操作性和可重用性,达到促进复杂产品虚拟样机协同仿真的目的. 展开更多

关键词 复杂产品虚拟样机工程 仿真组件模型 资源发布 web服务 统一描述 发现和集成协议

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

基于语义扩展的空间信息服务描述模型 被引量：1

15

作者 高双 游兰 +1 位作者 桂志鹏 吴华意 《计算机应用》 CSCD 北大核心 2015年第A01期178-182,共5页

空间信息服务是Web服务在空间信息领域的应用,其元数据信息通常采用Web服务描述语言(WSDL)规范描述。然而,WSDL规范着重描述服务元数据的语法形态而欠缺语义描述,着重描述服务的功能特性而欠缺使用细节描述,尤其缺乏针对空间信息服务的... 空间信息服务是Web服务在空间信息领域的应用,其元数据信息通常采用Web服务描述语言(WSDL)规范描述。然而,WSDL规范着重描述服务元数据的语法形态而欠缺语义描述,着重描述服务的功能特性而欠缺使用细节描述,尤其缺乏针对空间信息服务的约束表达,导致空间信息服务难以使用和推广,降低了用户体验。针对这种情况,提出一种基于WSDL语义扩展的轻量级空间信息服务描述模型。该模型在WSDL规范的基础上,针对常见的空间信息服务处理数据类型,扩展其语义描述和约束定义,丰富空间信息服务的描述信息,辅助空间信息服务的使用。在模型的基础上,设计了空间信息服务的使用方法,并在空间信息服务链可视化建模平台Geo Chaining中进行了实验验证,不仅提高了空间信息服务的执行成功率,还降低了空间信息服务的使用难度。 展开更多

关键词 web服务描述语言 空间信息服务 描述模型 语义扩展 约束定义

在线阅读 下载PDF 职称材料

面向应用领域的Web服务发现与匹配 被引量：4

16

作者 叶蕾 张斌 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第11期1544-1547,共4页

面向应用领域的Web服务发现的目标是帮助用户找到能够为其构建应用系统提供功能支持的Web服务,从而降低应用系统开发成本、提高开发效率.提出了一种基于功能语义的Web服务发现方法,以支持面向应用领域的Web服务发现需要.通过定义Web服... 面向应用领域的Web服务发现的目标是帮助用户找到能够为其构建应用系统提供功能支持的Web服务,从而降低应用系统开发成本、提高开发效率.提出了一种基于功能语义的Web服务发现方法,以支持面向应用领域的Web服务发现需要.通过定义Web服务功能语义描述模型,为服务提供者和用户提供了统一的Web服务描述方法;同时在建立领域功能本体的基础上,依靠语义标注机制,消除服务描述间的语义异构;在此基础上,进一步提出基于功能语义的Web服务发现与匹配策略.实验表明该方法是可行和有效的. 展开更多

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

在线阅读 下载PDF 职称材料

面向Web服务的动态电子商务集成框架 被引量：9

17

作者 饶元 冯博琴 《计算机集成制造系统》 EI CSCD 北大核心 2004年第11期1454-1458,共5页

在分析动态电子商务与Web服务技术的基础上,指出了Web服务在动态电子商务的应用中存在的四种应用元模式,即针对B2C面向客户的Web服务模式、针对B2B面向企业应用的Web服务模式、针对扩展电子商务面向设备的Web服务模式和针对协同电子商... 在分析动态电子商务与Web服务技术的基础上,指出了Web服务在动态电子商务的应用中存在的四种应用元模式,即针对B2C面向客户的Web服务模式、针对B2B面向企业应用的Web服务模式、针对扩展电子商务面向设备的Web服务模式和针对协同电子商务面向系统的Web服务模式。在此基础上,提出了一个面向Web服务的动态电子商务四层逻辑结构与一个动态电子商务集成框架模型,该模型在企业内部或外部松耦合环境下均可实现异构平台间的动态集成。同时,原型系统的开发与应用表明:Web服务的动态电子商务集成框架模型不仅具有较高的集成性和扩展性,还为各种复杂的动态电子商务模式的集成与运行提供了有效的支持。 展开更多

关键词 web服务 动态电子商务 可扩展标记语言 统一描述、发现和集成协议 WS—DEBF模型

在线阅读 下载PDF 职称材料

基于Web服务的神经信息学集成环境的架构与设计 被引量：1

18

作者 郑光彬 徐存树 陈卫东 《江南大学学报（自然科学版）》 CAS 2007年第4期419-423,共5页

功能性核磁共振成像技术(fMRI)与正电子断层成像技术(PET)是当前快速发展的脑成像技术,两种成像技术原理不同但功能互补.若能将fMRI成像产生的解剖性信息和PET成像产生的功能性信息结合起来,将能更有利于识别、判断脑部组织的结构与变化... 功能性核磁共振成像技术(fMRI)与正电子断层成像技术(PET)是当前快速发展的脑成像技术,两种成像技术原理不同但功能互补.若能将fMRI成像产生的解剖性信息和PET成像产生的功能性信息结合起来,将能更有利于识别、判断脑部组织的结构与变化;同时,若进一步集成神经信息学相关学科及科研环境,将对基础神经信息学有重大的意义.采用当前流行的Web Service技术设计整合fMRI与PET脑成像技术;同时以浙江大学多学科综合科研环境为背景,进一步设计了一个无缝的资源共享的神经信息学集成环境. 展开更多

关键词 功能性磁共振成像技术 正电子断层成像技术 神经信息学 简单对象访问协议 web服务描述语言 统一发现描述集成

在线阅读 下载PDF 职称材料

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

19

作者 王晨 王红兵 许迅 《计算机应用研究》 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 Services的网络化制造资源管理的关键技术研究 被引量：18

20

作者 贺文锐 何卫平 《计算机集成制造系统》 EI CSCD 北大核心 2004年第11期1382-1388,共7页

以网络化制造环境下制造资源的优化配置为研究目标,构建了面向制造资源功能定义、关联关系定义的制造资源信息模型,并建立了面向制造特征的任务定义模型。在此基础上,结合当前语义Web的研究成果,提出了基于WebServices的网络化制造资源... 以网络化制造环境下制造资源的优化配置为研究目标,构建了面向制造资源功能定义、关联关系定义的制造资源信息模型,并建立了面向制造特征的任务定义模型。在此基础上,结合当前语义Web的研究成果,提出了基于WebServices的网络化制造资源管理系统,详细论述了系统结构中各层次的功能模块,并通过发动机零件加工过程的制造资源配置实例,验证了系统的有效性。 展开更多

关键词 网络化制造 资源管理 资源功能模型 web服务

在线阅读 下载PDF 职称材料