检索结果-内蒙古大学图书馆

计算机应用 2012年第2期32卷 545-550页

作者：李劲张华吴浩雄向军湖北民族学院信息工程学院湖北恩施445000 华中师范大学信息管理系武汉430079

web服务编排和web服务编制从全局和局部分别定义了web服务组合的全局交互行为和每个参与者的局部行为,为了保证web服务组合实现的正确性,web服务组合的全局交互行为和每个参与者的局部行为必须是一致的。首先利用进程代数给出了对web服... 详细信息

web服务编排和web服务编制从全局和局部分别定义了web服务组合的全局交互行为和每个参与者的局部行为,为了保证web服务组合实现的正确性,web服务组合的全局交互行为和每个参与者的局部行为必须是一致的。首先利用进程代数给出了对web服务组合的全局交互行为、局部行为以及二者之间的映射关系的形式化描述,在此基础上分别通过分析全局会话变迁和局部进程变迁的关系和进程互相似理论给出了web服务组合全局交互行为和局部行为的一致性的两个形式化判定准则。同时通过案例说明了如何形式化地检测web服务组合的全局交互行为和局部行为之间的一致性。结果显示提出的web服务组合一致性形式化定义和检测方法能检测组合行为的一致性,从而能有效地保证web服务组合的正确性。

关键词： web服务组合一致性检查 web服务形式化方法

来源：评论

学校读者我要写书评

暂无评论

web服务组合在水利领域中的应用

引用

计算机工程与应用 2008年第7期44卷 209-212页

作者：程永上王志坚河海大学计算机与信息工程学院南京210098

随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立web服务组合的模式,以及组... 详细信息

随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立web服务组合的模式,以及组合模型正确性验证的方法,并提出了将Petri网模型影射到可执行的BPEL4WS的方法。通过一个实例,说明了基于MDA的web服务组合技术在水利领域应用集成中的作用。最后进行了总结,指出了下一步工作。

关键词： MDA web服务 web服务组合水利

来源：评论

学校读者我要写书评

暂无评论

web服务组合时间限制一致性研究

引用

计算机应用研究 2006年第3期23卷 237-239页

作者：李景霞侯紫峰赵慧娟中国科学院计算所联想研究院北京100085 上海水产大学信息学院上海200090

随着W eb服务技术的发展,使得利用W eb服务组合来满足应用的需求成为可能。通过扩展W eb服务的OWL-S描述模型———加入W eb服务可用时间段描述信息,使检测组合服务时间限制冲突成为可能,并给出了W eb服务组合时间限制一致性检查算法,... 详细信息

随着W eb服务技术的发展,使得利用W eb服务组合来满足应用的需求成为可能。通过扩展W eb服务的OWL-S描述模型———加入W eb服务可用时间段描述信息,使检测组合服务时间限制冲突成为可能,并给出了W eb服务组合时间限制一致性检查算法,能有效地去除了存在时间限制冲突的服务组合方案,减少了因执行不合理的服务组合方案所造成的W eb服务资源的浪费。

关键词： web服务 web服务组合时间限制一致性

来源：评论

学校读者我要写书评

暂无评论

web服务组合中商业事务处理的研究

引用

小型微型计算机系统 2006年第1期27卷 121-125页

作者：王勇张煜尹瑞北京航空航天大学北京100083

web服务组合已经成为业界的研发热点.在web服务组合中,不同的成员web服务之间存在着操作一致性和可靠性的处理要求,需要在web服务组合中提供对于事务处理的支持.尽管目前业界已经存在许多的web服务组合模型和描述语言,但是都没有提供对... 详细信息

web服务组合已经成为业界的研发热点.在web服务组合中,不同的成员web服务之间存在着操作一致性和可靠性的处理要求,需要在web服务组合中提供对于事务处理的支持.尽管目前业界已经存在许多的web服务组合模型和描述语言,但是都没有提供对于事务处理的支持.本文分析了web服务组合中的事务处理需求,通过扩展在web服务组合描述语言中已经占据主导地位的BPEL4WS规范,在BPEL4WS中引入了对于主流的web服务事务协议的支持,并在此基础上实现了一个原型系统TAWSCRS.

关键词： web服务 web服务组合事务商业事务处理

来源：评论

学校读者我要写书评

暂无评论

web服务组合性能评价的流逼近与扩散逼近研究

引用

计算机应用研究 2018年第3期35卷 795-802页

作者：骞志勇樊瑞娜燕山大学经济管理学院河北秦皇岛066044

web服务组合系统的规模尺度和复杂程度的不断提高以及调用请求的周期化和一般化,使得web服务组合系统的性能建模和分析更加困难。针对该问题,建立了一组将服务组合的基本交互关系和web服务器处理能力、负载等因素映射到开排队网络的映... 详细信息

web服务组合系统的规模尺度和复杂程度的不断提高以及调用请求的周期化和一般化,使得web服务组合系统的性能建模和分析更加困难。针对该问题,建立了一组将服务组合的基本交互关系和web服务器处理能力、负载等因素映射到开排队网络的映射规则。提出了一种基于逼近理论与排队模型相结合的分析方法,克服了以往研究中调用请求到达过程和服务过程受限的情况,得到了系统关键性能指标的流逼近与扩散逼近定理。最后,分析了系统的性能及其变化规律。该方法为研究更加一般的大型web服务组合系统提供了一个新的途径。

关键词： web服务组合排队网络流极限扩散极限性能分析

来源：评论

学校读者我要写书评

暂无评论

web服务组合隐私分析与验证研究

Web服务组合隐私分析与验证研究

引用

作者：刘林源南京航空航天大学

学位级别：博士

面向服务计算SOC(Service-Oriented Computing)是一种基于Internet的分布式计算模式,代表了软件开发的最新发展方向。SOC以web服务作为基本组成单元,有效地解决了在分布、动态、异构环境下的分布式应用集成问题。web服务组合是实现SOC... 详细信息

面向服务计算SOC(Service-Oriented Computing)是一种基于Internet的分布式计算模式,代表了软件开发的最新发展方向。SOC以web服务作为基本组成单元,有效地解决了在分布、动态、异构环境下的分布式应用集成问题。web服务组合是实现SOC的核心技术之一,它通过组合已有的web服务形成新的增值服务,用以满足用户的需求。用户在享受组合服务功能的同时,需要释放一些个人隐私信息,用以支持组合服务的执行。由于面向服务环境的开放、自治和动态的本质,组合服务的提供者在获得这些隐私信息后,可能会未经授权的访问、使用和暴露它们,从而对用户造成了极大的隐私危害。面对这些危害,用户越来越担心其个人信息的隐私安全,他们一方面希望通过组合服务来完成业务功能,另一方面他们也希望所遭遇的隐私危害最小,因此如何在满足用户功能需求的前提下最大可能的减小隐私危害是实现安全web服务组合的一个关键问题。当前国内外研究者对web服务组合开展了广泛而深入的研究,但很少关注保护用户的个人隐私。针对当前研究工作的不足,本文围绕web服务组合中的隐私分析与验证问题展开研究,主要成果如下: (1)研究了web服务组合隐私分析与验证框架,该框架支持用户表达个性化的隐私策略、设置隐私数据的敏感度,并支持服务组合者在设计服务组合时,验证该组合是否满足用户的隐私策略约束,并且分析它的隐私暴露与授权问题,基于上述分析验证过程所组合的web服务能减少对隐私数据的误用和危害,为提高组合服务的安全性和可靠性提供了基础。 (2)研究了web服务组合隐私访问控制问题,提出一种基于信任度的web服务组合隐私访问控制模型,该模型利用信任度作为服务访问隐私权限的资格条件,给出了隐私策略执行系统,分析了该系统的功能组件以及执行流程,并且给出了相应的隐私授权决策算法,为细粒度的隐私授权的实施提供了重要保障。 (3)研究了web服务组合隐私建模与验证问题,提出一种扩展隐私语义的接口自动机模型,利用该模型对web服务及其组合的隐私行为进行建模,给出了服务的BPEL流程活动到隐私接口自动机的转换方法;在此基础上将服务组合的自动机模型转换到它的相容状态空间可达图,然后提出了隐私授权验证算法,根据该算法检测可达图中是否存在隐私策略违背,从而验证服务组合是否满足用户的隐私策略约束,为提高组合服务的功能正确性和隐私安全性提供了重要保障。 (4)研究了web服务组合中的隐私暴露与授权问题,提出一种web服务组合最小隐私暴露与最优隐私授权分析方法。首先给出了隐私暴露代价的计算方法,对满足隐私策略约束的相容状态空间可达图加注隐私暴露代价形成隐私代价可达图;然后提出了最小隐私代价可达路径算法,使用它对隐私代价可达图中的路径进行暴露代价计算,从而分析服务组合中的最小隐私暴露问题;最后提出了最优隐私策略设置算法,利用该算法在最小隐私代价可达图的基础上分析了服务组合中的最优隐私授权。最小隐私暴露和最优隐私授权问题的分析对减小服务组合的隐私危害具有重要的意义。 (5)基于以上方法和理论,设计和实现了web服务组合隐私分析验证原型工具,利用该工具对服务组合进行隐私分析和验证,并通过一个实例说明本文所提方法和理论的正确性和实用性。

关键词： web服务组合隐私保护信任度接口自动机验证分析

来源：评论

学校读者我要写书评

暂无评论

一种基于Petri网的自动web服务组合算法

引用

西安电子科技大学学报 2008年第4期35卷 609-613页

作者：门鹏段振华西安电子科技大学计算理论与技术研究所陕西西安710071

为了自动获得性能最优的web服务组合方案,提出一种自动web服务组合算法.该方法根据用户的组合需求和已有的web服务,自动生成服务组合的数据流模型,并用Petri网描述;通过抽取Petri网中变迁之间以及变迁序列之间的各种并发关系,得到性能... 详细信息

为了自动获得性能最优的web服务组合方案,提出一种自动web服务组合算法.该方法根据用户的组合需求和已有的web服务,自动生成服务组合的数据流模型,并用Petri网描述;通过抽取Petri网中变迁之间以及变迁序列之间的各种并发关系,得到性能最佳的web服务组合方案,并将最佳方案转换为业务过程执行语言的抽象模板.与已有方法相比,该方法能有效地获得性能最佳的具有控制流结构的组合方案.

关键词： Petri网 web服务组合语义web服务并发性语义

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的web服务组合分析方法

引用

北京理工大学学报 2009年第7期29卷 618-621,629页

作者：张常有曹元大胡晶晶靳军于炯北京理工大学计算机学院北京市智能信息技术实验室北京100081 石家庄铁道学院计算机与信息工程分院河北石家庄050043

为提高web服务组合的运行效率,提出了基于有色Petri网的web服务组合网系统概念,用于web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持web服务组合协调节点间的网络延迟、数据依赖... 详细信息

为提高web服务组合的运行效率,提出了基于有色Petri网的web服务组合网系统概念,用于web服务组合的建模和性能分析.以电子资源跨库查询过程为实例,构建实例的理想模型和缓存限制模型.模型支持web服务组合协调节点间的网络延迟、数据依赖、控制依赖等因素.基于CPN Tools仿真平台,验证了模型的正确性,并在仿真实验中监测了查询延迟、查询成功率、缓存占用率等指标.结果表明,实施缓存限制策略前后,分布式模型比集中式模型均有更好的性能.

关键词： Petri网 web服务组合网络延迟缓存限制策略

来源：评论

学校读者我要写书评

暂无评论

一种基于有色Petri网的语义web服务组合验证机制

引用

计算机集成制造系统 2007年第11期13卷 2203-2210页

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

web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

QoS约束下的语义web服务组合评估及优化

引用

天津大学学报（自然科学与工程技术版） 2015年第2期48卷 126-138页

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

针对QoS约束下的语义web服务组合的多个组合方案,提出组合质量概念,并改进组合算法以便快速获得高质量组合方案.针对组合质量的不同指标,引入质量平衡系数,构造可调节的启发函数,并增加到两步组合算法的后向搜索中,从而使用户通过调节... 详细信息

针对QoS约束下的语义web服务组合的多个组合方案,提出组合质量概念,并改进组合算法以便快速获得高质量组合方案.针对组合质量的不同指标,引入质量平衡系数,构造可调节的启发函数,并增加到两步组合算法的后向搜索中,从而使用户通过调节质量平衡系数,获得预期质量的组合方案.为了提高组合速度,在高效数据存储结构的基础上,采用逐步变窄的前向搜索策略.基于前述改进的算法实现一个组合规划器.实验表明该规划器能够快速给出满足QoS约束的组合方案,且通过质量平衡系数的设置,能够给出满足预期质量的组合方案.

关键词： web服务组合组合质量两步搜索质量平衡系数

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：