收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于有色Petri网的Web服务组合

杨秀丽  
【摘要】: 随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以保证服务组合的正确性和可靠性。另外,参与组合的服务可能包含很多复杂操作,需要定义这些操作的编排规则(choreography rules),但是现有的组合语言都没有提供编排复杂操作的技术。Web服务组合流程的验证和编排规则的定义,是Web服务组合研究领域中的关键问题。 本文首先提出了一个基于有色Petri网(Colored Petri Nets,CPN)的Web服务组合模型,该模型可以定义服务组合和服务的编排规则。利用该模型,可以对组合流程进行形式化的分析和验证,从而可以保证服务组合的正确性和可靠性。基于该组合模型,给出了编排规则生成算法。利用该算法,可以从组合模型中自动推导出组合后的新服务的编排规则,从而提高了新服务的复用性。然后,说明了如何将BPEL4WS转换为CPN模型,还给出了服务组合模型的分析与验证方法,并设计了一个可视化的分析验证工具JCPN。最后,实现了一个Web服务组合系统,该系统不但可以创建Web服务组合,分析验证组合的正确性,还可以自动推导出复合服务的编排规则。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈红;;基于参考网的Web服务组合模型[J];计算机应用;2006年12期
2 李盛恩;洪晓光;;一种业务流程QoS有保障的动态服务组合方法[J];计算机科学;2007年12期
3 钟读杭;齐治昌;徐锡山;;基于冗余的Web服务组合可靠性优化方法[J];计算机工程;2008年04期
4 钟读杭;齐治昌;徐锡山;;基于N版本程序设计的Web服务组合可靠性优化[J];计算机工程与科学;2008年06期
5 莫振华;蔡鸿明;姜丽红;;基于遗传算法的多QoS约束服务选择[J];计算机应用与软件;2009年03期
6 苏焕程;黄志球;刘林源;;基于接口自动机的BPEL4WS Web服务组合形式化模型[J];计算机应用研究;2009年05期
7 邹金安;;Petri网在语义Web服务组合中的应用研究[J];河北工程大学学报(自然科学版);2009年03期
8 李景霞;侯紫峰;;基于颜色Petri网的Web服务组合建模及应用[J];计算机应用研究;2006年09期
9 冯名正;;Web服务组合研究综述[J];计算机应用与软件;2007年02期
10 辜希武;李瑞轩;卢正鼎;;Web服务组合规范WS-CDL的类型化形式化模型(英文)[J];Journal of Southeast University(English Edition);2008年03期
11 高云全;;一种基于领域本体的语义Web服务动态组合方法[J];软件导刊;2008年12期
12 李顺新;凌海洋;江南;;基于工作流模板的Web服务组合模型研究[J];计算机与现代化;2009年07期
13 吴善明;沈建京;韩强;;基于领域本体和OWL-S的Web服务组合方法[J];计算机工程;2009年21期
14 房丙午;刘力;张成叔;;一种Web服务组合事务框架的设计与实现[J];计算机系统应用;2010年05期
15 黄伟增;;SAT与Web服务组合关键技术分析与探讨[J];电脑编程技巧与维护;2011年04期
16 邓建军;肖迎元;王敏;王恒;;基于自适应蚁群的实时Web服务组合算法[J];天津理工大学学报;2011年02期
17 柯锋;李瑞轩;宋伟;於光灿;;一种P2P环境中基于语义的Web服务组合方法[J];计算机工程与科学;2007年08期
18 钟读杭;齐治昌;;利用软件容错技术提高Web服务组合的可靠性[J];计算机工程与科学;2008年03期
19 熊伟;;Web服务组合综述[J];信息化纵横;2009年05期
20 陈丽金;周娅;;基于Web服务组合的主从式失效检测器研究[J];信息化纵横;2009年13期
中国重要会议论文全文数据库 前10条
1 张翠苓;方正沅;;系统思想是编辑工作的指导思想[A];学报编辑论丛(第四集)[C];1993年
2 郭光新;;关于执行《科技学术期刊编排规则的一些问题》[A];四川省科技期刊编辑学会论文集[C];1988年
3 刘波;吴家铸;;Web服务组合分布式协调模型研究[A];2006年全国开放式分布与并行计算学术会议论文集(二)[C];2006年
4 赵国桥;;关于提高科技期刊校对质量的探讨[A];科技期刊编辑研究文集(第四集)[C];1996年
5 党齐民;臧官灵;;高校IT服务管理模型的研究及应用[A];第十届中国科协年会信息化与社会发展学术讨论会分会场论文集[C];2008年
6 仲晶;黄志球;;面向服务质量的Web服务选择方法:研究综述[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
7 郑栋;张育平;;基于语义的动态Web服务组合系统架构[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
8 徐静云;;学报编辑部的工作规范和程序[A];四川高校学报编辑文集[C];1989年
9 吕炳贵;谭梅风;何济华;;《海军医高专学报》在改革中提高[A];学报编辑论丛(第六集)[C];1996年
10 李玉祥;;加强内部科技期刊编辑部的建设[A];四川省科技期刊编辑学会论文集[C];1988年
中国博士学位论文全文数据库 前10条
1 康辉;基于PI-演算的CPN在移动通信服务建模的研究与应用[D];吉林大学;2008年
2 冯名正;Web服务组合关键技术研究[D];东南大学;2006年
3 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
4 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年
5 辜希武;Web服务组合形式化模型研究[D];华中科技大学;2007年
6 梅健;基于Web服务组合的文本分类PSE问题研究[D];上海大学;2008年
7 门鹏;基于Petri网的Web服务组合相关技术研究[D];西安电子科技大学;2009年
8 刘兵;基于Web服务组合的网格工作流研究[D];中国科学技术大学;2007年
9 成睿星;基于范例推理技术的服务组合研究[D];北京邮电大学;2008年
10 童红霞;基于Agent的Web服务组合技术研究[D];上海交通大学;2009年
中国硕士学位论文全文数据库 前10条
1 杨秀丽;基于有色Petri网的Web服务组合[D];吉林大学;2007年
2 李晶睿;数据可视化的Web服务及其组合的研究与开发[D];武汉理工大学;2007年
3 陈旭晖;基于规划的语义Web服务组合技术研究[D];福州大学;2006年
4 贾志淳;基于Pi演算的Web服务组合兼容性验证方法研究[D];大连海事大学;2008年
5 宋英杰;基于OCL的Web服务组合形式化约束研究[D];大连海事大学;2009年
6 孙长俊;Web服务组合关系的研究与实现[D];河海大学;2007年
7 王赫;基于着色赋时Petri网的Web服务组合流程建模研究[D];大连海事大学;2008年
8 马临萍;基于WS-BPEL的web服务组合技术研究[D];西北大学;2008年
9 魏慧;基于软件体系结构的Web服务组合研究[D];苏州大学;2008年
10 陈阳;Web服务组合模型及相关技术的研究[D];哈尔滨工程大学;2008年
中国重要报纸全文数据库 前10条
1 刘奕湛;方便台胞来往大陆和居留[N];人民日报海外版;2008年
2 刘奕湛;公安部3措施方便台胞来往大陆及居留[N];新华每日电讯;2008年
3 蒋升阳;13省市游客可直通金马澎[N];云南经济日报;2008年
4 本报记者 施莺;车主如何选号牌[N];南通日报;2008年
5 通讯员 杨毅 王栋 刘宁宁;今起市民买车可上网选牌照[N];天津日报;2009年
6 记者 毛庆通讯员 刘卫东;台胞证号码一人一号,终身不变[N];南京日报;2008年
7 周堪;自主编号:我喜欢,我选择[N];人民公安报·交通安全周刊;2008年
8 陈春园;南昌:小车号牌自助选号[N];人民公安报·交通安全周刊;2007年
9 卢闽 盛芳芳;浙江铁通规范“装机范围”表编排[N];人民邮电;2008年
10 许雪毅康淼;王毅宣布五项新举措,促两岸大交流[N];新华每日电讯;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978