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

Web服务组合形式化模型研究

辜希武  
【摘要】: 随着Web服务技术的迅速发展,越来越多的的Web服务运行在Internet上,但单个的Web服务功能有限,难以满足日益增长和不断变化的用户需求。因此,如何将已有的、运行在异构平台上的Web服务组合起来,以提供给用户更为强大和增值的功能,成为Web服务研究领域中的一个热点。 由于已有的Web服务可能是彼此独立地开发,以不同语言实现,运行在不同的、异构的平台上,因此Web服务组合存在的问题有:如何描述Web服务的动态行为,如何定义和描述Web服务间的交互的逻辑顺序以保证Web服务的动态行为的匹配性,如何保证Web服务之间传递消息的数据类型的一致性,如何对组合的Web服务进行验证和测试以确保执行结果的正确性。 目前已经提出的Web服务组合规范如BPEL4WS、WS-CDL都是基于XML的描述性语言,缺乏一种形式化模型来表达语言的语义以及形式化验证方法来保证用这些规范所定义的Web服务组合的正确性。同时,由于参与Web服务组合的各个子服务都运行在分布式异构的环境下,因此想依靠组合的Web服务的实际运行来检测组合中的错误是代价昂贵的并且几乎是不可能的,因此对Web服务组合的形式化验证也是必须的而且是非常重要的。 解决上述问题的一个行之有效的办法就是针对Web服务组合规范如BPEL4WS、WS-CDL建立合适的形式化模型,形式化地定义和描述Web服务组合的动态交互行为,利用Web服务组合的形式化模型对Web服务组合的性质如死锁避免、数据类型一致性和动态行为的匹配性进行检查和验证,以保证Web服务组合的动态行为的匹配和数据类型的一致性。 因此,针对Web服务组合规范BPEL4WS和WS-CDL,研究了基于工作流的Web服务组合形式化模型以及如何利用Web服务组合的形式化模型对Web服务组合的动态行为的匹配和数据类型的一致性进行验证。 针对Web服务组合规范BPEL4WS,分别建立了BPEL4WS到Pi-演算和CSP的概念映射,在此基础上,建立了基于Pi-演算和CSP的BPEL4WS形式化模型;同时给出了从BPEL4WS到Pi-演算和CSP进程的自动转换算法和模型的验证方法。 针对Web服务组合规范WS-CDL,建立了基于全局的形式化模型框架AbstractWS-CDL,在此基础上利用Abstract WS-CDL对WS-CDL中各类行为进行了形式化描述;同时定义了将全局模型框架Abstract WS-CDL映射到基于Pi-演算的局部BPEL4WS模型的映射规则,并给出了全局模型框架和局部模型一致性的形式化定义;然后给出了全局和局部二个层次的模型验证方法以及全局模型框架和局部模型一致性的验证方法。 利用基于Pi-演算的形式化方法研究和给出了二个Web服务的强互相容和弱互相容的形式化定义,在二个Web服务弱互相容定义的基础上,定义了二个Web服务之间互投影的算法,进而给出了多个Web服务互相容的形式化定义;然后给出了Web服务的可替换性的判断准则和二个Web服务相容性的检测算法。 研究和给出了类型化的BPEL4WS形式化模型和类型化的Abstract WS-CDL形式化模型框架,特别是提出了进程类型假设集的外延和进程类型假设集相容性的概念,并且给出了进程类型假设集的合并算法;在此基础上,定义了全局会话和局部进程类型良好性的推理规则和捕获由于类型不一致而导致运行时错误的操作语义。同时,给出了从类型化的全局模型框架到类型化的局部模型的映射规则;然后,针对类型化的Abstract WS-CDL,给出了全局会话类型安全性质的证明。 根据所建立的全局和局部模型,给出了一个自顶向下的Web服务组合实现框架iFrame4WS,在该框架中将Web服务组合的过程划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来保证Web服务组合的的动态行为的匹配和数据类型的一致性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 胡显伟;杨雷;代钰;张斌;;服务网格中面向业务用户的服务组合方法[J];沈阳航空工业学院学报;2007年04期
2 高晓燕;余镇危;史银龙;;基于QoS的P2P网络服务组合聚集遗传算法模型[J];计算机工程;2007年19期
3 张以文;;一种支持用户偏好的语义Web服务组合算法[J];安庆师范学院学报(自然科学版);2007年04期
4 吉春山;刘晓燕;吕苏环;;Web服务语言BPEL到接口自动机的转换[J];山东理工大学学报(自然科学版);2008年02期
5 刘青;张世龙;杨锐;连祥鉴;;基于模拟退火算法的QoS约束web服务组合(英文)[J];Journal of Southeast University(English Edition);2008年03期
6 王锐兵;许有志;王道平;;基于语义扩展的知识服务检索与组合方法研究[J];情报杂志;2008年12期
7 曹科强;顾庆;任颖新;陈道蓄;;服务组合中基于DTMC的可靠性和性能分析[J];计算机科学;2009年10期
8 刘冰;饶若楠;;一种普适环境下面向服务的事务处理模型[J];计算机应用与软件;2010年05期
9 张程;熊锦华;韩燕波;杨少华;;Web服务组合中地理信息的集成与应用研究[J];计算机科学;2006年03期
10 王国法;孙晓亭;王昆;;Web服务组合中的服务选择研究[J];计算机与信息技术;2007年06期
11 陈世展;冯志勇;;服务网络:Web服务组合的新基点[J];计算机应用研究;2008年05期
12 罗楠;严隽薇;刘敏;;语义Web服务自动组合的有色网验证模型(英文)[J];系统仿真学报;2008年11期
13 朱正东;伍卫国;胡亚红;李增智;;一种基于最小覆盖的复杂Web服务组合方法[J];西安交通大学学报;2008年08期
14 邓水光;吴朝晖;;Web服务组合方法综述[J];中国科技论文在线;2008年02期
15 唐磊;淮晓永;李明树;;一种基于上下文协商的动态服务组合方法[J];计算机研究与发展;2008年11期
16 曾云峰;周航;黄志球;;BPEL的测试用例生成研究[J];计算机工程与设计;2008年20期
17 李杜;陈松乔;;基于语义的动态服务组织模型[J];计算机技术与发展;2008年11期
18 魏慧;戎玫;张广泉;;一种基于体系结构的Web服务组合描述方法[J];计算机工程与科学;2008年12期
19 王强;王家耀;郭建忠;;基于Agent的空间信息服务组合研究[J];测绘科学技术学报;2009年01期
20 吕庆聪;干露;曹奇英;;普适计算服务组合技术综述[J];计算机应用研究;2009年02期
中国重要会议论文全文数据库 前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 向峰;云制造系统中基于能耗的服务组合关键技术研究[D];武汉理工大学;2013年
2 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年
3 刘波;云制造环境中面向多任务的服务组合与优化技术研究[D];重庆大学;2012年
4 尤殿龙;面向服务编排的大粒度Web服务组合演化方法及关键技术研究[D];燕山大学;2014年
5 朱锐;可信服务组合若干关键技术研究[D];国防科学技术大学;2009年
6 沈华;基于Petri网的Web服务组合性能评价体系的研究[D];武汉大学;2013年
7 陈志勇;面向模糊请求的服务组合关键问题研究[D];山东大学;2011年
8 马林;基于可信评估的服务组合方法研究[D];中国科学技术大学;2012年
9 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年
10 翟岩龙;开放网络环境中动态自适应服务组合技术研究[D];北京理工大学;2009年
中国硕士学位论文全文数据库 前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年
中国重要报纸全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978