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

Web服务组合形式化验证和服务选择算法研究

熊向辉  
【摘要】: Web服务为企业IT体系结构带来互操作性、灵活性和复用性,改变了商业伙伴之间的合作方式,使企业能通过服务组合来共享资源,自动化商业流程。Web服务组合问题近年来成为研究热点。 基于服务编排和编制的组合方法的结合能够有效提高服务流程建模的效率和准确性,WS-CDL、WS-BPEL分别是基于服务编排和编制的主要组合规范。但二者属于不同层次的技术规范体系,其针对服务流程描述的一致性需得到保证。二者的一致性验证是个亟待研究的问题。 随着Web服务种类和数量的不断扩大,面向服务组合规模较大背景下的服务选择立刻凸现,其中服务选择的算法是核心问题。但目前已有工作很少涉及到此。 针对上述问题,本文研究成果体现在以下两个方面: 1)基于CSP的Web服务编排和编制一致性检查。在设定的转化规则下,Web服务编排语言WS-CDL和Web服务编制语言WS-BPEL被映射为CSP语言,然后基于CSP的模型检测工具PAT将进行二者的一致性检测。并给出了一个电子商务的案例。 2)提出大规模Web服务选择算法GAELS。针对候选服务众多的大规模Web服务选择问题,提出一种新的Web服务选择算法GAELS(GeneticAlgorithm Embedded Local Searching),该算法运用高适应度初始种群和局部搜索的变异策略,加快收敛速度。通过实验评测表明与简单遗传算法相比,GAELS算法能更快得到近似最优解,且随着服务规模增长,拥有更好的适应性。
【学位授予单位】:浙江大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP393.09

手机知网App
【共引文献】
中国期刊全文数据库 前10条
1 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
2 袁红照;WWW下基于Petri Net的协同编辑模型[J];安阳师范学院学报;2002年02期
3 姜朋慧,姜志红,须德;工作流系统中路由图构造问题[J];北方交通大学学报;2000年06期
4 高志民;姚崎;;面向并行安全网关流水线模型的无锁队列算法[J];北京交通大学学报;2010年05期
5 王莘;;工作流引擎与OA系统内涵的深化[J];办公自动化;2006年15期
6 窦万春,李东波,张世琪;基于模型分解的工作流管理系统[J];兵工自动化;2000年03期
7 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
8 焦思红,屈云光;建筑设计中PDM系统开发的关键问题及其实现技术[J];北京工业职业技术学院学报;2003年04期
9 杨延双;张晶;杨武;张艺;;工作流自动化机制在数字医院系统中的应用[J];北京工业大学学报;2006年09期
10 赵晓峰;赵正旭;周以齐;杨超英;;设备操作控制过程模型及其仿真环境的规范化研究[J];北京工业大学学报;2012年03期
中国重要会议论文全文数据库 前10条
1 付晓东;邹平;;基于元流程的Web服务组合例外处理模型[A];第二十六届中国控制会议论文集[C];2007年
2 万芳;沈建京;韩丁;张慧;;基于SOA的服务构件组合技术研究[A];第二十七届中国控制会议论文集[C];2008年
3 欧阳青;;工作流技术在高校教育管理系统中的应用研究[A];第十八届玻璃钢/复合材料学术年会论文集[C];2010年
4 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
5 孙栋栋;王玉斌;马争先;张净;;基于NS2的队列管理机制RED的研究及仿真[A];广西计算机学会2010年学术年会论文集[C];2010年
6 吴宝中;龚京忠;李国喜;黄亮;;基于数据库的工作流管理系统研究[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年
7 吕刚;王坚;严隽薇;董志斌;;工作流技术及其在制造企业中的应用研究[A];第二十届中国控制会议论文集(下)[C];2001年
8 胡金柱;舒江波;陈志伟;杜志强;窦桂琴;;基于本体构件的工作流检索研究[A];第四届中国软件工程大会论文集[C];2007年
9 高德平;周国祥;;基于着色Petri网的工作流模型的研究与应用[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
10 张琪;赵霁;;工作流技术在信息管理系统中的应用[A];2005全国自动化新技术学术交流会论文集(三)[C];2005年
中国硕士学位论文全文数据库 前10条
1 王欢;基于网格制造的焊接车间信息集成系统的研究[D];南昌航空大学;2010年
2 李鹏;支持智能决策的虚拟企业系统设计与分析[D];山东科技大学;2010年
3 王华亮;基于三维模型的船舶涂层管理信息系统研究[D];哈尔滨工程大学;2010年
4 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
5 马文涛;基于Web Services的工作流系统新模型的研究与实现[D];辽宁工程技术大学;2010年
6 郑雪;面向CG-VR的项目研发和资源管理系统的设计及应用[D];中国海洋大学;2010年
7 张宇迪;基于手持终端的继电保护设备HMI系统设计[D];河南工业大学;2010年
8 苏昭;关系代数→关系演算转换系统的研制[D];江西师范大学;2010年
9 张晓燕;基于CSCW的网络协同办公系统设计与实现[D];西北大学;2010年
10 钱进;Web服务工作流的研究及其在城市地铁应急平台中的应用[D];中国铁道科学研究院;2010年
【同被引文献】
中国期刊全文数据库 前9条
1 陆汝钤,金芝,陈刚;面向本体的需求分析[J];软件学报;2000年08期
2 孙昌爱,金茂忠,刘超;软件体系结构研究综述[J];软件学报;2002年07期
3 刘书雷;刘云翔;张帆;唐桂芬;景宁;;一种服务聚合中QoS全局最优服务动态选择算法[J];软件学报;2007年03期
4 刘譞哲;黄罡;梅宏;;用户驱动的服务聚合方法及其支撑框架[J];软件学报;2007年08期
5 邓水光;李莹;吴健;邝砾;吴朝晖;;Web服务行为兼容性的判定与计算[J];软件学报;2007年12期
6 王杰生;李舟军;李梦君;;用描述逻辑进行语义Web服务组合[J];软件学报;2008年04期
7 林正奎;杨德礼;;领域分析方法研究综述[J];计算机工程与设计;2006年04期
8 林清滢;;基于UDDI的语义Web服务发现研究[J];计算机工程与设计;2006年12期
9 郭秀清;严隽薇;;模型驱动的企业集成研究[J];同济大学学报(自然科学版);2006年03期
中国硕士学位论文全文数据库 前3条
1 鲁琳;面向服务质量的服务组合方法研究[D];浙江大学;2006年
2 张振中;支持QoS的Web服务选择[D];北京邮电大学;2006年
3 金苍宏;基于服务特性的动态Web服务组合研究[D];浙江大学;2008年
【二级参考文献】
中国期刊全文数据库 前3条
1 史美林,杨光信;一个协同设计支撑系统原型——CoDesign[J];清华大学学报(自然科学版);1998年S1期
2 岳昆,王晓玲,周傲英;Web服务核心支撑技术:研究综述[J];软件学报;2004年03期
3 史美林;CSCW:计算机支持的协同工作[J];通信学报;1995年01期
【相似文献】
中国期刊全文数据库 前10条
1 王宏琦;刘旭东;王勇;;基于QoS的服务选择系统的研究和实现[J];微计算机信息;2006年30期
2 李方敏;CGI的安全编程[J];计算机工程与应用;1999年06期
3 宋如顺,姜乃松;基于Web的远程考试系统设计与实现[J];计算机工程;1999年06期
4 王红霞,姚家亮;利用ASP构建新型信息系统的方法与实现[J];计算机应用;1999年09期
5 邓劲生,张银福;面向对象的多媒体信息WEB发布[J];计算机应用研究;1999年09期
6 刁兴春,李赤红;Intranet环境下事务处理的理论研究和实现[J];小型微型计算机系统;1999年06期
7 高昆;基于ASP的WEB站点开发技术分析[J];北华大学学报(社会科学版);1999年05期
8 王清心,胡建华;经贸数据库的WEB集成发布[J];昆明理工大学学报;1999年02期
9 李晶,朱秋萍;Web页制作中的动态表现技术[J];计算机工程;2000年06期
10 刘波,代亚非,杜跃进;远程协同教学系统中课程搜索子系统设计[J];计算机应用;2000年06期
中国重要会议论文全文数据库 前10条
1 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
2 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
3 黄胜;彭敦陆;王晓玲;周傲英;;基于与或树搜索的快速Web服务组合方法[A];第二十二届中国数据库学术会议论文集(研究报告篇)[C];2005年
4 刘振鹏;常晓萌;张杨;宋晓静;周冬冬;;基于QoS的语义Web服务选择[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
5 袁兆山;吴亮;;QoS驱动的事务性WEB服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
6 李利波;刘明利;;一种改进的无回溯反向Web服务动态组合方法[A];2011年全国通信安全学术会议论文集[C];2011年
7 陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
8 于冰;于守健;丁祥武;乐嘉锦;;基于多层次接口匹配的语义Web服务自动组合研究[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
9 徐明迪;赵恒;张焕国;;面向可靠性的动态Web服务组合选择策略研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
10 付晓东;邹平;;基于元流程的Web服务组合例外处理模型[A];第二十六届中国控制会议论文集[C];2007年
中国重要报纸全文数据库 前10条
1 赵晓涛;Web安全 服务为王[N];网络世界;2008年
2 本报记者 赵晓涛;Web安全:历史的命题[N];网络世界;2008年
3 彭敏;企业级Web2.0迎来应用高潮[N];电脑商报;2009年
4 本报记者 毛江华;安启华联手赛门铁克 掘金Web安全[N];计算机世界;2009年
5 闫冰;“推”出Web交付新天地[N];网络世界;2009年
6 赵晓涛;中国成全球Web安全新看点[N];网络世界;2009年
7 边歆;动态阻断Web2.0威胁[N];网络世界;2009年
8 泰乐公司首席技术官兼执行副总裁Vikram Saksena;学习Web 3.0 做聪明的“管道工”[N];通信产业报;2009年
9 ;Web2.0工具使用须谨慎[N];网络世界;2009年
10 Anchiva中国区总经理 李松;Web安全选型三个标准[N];网络世界;2008年
中国博士学位论文全文数据库 前10条
1 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
2 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
3 马小宁;铁路信息共享的Web服务组合关键技术研究[D];北京交通大学;2010年
4 刘铁江;组合Web服务选择、部署与执行的关键技术研究[D];复旦大学;2011年
5 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年
6 宋雅娟;Web服务组合方法研究[D];吉林大学;2011年
7 刘林源;Web服务组合隐私分析与验证研究[D];南京航空航天大学;2011年
8 周宁;Web服务组合中若干问题的研究[D];南京大学;2011年
9 鲍亮;基于函数式编程的Web服务组合技术研究[D];西安电子科技大学;2010年
10 刘莉平;动态Web服务组合关键技术研究[D];中南大学;2011年
中国硕士学位论文全文数据库 前10条
1 陈楠;语义Web服务组合相关技术研究[D];中南大学;2010年
2 丁卫东;基于QoS的Web服务组合优化选取问题研究[D];曲阜师范大学;2011年
3 熊向辉;Web服务组合形式化验证和服务选择算法研究[D];浙江大学;2010年
4 赵伟伟;基于冗余的可靠Web服务组合方法研究[D];燕山大学;2010年
5 谭征;一种Web服务组合的自动化模型检测方法[D];桂林电子科技大学;2010年
6 袁东维;基于SLA的语义Web服务组合[D];陕西师范大学;2010年
7 田加正;物联网环境下基于QoS的Web服务组合研究[D];中国石油大学;2011年
8 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年
9 何亚丽;基于XYZ/ADL的Web服务组合验证研究[D];苏州大学;2010年
10 王阳阳;多目标粒子群算法在Web服务组合中的应用研究[D];河南大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026