一种需求驱动的服务行为适配方法

发布时间：2017-10-29 11:22

  本文关键词：一种需求驱动的服务行为适配方法

  更多相关文章： Web服务 FSM模型 行为模型 适配器 用户需求

【摘要】：现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。
【作者单位】： 南京航空航天大学计算机科学与技术学院;南京晓庄学院数学与信息技术学院;
【关键词】： Web服务 FSM模型 行为模型 适配器 用户需求
【基金】：国家自然科学基金资助项目(61272083;61202136;61262002) 国家“863”高技术研究发展计划资助项目(2009AA010307) 中国博士后科学基金资助项目(20110491411)
【分类号】：TP393.09
【正文快照】： Web服务作为实现SOA架构的重要技术有效地解决了在分布、动态、异构环境下分布式应用集成问题。由于单个Web服务提供的功能有限,为了满足实际应用的需要,常常通过组合已有Web服务以形成增值的、具有更大粒度的Web服务。随着服务组合方法的不断成熟和广泛应用,网络上出现越来越

【参考文献】

中国期刊全文数据库 前4条

1 殷昱煜;李莹;邓水光;尹建伟;;Web服务行为一致性与相容性判定[J];电子学报;2009年03期

2 张广泉;戎玫;王f;;时间感知Web服务交互行为建模与失配检测方法研究[J];电子学报;2011年11期

3 史玉良;王海洋;张亮;施伯乐;;Web服务合成的相容性与替换性分析[J];计算机研究与发展;2007年11期

4 杜彦华;范玉顺;李喜彤;;基于模块化可达图的服务组合验证及BPEL代码生成[J];软件学报;2010年08期

【共引文献】

中国期刊全文数据库 前10条

1 王勇;代桂平;侯亚荣;方娟;任兴田;;基于并发事务逻辑的Web服务编制验证[J];电子学报;2009年10期

2 张广泉;戎玫;王f;;时间感知Web服务交互行为建模与失配检测方法研究[J];电子学报;2011年11期

3 毕敬;朱志良;范玉顺;;Web服务组合中行为兼容性分析与优化控制策略[J];电子学报;2011年12期

4 梅晓勇;李师贤;黄昌勤;郑小林;;一种支持组合事务的执行语义分析方法[J];电子学报;2012年07期

5 黄龙涛;邓水光;戴康;李莹;尹建伟;;基于MapReduce的并行Web服务自动组合[J];电子学报;2012年07期

6 曲明;刘淑芬;包铁;;一种用于评价语义Web服务质量的多属性关系建模方法[J];电子学报;2012年08期

7 冯英华;;独立全局约束的Web服务组合模型的验证与分析[J];长沙大学学报;2013年02期

8 刘莹;张一川;张斌;张明卫;朱志良;;基于行为效果的服务可替换性分析[J];计算机研究与发展;2010年08期

9 郑剑;江建慧;;基于弱同步的服务交互适配方法[J];计算机集成制造系统;2010年08期

10 郑剑;江建慧;;基于标签转换系统的Web服务行为失配类型的判定方法[J];计算机集成制造系统;2011年12期

中国博士学位论文全文数据库 前10条

1 殷昱煜;面向服务的软件动态配置技术研究[D];浙江大学;2010年

2 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年

3 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年

4 崔金栋;基于本体的网格信息检索模型研究[D];吉林大学;2011年

5 杨勇;SOA等级化服务替换理论与机制[D];复旦大学;2011年

6 毛一梅;基于服务质量的Web服务关键技术研究[D];东华大学;2009年

7 龙浩;网格语义工作流关键技术研究[D];北京工业大学;2010年

8 周宁;Web服务组合中若干问题的研究[D];南京大学;2011年

9 邓娜;BPEL流程生命周期中若干关键问题研究[D];北京邮电大学;2011年

10 曲明;基于本体的服务发现与组合方法研究[D];吉林大学;2012年

中国硕士学位论文全文数据库 前10条

1 周梁伟;基于SOA的网构软件动态配置系统设计与实现[D];浙江大学;2011年

2 付徐明;基于形式化方法的构件行为分析与演化研究[D];云南大学;2011年

3 陈圣标;基于BMC的Web服务失配检测方法研究[D];苏州大学;2011年

4 陈艳;面向软件产品族的模块规划方法研究[D];浙江工业大学;2011年

5 宫雪强;基于行为的Web服务相容性与可替换性研究[D];华东师范大学;2010年

6 狄浩军;数据和时间感知的Web服务组合形式化建模与验证研究[D];苏州大学;2012年

7 王娟;基于Petri网的Web服务组合行为分析[D];安徽理工大学;2012年

8 王晶;Web服务组合QoS建模与属性验证研究[D];苏州大学;2012年

9 石慧娟;异步Web服务组合分析与验证方法研究[D];苏州大学;2012年

10 刘伟;基于WSDL的Web服务可替换性验证研究[D];复旦大学;2012年

【二级参考文献】

中国期刊全文数据库 前10条

1 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期

2 龚洪泉,赵文耘,徐如志,钱乐秋;基于Pi演算的构件演化研究[J];电子学报;2004年S1期

3 陈波;谭庆平;李舟军;陈火旺;;一门新的面向构件语言[J];电子学报;2006年S1期

4 殷昱煜;李莹;邓水光;尹建伟;;Web服务行为一致性与相容性判定[J];电子学报;2009年03期

5 赵志],盛秋戬,史忠植;UML活动图描述工作流模型的执行语义[J];计算机研究与发展;2005年02期

6 史玉良;黄光安;叶炜;张亮;施伯乐;;基于任务依赖信息的Web服务自动合成[J];计算机研究与发展;2006年12期

7 邱莉榕;史忠植;林芬;常亮;;基于主体的语义Web服务自动组合研究[J];计算机研究与发展;2007年04期

8 刘方方;史玉良;张亮;施伯乐;;基于进程代数的Web服务合成的替换分析[J];计算机学报;2007年11期

9 李喜彤;范玉顺;;Web服务流程相容性和相似性分析[J];计算机学报;2009年12期

10 岳昆,王晓玲,周傲英;Web服务核心支撑技术:研究综述[J];软件学报;2004年03期

【相似文献】

中国期刊全文数据库 前10条

1 乔晓强;魏峻;黄涛;;基于适配的服务协作流程动态管理[J];计算机学报;2008年08期

2 卢润加;郑惠利;;基于Web Services的企业应用集成研究[J];计算机系统应用;2007年11期

3 曹晓叶;王知衍;许晓伟;梁英宏;;基于SOA的企业应用集成研究与应用[J];微计算机信息;2007年36期

4 朱俊武;王建东;李斌;;面向语义Web服务的本体及融合机制[J];南京理工大学学报(自然科学版);2006年06期

5 岳昆;刘惟一;李维华;周培骥;;基于语义的Web服务行为建模方法[J];郑州大学学报(理学版);2007年04期

6 金竹青;刘玉秀;周伟;;基于面向服务架构的电子政务系统集成[J];大连海事大学学报;2007年S1期

7 彭增喜;张钢;;基于Web服务和工作流技术的应用集成研究[J];微处理机;2009年01期

8 王海燕;;基于.net的校园网格异构数据统一访问接口[J];计算机工程;2010年11期

9 卢丽丽;闫光荣;韩承祥;;基于Web服务的企业应用集成系统及其接口[J];航空制造技术;2007年05期

10 王洪军;周斌;贾焰;吴泉源;;Web服务集成CCM构件模型的研究与实现[J];微电子学与计算机;2006年10期

中国重要会议论文全文数据库 前10条

1 杨占胜;;基于Web服务的基本遗传算法实现[A];第三届中国智能计算大会论文集[C];2009年

2 王洪军;周斌;贾焰;吴泉源;;Web服务集成CCM构件模型的研究与实现[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

3 尤军;;谈气象Web服务的网络安全问题[A];网络安全技术的开发应用学术会议论文集[C];2002年

4 刘正涛;毛宇光;应毅;;基于Web服务的分布式Web应用框架研究[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

5 任涛;李玉忱;刘乃丽;;面向动态环境的Web服务合成系统[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

6 张伟燕;席传裕;;J2EE中异步Web服务的研究与应用[A];第一届全国Web信息系统及其应用会议（WISA2004）论文集[C];2004年

7 焦洪智;陈定方;;基于Web Services的松耦合系统的研究与应用[A];12省区市机械工程学会2006年学术年会湖北省论文集[C];2006年

8 蔡子龙;俞集辉;;基于Web服务的远程报表打印系统的研究[A];电工理论与新技术2004年学术研讨会论文集[C];2004年

9 许国艳;李晓芳;;J2EE平台上基于Web服务的动态电子商务架构研究[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年

10 李滨;刘莹;;UDDI注册中心综述[A];中国企业运筹学[C];2009年

中国重要报纸全文数据库 前10条

1 清水 编译;SOA：尚待改进的五大缺憾[N];计算机世界;2005年

2 柴晓路;Web服务带来了新集成[N];中国计算机报;2002年

3 李佳师 孙爱民;Web服务，，在等待中成熟[N];中国电子报;2004年

4 宁肯;Web服务：黎明前的跋涉[N];计算机世界;2005年

5 朴华;SilverStream延伸Web服务[N];中国计算机报;2002年

6 IBM软件集团亚太区副总裁Andrew Dutton;Web服务——新一代电子商务的核心[N];计算机世界;2001年

7 中国科学院软件研究所 刘绍华;“坐，请坐，请上坐！”[N];计算机世界;2005年

8 李浩;Web服务的阳光之旅[N];网络世界;2004年

9 本报记者 薛斐;Web服务不神秘！[N];计算机世界;2002年

10 徐昊;Lotus ND6:强化Web服务协作[N];中国计算机报;2002年

中国博士学位论文全文数据库 前10条

1 任志宏;Web服务复合的若干关健问题研究[D];中国科学院研究生院（软件研究所）;2004年

2 吴健;基于Web服务的网络化产品配置技术研究[D];浙江大学;2004年

3 温浩宇;制造网格若干关键技术研究[D];西安电子科技大学;2005年

4 詹建;基于无线传感器网络的协同技术研究[D];兰州大学;2007年

5 刘峰;基于网格服务的地理空间信息共享平台关键技术研究[D];山东科技大学;2007年

6 陈中祥;基于BDI Agent的CGF主体行为建模理论与技术研究[D];华中科技大学;2004年

7 严亚兰;基于语义Web的知识处理研究[D];武汉大学;2005年

8 刘安丰;基于QoS的分布式Web服务结构模型及其关键技术研究[D];中南大学;2005年

9 齐建军;基于XML的制造过程集成框架的研究与实现[D];北京航空航天大学;2005年

10 史玉良;Web服务合成的若干关键技术研究[D];复旦大学;2006年

中国硕士学位论文全文数据库 前10条

1 成琦;面向构件服务的软件集成框架研究[D];合肥工业大学;2005年

2 彭增喜;基于Web服务和工作流的EAI体系结构[D];天津大学;2007年

3 龙丽萍;ESB-SOA架构在企业应用集成中的研究和应用[D];中南大学;2009年

4 张守星;基于Web服务消息中间件的设计与实现[D];大连海事大学;2008年

5 胡睿达;基于SOA的电信SPS系统设计与实现[D];中南大学;2007年

6 宗喜军;基于SOA的企业应用集成框架的研究与应用[D];大庆石油学院;2008年

7 冯云;Java和.NET互操作性研究与实现[D];西南交通大学;2009年

8 袁纲;基于消息中间件的异步可靠Web服务的研究与设计[D];重庆大学;2007年

9 张静;基于.NET下Web服务的信息查询系统的研究与设计[D];合肥工业大学;2003年

10 王文娟;基于UDDI的Web服务信息发布系统[D];西北工业大学;2003年

本文编号：1112783