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

软件学报 2018年第2期29卷 299-319页

作者：丁志军周泽霞嵌入式系统与服务计算教育部重点实验室(同济大学) 上海201804 上海市电子交易与信息服务协同创新中心(同济大学) 上海201804

随着面向服务技术和云计算技术的不断成熟,尤其是面向服务体系结构SOA的不断完善以及推广,其主要内容web服务已经被广泛应用.为了充分利用web服务并解决单个web服务功能有限的问题,业界将多个原子web服务按照一定的规则和业务逻辑进行组... 详细信息

随着面向服务技术和云计算技术的不断成熟,尤其是面向服务体系结构SOA的不断完善以及推广,其主要内容web服务已经被广泛应用.为了充分利用web服务并解决单个web服务功能有限的问题,业界将多个原子web服务按照一定的规则和业务逻辑进行组合,以提供更多功能更强大的服务,实现了web服务的增值和复用.为了保证web服务组合的质量,需要对web服务组合进行全面、充分的测试.然而,web服务组合的动态特性和分布式特点使得其测试技术和方法与传统的软件测试有很大的区别,存在很多挑战.针对web服务组合测试,对近年来web服务组合测试研究中的测试用例生成技术、回归测试技术、测试执行和度量方法进行了系统的总结和分析.此外,还对web服务组合测试中有待研究的问题进行了分析和展望.

关键词： web服务组合测试测试用例生成测试执行和度量回归测试

来源：评论

学校读者我要写书评

暂无评论

web服务组合中行为兼容性分析与优化控制策略

引用

电子学报 2011年第12期39卷 2842-2849页

作者：毕敬朱志良范玉顺东北大学信息科学与工程学院辽宁沈阳110004 北京仿真中心航天系统仿真重点实验室北京100854 清华大学自动化系北京100084

针对web服务组合中交互行为不兼容问题,本文提出了基于Petri网的优化控制策略来规避.首先,给出了多个服务交互行为不兼容的实例.其次,给出了受控服务组合的形式化定义,并根据约减规则生成了约减的服务组合网状态可达图,从而识别出死锁... 详细信息

针对web服务组合中交互行为不兼容问题,本文提出了基于Petri网的优化控制策略来规避.首先,给出了多个服务交互行为不兼容的实例.其次,给出了受控服务组合的形式化定义,并根据约减规则生成了约减的服务组合网状态可达图,从而识别出死锁状态和无死锁状态.在导致死锁状态的关键变迁上添加相应的控制库所和弧,并结合最大允许反馈控制策略,从而推导出最优控制器,并证明了该方法的正确性.此外,通过服务组合中交互行为不兼容的实例证实了基于最优控制器策略的有效性.最后,本文将最优控制器模型转换成BPEL.

关键词： web服务组合兼容性最优控制器死锁避免

来源：评论

学校读者我要写书评

暂无评论

web服务组合中基于QoS的自底向上服务替换

引用

浙江大学学报（工学版） 2010年第4期44卷 700-709页

作者：尹可挺周波张帅徐斌陈一稀江丹浙江大学计算机科学与技术学院浙江杭州310027 道富信息科技(浙江)有限公司浙江杭州310030

为了适应开放环境中动态变化的web服务资源,保证组合web服务持续满足业务需要,提出一种支持QoS约束、基于自底向上的服务替换方法.从组合中需要被替换的单个服务出发,基于合成模式迭代地选出可以作为整体被替换的服务子图.使用历史数据... 详细信息

为了适应开放环境中动态变化的web服务资源,保证组合web服务持续满足业务需要,提出一种支持QoS约束、基于自底向上的服务替换方法.从组合中需要被替换的单个服务出发,基于合成模式迭代地选出可以作为整体被替换的服务子图.使用历史数据及QoS约束对这些服务子图的备选替换服务进行筛选,并基于多属性决策方法(MADM)进行效能评估,最终选出满足全局QoS约束且使效能最大化的服务.实验结果表明,该方法能够有效扩大替换服务的选择范围,替换结果优于传统服务替换方法的结果,可以更好地保证组合服务的整体QoS指标得到维持和优化.

关键词：服务替换 web服务组合 QoS 自底向上

来源：评论

学校读者我要写书评

暂无评论

web服务组合语义一致性验证研究

引用

计算机集成制造系统 2009年第1期15卷 202-208页

作者：王志坚程永上徐经纬河海大学计算机与信息工程学院江苏南京210098 南京邮电大学计算机学院江苏南京210046

通过分析web服务组合正确性验证方法,给出了与web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述web服务组合过程,而且能够进行web服务组合的正确性验证。提出了web服务组合语义一致性所包含的内容,给出了其相应验证算法。... 详细信息

通过分析web服务组合正确性验证方法,给出了与web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述web服务组合过程,而且能够进行web服务组合的正确性验证。提出了web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。

关键词： web服务组合语义 Petri网一致性服务质量

来源：评论

学校读者我要写书评

暂无评论

web服务组合在网络管理中的应用探究

引用

计算机科学 2008年第8期35卷 106-108页

作者：江东青岛大学青岛266033

随着网络规模的扩大,网络管理人员希望得到越来越高的网管信息集成度。web服务(web Service)是近几年出现的新技术。在本论文中,我们展示了web Service技术除了可以作为网管协议和webservice协议之间的桥梁之外,还可以通过与SNMP协议等... 详细信息

随着网络规模的扩大,网络管理人员希望得到越来越高的网管信息集成度。web服务(web Service)是近几年出现的新技术。在本论文中,我们展示了web Service技术除了可以作为网管协议和webservice协议之间的桥梁之外,还可以通过与SNMP协议等的紧密结合,为网络管理提供功能强大的工具。本文探讨了将web服务组合(web Service composition)应用到网络管理上的可能性。例如从多个不同的设备之间获得信息并将其进行集成,及在管理端为使用者提供一个简单和快速的获取网管信息的界面。通过使用合适的工具,不仅可以在网络管理方面使用web服务组合,而且web服务组合还可以和现有的传统管理技术很好地共存,最大限度地保护已有的投资。

关键词： web服务组合接桥技术设备信息聚合 BPEL4WS

来源：评论

学校读者我要写书评

暂无评论

web服务组合系统扩展GSPN建模与化简规则

引用

应用科学学报 2013年第6期31卷 633-642页

作者：杨怀洲王学龙西安石油大学计算机学院西安710065

使用广义随机Petri网(generalized stochastic Petri net,GSPN)对具有复杂时间约束信息的大规模web服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸.针对此问题提出一种扩展GSPN建模方法.将不同类型的时间约束信息分... 详细信息

使用广义随机Petri网(generalized stochastic Petri net,GSPN)对具有复杂时间约束信息的大规模web服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸.针对此问题提出一种扩展GSPN建模方法.将不同类型的时间约束信息分别施加于模型的位置、变迁和弧,可以简洁直观地表达系统复杂时间约束信息.进而提出一组应用于扩展模型的化简规则,对模型中一些常用结构进行化简,克服了GSPN缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题,减小了系统模型的状态空间.多种模型下的化简示例表明,所提方法有效降低了系统性能分析的复杂度,适用于对大多数web服务组合系统进行快速性能分析.

关键词： web服务组合广义随机Petri网化简性能分析

来源：评论

学校读者我要写书评

暂无评论

一种基于随机Petri网的web服务组合性能瓶颈定位策略

引用

计算机学报 2013年第10期36卷 1953-1966页

作者：何炎祥沈华武汉大学计算机学院武汉430079 武汉大学软件工程国家重点实验室武汉430072 湖北工业大学计算机学院武汉430068

web服务组合的性能对推动以服务为核心的价值链的良性融合起着重要作用.针对如何有效发现web服务组合中性能瓶颈的问题,提出一种基于随机Petri网的web服务组合性能分析模型,根据库所和变迁之间的直接关系总结出模型的4种基本结构,通过... 详细信息

web服务组合的性能对推动以服务为核心的价值链的良性融合起着重要作用.针对如何有效发现web服务组合中性能瓶颈的问题,提出一种基于随机Petri网的web服务组合性能分析模型,根据库所和变迁之间的直接关系总结出模型的4种基本结构,通过结构转换得到性能瓶颈定位分析结构集{顺序结构,分支结构,汇聚结构},在此基础上提出一种web服务组合性能瓶颈定位策略.该策略首先根据库所中token消耗的速度将库所分成主动受阻库所、被动受阻库所和流通库所3类,然后分别基于3类库所在3种分析结构中的不同分布情况,通过顺向结构分析和逆向结构分析相结合的方法,讨论瓶颈可能存在的位置,并给出如何确定3种分析结构的结构发现定理.实验证明策略的预测结果是有效的.

关键词：随机Petri网 web服务 web服务组合性能瓶颈瓶颈定位

来源：评论

学校读者我要写书评

暂无评论

支持服务质量全局最优和动态重计划的web服务组合

引用

计算机集成制造系统 2008年第10期14卷 2068-2075页

作者：龚小勇朱庆生武春岭李林重庆大学计算机学院重庆400044 重庆电子工程职业学院计算机系重庆401331

为了动态地把现存的各种web服务整合起来,形成新的、满足不同用户需求的、增值的复杂服务,提出了一种支持服务质量全局最优和动态重计划的web服务组合算法。该算法使用位置矩阵编码方式表示所有组合路径和重计划信息。通过计算个体间服... 详细信息

为了动态地把现存的各种web服务整合起来,形成新的、满足不同用户需求的、增值的复杂服务,提出了一种支持服务质量全局最优和动态重计划的web服务组合算法。该算法使用位置矩阵编码方式表示所有组合路径和重计划信息。通过计算个体间服务质量的海明距离,提高了服务组合的质量;通过指定用户总时间限制和实施优良解保留策略,解决了算法运行时间对服务质量的影响问题。与同类成果相比,该算法提供了一种在动态环境下更完整和有效的服务组合的服务质量解决方案。实验结果证明了算法的可行性和有效性。

关键词： web服务组合服务质量位置矩阵重计划遗传算法

来源：评论

学校读者我要写书评

暂无评论

基于G/G/1-FCFS、M/G/1-PS和M/G/∞排队网络的web服务组合性能分析

引用

计算机学报 2013年第1期36卷 22-38页

作者：汪浩黄明和龙浩江西师范大学软件学院南昌330022

影响web服务组合性能的因素分为"内因"和"外因",内因具体表现为:BPEL流程的结构、BPEL流程中变量取值的概率分布;外因具体表现为:web服务器的软硬件处理能力、web服务器的负载(包括"正对其进行性能分析的web... 详细信息

影响web服务组合性能的因素分为"内因"和"外因",内因具体表现为:BPEL流程的结构、BPEL流程中变量取值的概率分布;外因具体表现为:web服务器的软硬件处理能力、web服务器的负载(包括"正对其进行性能分析的web服务组合"对web服务器形成的负载和"其它web服务组合"对web服务器形成的负载)以及web服务器的调度策略.目前广泛采用的广义Petri网、排队Petri网、Markov过程和随机进程代数等模型不能同时综合建模上述各种"内因"和"外因"对web服务组合性能的影响,导致不能全面分析web服务组合在互联网环境下的性能.文中建立了一组把影响web服务组合性能的各种"内因"和"外因"映射到具有G/G/1-FCFS、M/G/1-PS和M/G/∞排队节点类型的排队网络的映射规则,给出了一组建立在排队网络基础上的web服务组合性能分析指标体系及其计算公式,并以这些性能分析指标体系为基础,分析了web服务组合的性能及其变化规律,以便在web服务组合部署前,分析预测web服务组合在互联网环境下的性能.

关键词：面向服务计算 BPEL web服务组合排队网络性能分析

来源：评论

学校读者我要写书评

暂无评论

web服务组合的层次化建模

引用

西北大学学报（自然科学版） 2013年第1期43卷 39-44页

作者：王玉英陈平西安建筑科技大学理学院陕西西安710055 西安电子科技大学软件工程研究所陕西西安710071

目的形式化地描述web服务组合流程,为更好地使用工具和现有方法验证以及测试web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的... 详细信息

目的形式化地描述web服务组合流程,为更好地使用工具和现有方法验证以及测试web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了web服务组合的层次化建模方法。结论层次化构建web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析web服务组合。

关键词： web服务组合 BPEL 层次化有色Petri网建模

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：