收藏本站
《浙江大学》 2007年
收藏 | 手机打开
二维码
手机客户端打开本文

Web服务自动组合与形式化验证的研究

邓水光  
【摘要】: 面向服务的计算(Service-Oriented Computing,SOC)与面向服务的体系架构(Service-Oriented Architecture,SOA)代表了分布式计算和软件开发的最新发展方向,它们的成熟与发展将引领软件行业的新一轮发展浪潮,并将无可争议的带来软件产业的又一次重大革命。 SOCSOA的核心思想是以服务为基本单位,通过服务重用和快速组合构建随需应变的松耦合分布式应用系统。而Web服务技术的不断成熟和发展为实施和部署SOCSOA提供了最佳支撑技术。其中,Web服务的组合技术已被视为SOCSOA的核心技术,它将是促使SOCSOA从概念走向应用、实施和部署的关键所在。 Web服务组合的研究涉及了众多的热点问题,如Web服务发现、Web服务自动组合、Web服务组合验证、Web服务组合执行等,这些问题共同构成了Web服务组合的研究框架。根据Web服务组合的生命周期,这些问题可被划分为Web服务组合建立时问题与Web服务组合运行时问题。由于Web服务组合的建立作为Web服务生命周期的起源而凸显重要,因而本文围绕建立时的三大问题:Web服务发现、Web服务自动组合与Web服务组合验证展开研究,主要工作与贡献包括如下四个方面: 1)研究了Web服务发现问题,提出了基于语义的二阶段Web服务发现方法。快速准确的Web服务发现方法是实现Web服务重用的关键,也是实施Web服务组合的重要前提。该方法将Web服务发现过程分为基于操作匹配的服务发现和基于操作组合匹配的服务发现两个阶段,充分考虑了服务语义、服务操作内部的接口依赖关系和操作之间的接口赋值关系,通过挖掘操作中的局部依赖输出和操作组合提高服务发现效果。实验结果表明,该方法具有较好的召回率、准确率和可扩展性。 2)研究了Web服务自动组合问题,提出了基于生成树的Web服务自动组合方法。Web服务的自动组合能实现服务的快速组装,是推动SOC与SOA的关键技术。本文提出的基于生成树的Web服务自动组合方法采用了分步分治的思想。它首先为用户期望的每一个目标即时生成完备生成树,然后选取最优的有效生成路径,最后将生成路径合成为大粒度流程式组合服务。该方法具有搜索空间小、复杂度低和速度快的特点,既能处理单目标用户请求,也能处理多目标的用户请求。实验结果表明,该方法能在较短时间内实现服务的自动组合,能较好的满足用户需求。 3)研究了Web服务组合验证问题,提出了基于Pi演算的Web服务组合验证方法。Web服务组合验证能提前发现Web服务组合中存在的缺陷,是提高Web服务组合执行的成功率和增强用户满意度的关键。本文采用Pi演算将Web服务行为和Web服务之间的交互行为进行建模。通过Pi演算的操作语义、自动推演等理论判断Web服务之间交互的兼容性,并且进行定量计算服务之间的兼容度。该方法还能判断出服务在何种情况下能正常交互,在何种情况下无法进行交互,这对服务组合的正确运行和监控具有重要意义。 4)提出了Web服务组合的系统框架,设计并实现了Web服务组合的原型系统。Web服务组合的系统框架从抽象层面刻画了Web服务组合系统的主要组件、功能和过程,这对于设计和实现Web服务组合系统具有重要指导作用。本文提出了Web服务组合的系统框架WSCF,它既支持业务流程驱动的Web服务组合,也支持即时任务求解的Web服务组合。基于WSCF,设计和开发了Web服务组合原型系统JTangFlow-S,在JTangFlow-S中,我们实现了本文提出的Web服务发现、Web服务组合和Web服务组合验证方法。
【学位授予单位】:浙江大学
【学位级别】:博士
【学位授予年份】:2007
【分类号】:TP393.09

【引证文献】
中国期刊全文数据库 前10条
1 陈应东;崔铁军;卢战伟;;基于SOA的空间信息服务架构模式[J];地理信息世界;2008年06期
2 陈书敏;;基于π网的嵌入式系统软硬件划分方法[J];硅谷;2013年15期
3 贾志淳;陈荣;张维石;;航空订票业务的Web服务建模及组合兼容性验证[J];计算机工程与应用;2010年24期
4 王飞明;董荣胜;胡元闯;骆翔宇;;全局优化的分层动态Web服务组合[J];计算机工程与应用;2011年12期
5 刘涛;曾国荪;;一种基于条件Pi演算的组合服务柔性演化模型[J];计算机科学;2011年S1期
6 邓水光;吴朝晖;李莹;吴健;;一种网格工作流的时间管理方法[J];计算机集成制造系统;2008年02期
7 李瑞宁;周竹荣;;基于完备回溯树的语义Web服务自动组合[J];计算机应用;2008年06期
8 郭荣佐;黄君;王霖;;基于π网的嵌入式系统软硬件划分方法[J];计算机应用;2012年03期
9 付鹏斌;李利波;杨惠荣;;基于图规划的语义Web服务自动组合方法[J];计算机应用研究;2011年12期
10 刘超;眭跃飞;曹存根;;描述语义Web服务的带类型的OWL-S[J];计算机工程与应用;2012年22期
中国重要会议论文全文数据库 前2条
1 徐明迪;赵恒;张焕国;;面向可靠性的动态Web服务组合选择策略研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
2 李利波;刘明利;;一种改进的无回溯反向Web服务动态组合方法[A];2011年全国通信安全学术会议论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 傅朝阳;面向实时任务求解的自治服务协同模型、形式语义及其验证[D];浙江大学;2010年
2 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年
3 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
4 李德胜;基于Pi演算的Web服务组合研究[D];北京邮电大学;2011年
5 肖芳雄;面向QoS的Web服务组合建模和验证研究[D];南京航空航天大学;2010年
6 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年
7 朱俊;基于Petri网的Web服务组合的交互模型及其应用机理的研究[D];国防科学技术大学;2011年
8 刘林源;Web服务组合隐私分析与验证研究[D];南京航空航天大学;2011年
9 崔金栋;基于本体的网格信息检索模型研究[D];吉林大学;2011年
10 曾志;云格环境下海量高分遥感影像资源与服务高效调配研究[D];浙江大学;2012年
中国硕士学位论文全文数据库 前10条
1 杨彦博;基于流演算的上下文感知Web服务组合研究[D];浙江大学;2011年
2 宋仲凯;大粒度服务组合验证工具的设计与实现[D];浙江大学;2011年
3 周梁伟;基于SOA的网构软件动态配置系统设计与实现[D];浙江大学;2011年
4 李占峻;基于Pi演算的网格工作流形式化描述及有效性检测[D];解放军信息工程大学;2009年
5 向剑峰;基于OWL-S的语义Web服务组合模型的研究[D];湖北工业大学;2011年
6 张磊;基于Petri网的Web服务组合验证技术[D];吉林大学;2011年
7 江阳;Web服务组合与验证相关技术研究[D];中南大学;2011年
8 简林;基于接口自动机的服务组合验证研究[D];中南大学;2011年
9 张倩;即时任务求解的语义Web服务组合的研究[D];中南大学;2011年
10 刘训沛;基于接口匹配的语义Web服务发现方法研究[D];辽宁大学;2011年
【参考文献】
中国期刊全文数据库 前10条
1 张煜,葛声,孙海龙,马殿富;Web服务组合处理系统的研究与实现[J];北京航空航天大学学报;2005年04期
2 刘峰;谭庆平;杨艳萍;;基于图论的Web服务合成算法[J];华中科技大学学报(自然科学版);2005年S1期
3 虎嵩林,熊锦华,李刚,韩燕波;服务网格中的业务端即时应用集成技术研究[J];计算机研究与发展;2003年12期
4 刘家茂,顾宁,施伯乐;基于Mediator的Web Services无回溯反向链动态合成[J];计算机研究与发展;2005年07期
5 邓水光,俞镇,吴朝晖;动态工作流建模方法的研究与设计[J];计算机集成制造系统;2004年06期
6 史忠植,蒋运承,张海俊,董明楷;基于描述逻辑的主体服务匹配[J];计算机学报;2004年05期
7 胡建强,邹鹏,王怀民,周斌;Web服务描述语言QWSDL和服务匹配模型研究[J];计算机学报;2005年04期
8 杨胜文,史美林;一种支持QoS约束的Web服务发现模型[J];计算机学报;2005年04期
9 吴健,吴朝晖,李莹,邓水光;基于本体论和词汇语义相似度的Web服务发现[J];计算机学报;2005年04期
10 马应龙,金蓓弘,冯玉琳;基于进化分布式本体的语义Web服务动态发现[J];计算机学报;2005年04期
中国硕士学位论文全文数据库 前1条
1 瞿炜杰;钱塘应用服务器服务流平台的设计与实现[D];浙江大学;2006年
【共引文献】
中国期刊全文数据库 前10条
1 袁亮;董玉德;高大鹏;赵韩;韩雪松;;基于BizTalk HWS的动态工作流活动模型与实现技术的研究[J];安徽大学学报(自然科学版);2009年01期
2 邹海;储德新;高顺利;;基于Petri网的工作流建模与分析[J];安徽大学学报(自然科学版);2011年02期
3 褚英敏;袁再健;陈庆伟;杨聪;;构建“数字家园”关键技术探讨[J];安徽农业科学;2010年13期
4 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
5 张以文;;一种支持用户偏好的语义Web服务组合算法[J];安庆师范学院学报(自然科学版);2007年04期
6 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
7 刘奎;赵晓静;;一种支持QOS约束面向语义的web服务发现机制[J];安庆师范学院学报(自然科学版);2010年03期
8 张莹;黄厚宽;孙超;;服务资源一体化发现原型系统[J];北京交通大学学报;2008年02期
9 刘鹏;闫会心;;武警机关办公自动化工作流协同模型研究[J];办公自动化;2008年08期
10 王楠;王东海;;电子公文制发中的工作流与数据挖掘技术的普及应用[J];办公自动化;2010年18期
中国重要会议论文全文数据库 前10条
1 唐海燕;陈宁江;;一种基于关联匹配度计算的语义Web服务匹配方法[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年
2 付晓东;邹平;尚振宏;姜瑛;;QoS信息不确定情况下的Web服务选择[A];第二十七届中国控制会议论文集[C];2008年
3 周相兵;;基于Ontology的语义Web服务聚合自动机研究及应用[A];第二十七届中国控制会议论文集[C];2008年
4 陈红英;;基于广义表概念树的Web服务匹配[A];第二十七届中国控制会议论文集[C];2008年
5 孙海春;丁志军;;基于Petri-box的服务模型与组合模式研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
6 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
7 白琳;魏峻;;一种面向Mashup自动构造的目标分解方法[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
8 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
9 李晓林;李钢;张仁斌;高森;张明;;基于着色时间Petri网的公文发文工作流建模与分析[A];中国仪器仪表学会第十三届青年学术会议论文集[C];2011年
10 李宏伟;吴国荣;袁永华;;基于本体的Web服务自动组合方法研究[A];第四届海峡两岸GIS发展研讨会暨中国GIS协会第十届年会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 张宇;个性化移动内容服务的模型和支持技术研究[D];华中科技大学;2010年
2 杜曼玲;供应链过程管理的分析方法与技术实现[D];北京交通大学;2010年
3 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年
4 傅朝阳;面向实时任务求解的自治服务协同模型、形式语义及其验证[D];浙江大学;2010年
5 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年
6 王强;空间信息服务聚合的关键技术研究[D];解放军信息工程大学;2010年
7 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
8 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
9 吴修国;面向目标的迁移工作流建模方法研究[D];山东大学;2010年
10 高磊;P2P工作流系统中的资源搜索及负载均衡优化研究[D];山东大学;2010年
中国硕士学位论文全文数据库 前10条
1 王欢;基于网格制造的焊接车间信息集成系统的研究[D];南昌航空大学;2010年
2 王晨亮;基于工作流的资源环境建模框架的设计与实现[D];山东科技大学;2010年
3 胡晓文;基于Petri网的非确定工作流的时间和资源管理问题研究[D];山东科技大学;2010年
4 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
5 徐加帅;一种支持QoS的Web服务扩展机制的研究[D];山东科技大学;2010年
6 李鹏;支持智能决策的虚拟企业系统设计与分析[D];山东科技大学;2010年
7 王广伦;基于构件的软件系统定制技术的研究与应用[D];山东科技大学;2010年
8 聂剑锋;基于QoS的Web服务选择研究[D];浙江理工大学;2010年
9 梁永会;面向网格服务的SWAT模型集成体系研究[D];郑州大学;2010年
10 宋超臣;基于推荐网络的服务搜索技术研究[D];哈尔滨工程大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 张以文;;一种支持用户偏好的语义Web服务组合算法[J];安庆师范学院学报(自然科学版);2007年04期
2 程承旗;宋树华;;全球空间信息GeoDNA编码模型及应用方法初探[J];北京大学学报(自然科学版)网络版(预印本);2009年01期
3 綦佳;王海燕;宗刚;;服务链理论研究[J];北京工业大学学报(社会科学版);2006年04期
4 戎帅;陈宏盛;薛丹;左怀玉;;基于OWL-S的地理空间信息服务描述与发现[J];兵工自动化;2009年11期
5 邓志鸿,唐世渭,张铭,杨冬青,陈捷;Ontology研究综述[J];北京大学学报(自然科学版);2002年05期
6 康辉;苑森淼;浦洁;刘勇;;基于Pi演算的Web服务建模与WSDL转换[J];北京工业大学学报;2008年11期
7 薛伟,刘旭东,葛声,林学练;Web服务运行管理平台安全结构的研究与实现[J];北京航空航天大学学报;2003年10期
8 杜宗霞,怀进鹏,王勇,张煜;组合Web Service支撑系统的研究与实现[J];北京航空航天大学学报;2003年10期
9 刘强,李哲浩,唐晓青;制造科学与工程的学科发展与前沿研究问题[J];北京航空航天大学学报;2004年04期
10 邢少敏;周伯生;陈天影;;基于WordNet本体和PLSA的语义Web服务发现[J];北京航空航天大学学报;2009年11期
中国重要会议论文全文数据库 前3条
1 栾衡;张世栋;隋琪;;一种基于服务功能社区的规划算法[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 薛庆;张世栋;隋琪;;一种基于服务关联的Web服务发现算法[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 余超;蔡东风;张桂平;;词汇语义相似度计算中相关技术的分析[A];第三届学生计算语言学研讨会论文集[C];2006年
中国重要报纸全文数据库 前1条
1 荀攸;[N];计算机世界;2004年
中国博士学位论文全文数据库 前10条
1 殷昱煜;面向服务的软件动态配置技术研究[D];浙江大学;2010年
2 宋雅娟;Web服务组合方法研究[D];吉林大学;2011年
3 萧毅鸿;基于本体的复杂决策任务表示方法与求解技术研究[D];南京大学;2011年
4 康俊锋;云计算环境下高分辨率遥感影像存储与高效管理技术研究[D];浙江大学;2011年
5 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年
6 陶春华;QoS感知的Web服务发现与组合研究[D];天津大学;2010年
7 肖芳雄;面向QoS的Web服务组合建模和验证研究[D];南京航空航天大学;2010年
8 朱俊;基于Petri网的Web服务组合的交互模型及其应用机理的研究[D];国防科学技术大学;2011年
9 王磊;C~4ISR体系结构服务视图建模描述与分析方法研究[D];国防科学技术大学;2011年
10 方雷;基于云计算的土地资源服务高效处理平台关键技术探索与研究[D];浙江大学;2011年
中国硕士学位论文全文数据库 前10条
1 黄智斌;企业信息化整合的规划与设计[D];华东师范大学;2010年
2 张祥涛;基于语义Web服务的多层次匹配模型的研究与实现[D];华南理工大学;2010年
3 谢毅;海量遥感影像数据存储组织结构研究[D];河南大学;2011年
4 陈志俊;语义Web服务发现机制研究[D];合肥工业大学;2011年
5 张旭云;Web服务组合中QoS评估及服务选择的关键技术研究[D];南京大学;2011年
6 武彩红;基于QoS的语义Web服务组合研究[D];陕西师范大学;2011年
7 刘磊;基于RIA和SOA的分布式WebGIS研究[D];江西理工大学;2011年
8 张倩;即时任务求解的语义Web服务组合的研究[D];中南大学;2011年
9 陈艳金;MapReduce模型在Hadoop平台下实现作业调度算法的研究和改进[D];华南理工大学;2011年
10 王盼盼;基于BPEL工作流的服务组合技术研究[D];沈阳理工大学;2011年
【二级引证文献】
中国期刊全文数据库 前10条
1 刘小林;华一新;王波;代林元;;基于服务的通用作战态势图构架研究[J];测绘工程;2012年02期
2 李艳;高扬;;基于地图API的Web地图服务及应用研究[J];地理信息世界;2010年02期
3 巨晶;;服务组合的可信性获取方法研究[J];电脑编程技巧与维护;2012年02期
4 廖建尚;;论Mashup技术与传统系统集成方案的异同[J];电脑知识与技术;2009年12期
5 胡文江;魏晓东;高永兵;吴纪磊;;权限管理技术在Mashup构建中的研究与应用[J];电脑知识与技术;2010年02期
6 叶恒舟;罗晓娟;牛秦洲;;基于归约图的语义Web服务自动组合[J];桂林理工大学学报;2010年03期
7 王旭辉;李廷全;覃勇;;面向服务的门诊药房系统建模[J];电子设计工程;2012年03期
8 李翔;丁嘉鹏;刘鑫夫;;基于Google map API的Mashup专题地图的设计与制作[J];测绘工程;2012年06期
9 郑棣;樊银亭;;云制造环境下基于普适计算的个性化服务定制技术研究[J];重庆电子工程职业学院学报;2013年02期
10 程靓;;基于SOA的技术交易全程服务系统接口组件研究与设计[J];电脑与信息技术;2013年03期
中国重要会议论文全文数据库 前1条
1 王艳军;;一种基于SOA的地理信息共享模型的设计与实现[A];第二届“测绘科学前沿技术论坛”论文精选[C];2010年
中国博士学位论文全文数据库 前10条
1 王寓辰;面向移动商务的协作组织及其评价研究[D];华中科技大学;2010年
2 杜曼玲;供应链过程管理的分析方法与技术实现[D];北京交通大学;2010年
3 傅朝阳;面向实时任务求解的自治服务协同模型、形式语义及其验证[D];浙江大学;2010年
4 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年
5 王忠军;基于GIS的智能高速公路管理关键技术研究与实现[D];解放军信息工程大学;2009年
6 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
7 康俊锋;云计算环境下高分辨率遥感影像存储与高效管理技术研究[D];浙江大学;2011年
8 李德胜;基于Pi演算的Web服务组合研究[D];北京邮电大学;2011年
9 谭力;构建基于G/S模式的数字月球平台关键技术研究[D];成都理工大学;2011年
10 刘斌;基于G/S模式的非物质文化遗产异构数据可视化共享机制研究与实现[D];成都理工大学;2011年
中国硕士学位论文全文数据库 前10条
1 庞涛;基于动态语义的服务虚拟化模型的研究[D];辽宁工程技术大学;2009年
2 宋词;Web服务组合的应用研究[D];辽宁工程技术大学;2009年
3 谢怀;基于Web服务的B2B电子商务的关键技术研究与设计[D];河南工业大学;2010年
4 梁硕;电子商务中基于SOA工作流架构的研究[D];河北工程大学;2010年
5 刘荣华;基于P2P的语义Web服务查找与组合模型研究[D];南昌大学;2010年
6 宋仲凯;大粒度服务组合验证工具的设计与实现[D];浙江大学;2011年
7 王翔;基于SOA的物流园区信息服务平台设计及运营模式研究[D];武汉理工大学;2010年
8 郭永社;网络制造环境中服务组合的研究[D];西安工业大学;2011年
9 尹修平;基于SOA和XML的制造业异构数据集成的研究[D];西安工业大学;2011年
10 杨柳;基于云计算的GIS应用模式研究[D];河南大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 杜宗霞,怀进鹏,王勇,张煜;组合Web Service支撑系统的研究与实现[J];北京航空航天大学学报;2003年10期
2 任志宏,李京,金蓓弘;基于Internet工作流的复合Web服务框架[J];计算机研究与发展;2003年07期
3 舒剑,胡春明,葛声,怀进鹏;Web Service运行管理平台的研究与实现[J];计算机研究与发展;2004年03期
4 李景山,廖华明,侯紫峰,徐志伟;普及计算中基于接口语义描述的动态服务组合方法[J];计算机研究与发展;2004年07期
5 赵卓峰,韩燕波,喻坚,王建武;一种支持业务用户编程的服务虚拟化技术——VINCA聚合服务机制[J];计算机研究与发展;2004年12期
6 陈翔,夏国平;基于Petri网的工作流建模技术及在仿真中的应用[J];计算机工程与应用;2003年22期
7 杨东;王英林;张申生;傅谦;;工作流过程建模方法及模型的形式化验证[J];计算机科学;2003年09期
8 吴健,蔡铭,唐敏,董金祥;网络制造中Web Service的服务质量模糊排序方法[J];计算机辅助设计与图形学学报;2005年07期
9 王晓玲,郭志懋,周傲英;Web服务组合的基于文法的消息处理[J];计算机学报;2005年04期
10 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期
中国博士学位论文全文数据库 前1条
1 吴健;基于Web服务的网络化产品配置技术研究[D];浙江大学;2004年
中国硕士学位论文全文数据库 前3条
1 金岳平;基于本体论的服务组合:Dartflow的设计和实现[D];浙江大学;2005年
2 李为存;面向服务设计的Web服务组合系统中调度执行机制的研究与实现[D];东北大学;2005年
3 谢苑红;面向服务设计的Web服务组合系统中图形化建模工具的研究与实现[D];东北大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 高晓燕;余镇危;史银龙;;基于QoS的P2P网络服务组合聚集遗传算法模型[J];计算机工程;2007年19期
2 张以文;;一种支持用户偏好的语义Web服务组合算法[J];安庆师范学院学报(自然科学版);2007年04期
3 吉春山;刘晓燕;吕苏环;;Web服务语言BPEL到接口自动机的转换[J];山东理工大学学报(自然科学版);2008年02期
4 刘青;张世龙;杨锐;连祥鉴;;基于模拟退火算法的QoS约束web服务组合(英文)[J];Journal of Southeast University(English Edition);2008年03期
5 王锐兵;许有志;王道平;;基于语义扩展的知识服务检索与组合方法研究[J];情报杂志;2008年12期
6 曹科强;顾庆;任颖新;陈道蓄;;服务组合中基于DTMC的可靠性和性能分析[J];计算机科学;2009年10期
7 刘冰;饶若楠;;一种普适环境下面向服务的事务处理模型[J];计算机应用与软件;2010年05期
8 张程;熊锦华;韩燕波;杨少华;;Web服务组合中地理信息的集成与应用研究[J];计算机科学;2006年03期
9 王国法;孙晓亭;王昆;;Web服务组合中的服务选择研究[J];计算机与信息技术;2007年06期
10 陈世展;冯志勇;;服务网络:Web服务组合的新基点[J];计算机应用研究;2008年05期
中国重要会议论文全文数据库 前10条
1 江琦;奚宏生;殷保群;;网络新媒体服务系统事件驱动的动态服务组合[A];第二十九届中国控制会议论文集[C];2010年
2 袁兆山;吴亮;;QoS驱动的事务性WEB服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
3 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
4 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
5 张艳梅;;基于Overlay网络的服务组合研究综述[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
6 成睿星;苏森;杨放春;;使用范例推理的服务组合方法研究[A];2006年全国通信软件学术会议论文集[C];2006年
7 赵芸;司华友;;基于OWL-S需求驱动的WEB服务组合研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
8 崔倩;申利民;;基于QoS的Web服务组合优化策略[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
9 亓开元;李基梅;;业务端编程模式与现行服务组合模式的对比分析[A];煤矿自动化与信息化——第19届全国煤矿自动化与信息化学术会议暨中国矿业大学(北京)百年校庆学术会议论文集[C];2009年
10 李宏伟;吴国荣;袁永华;;基于本体的Web服务自动组合方法研究[A];第四届海峡两岸GIS发展研讨会暨中国GIS协会第十届年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 周自进;珠宝展应讲究服务组合[N];中国黄金报;2003年
2 本报实习记者 王一;借“服务牌”曲径通幽[N];通信产业报;2006年
3 陈秀云于刚;临淄工商:打好服务组合“牌”[N];淄博日报;2008年
4 冯霖铭靳选东;打好执法与服务组合拳[N];中国质量报;2007年
5 记者 邹良丽 通讯员 丛广;草庙子镇:“服务组合拳”助项目提速[N];威海日报;2011年
6 中国科学院计算技术研究所 万长林史忠植 彭晖;语义Web解决Web服务难题[N];计算机世界;2007年
7 郭涛;咨询与管理一气呵成[N];中国计算机报;2006年
8 计育青;“应用为先”树立戴尔服务新主张[N];中国电子报;2003年
9 张小琳;IPTV 能否在亚洲实现真正的腾飞?[N];中国经营报;2006年
10 韩燕波;SOA与网格:整合资源新模式[N];计算机世界;2006年
中国博士学位论文全文数据库 前10条
1 向峰;云制造系统中基于能耗的服务组合关键技术研究[D];武汉理工大学;2013年
2 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年
3 刘波;云制造环境中面向多任务的服务组合与优化技术研究[D];重庆大学;2012年
4 朱锐;可信服务组合若干关键技术研究[D];国防科学技术大学;2009年
5 陈志勇;面向模糊请求的服务组合关键问题研究[D];山东大学;2011年
6 马林;基于可信评估的服务组合方法研究[D];中国科学技术大学;2012年
7 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年
8 翟岩龙;开放网络环境中动态自适应服务组合技术研究[D];北京理工大学;2009年
9 刘阳;云计算中服务组合与选择技术研究[D];北京邮电大学;2013年
10 张帅;基于服务组合的跨企业协作关键技术研究[D];浙江大学;2011年
中国硕士学位论文全文数据库 前10条
1 赵伟伟;基于冗余的可靠Web服务组合方法研究[D];燕山大学;2010年
2 陈楠;语义Web服务组合相关技术研究[D];中南大学;2010年
3 谭征;一种Web服务组合的自动化模型检测方法[D];桂林电子科技大学;2010年
4 鲁琳;面向服务质量的服务组合方法研究[D];浙江大学;2006年
5 许楠;Web服务组合可视化建模工具的研究与实现[D];大连海事大学;2010年
6 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年
7 丁卫东;基于QoS的Web服务组合优化选取问题研究[D];曲阜师范大学;2011年
8 袁东维;基于SLA的语义Web服务组合[D];陕西师范大学;2010年
9 郭明花;CCML语言的Web服务组合解释器研究与实现[D];大连海事大学;2011年
10 田加正;物联网环境下基于QoS的Web服务组合研究[D];中国石油大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026