面向Web服务编排端口、流程结构与行为相容性判定

发布时间：2017-12-22 11:49

  本文关键词：面向Web服务编排端口、流程结构与行为相容性判定　出处：《小型微型计算机系统》2014年07期 　论文类型：期刊论文

  更多相关文章： 服务组合 面向编排 演化 相容性判定

【摘要】：成员服务彼此相容是Web服务组合正确执行的必要条件.服务组合演化阶段各成员服务不再将业务过程控制权委托给集成合作方,使服务相容性判定成为难点.将服务编排层的端口、流程结构与行为作为服务相容性判定要素,提出适用于演化阶段的相容性判定机制,每个成员服务分别作为执行者,判定自身与其伙伴服务构成的组合的相容性,使所有服务协同参与相容性判定过程.最后,通过完整的实例描述了相容性判定的过程,使用π演算建模工具MWB验证行为相容性判定的有效性.
【作者单位】： 燕山大学信息科学与工程学院;河北省计算机虚拟技术与系统集成重点实验室;
【基金】：国家自然科学基金项目(61272125)资助 教育部博士点专项基金项目(20121333110014)资助 高等学校科学技术研究重点项目(ZH2011115)资助
【分类号】：TP393.09
【正文快照】： 1引言Web服务组合作为一种开放自治的分布式网络技术,实现了在因特网环境下的动态交互和服务增值[1].成员服务间彼此相容是保证服务组合正确执行的必要条件.Web服务相容是指一组Web服务之间能够正确地交互,即彼此之间能够根据服务编排协议按正确的时序发送与接收消息.服务相容

【参考文献】

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

1 宋巍;马晓星;吕建;;Web服务组合动态演化的实例可迁移性[J];计算机学报;2009年09期

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

3 尤殿龙;申利民;刘芳;;Web服务组合中业务流程演化影响范围判定方法[J];计算机集成制造系统;2013年07期

4 邓水光;李莹;吴健;邝砾;吴朝晖;;Web服务行为兼容性的判定与计算[J];软件学报;2007年12期

【共引文献】

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

1 刘莹;张斌;刘国奇;汪德帅;;基于行为效果的服务匹配算法[J];东北大学学报(自然科学版);2010年06期

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

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

4 印桂生;宋敏;韦正现;王红滨;张万松;;面向构件语义关系的软件体系结构演化分析[J];哈尔滨工程大学学报;2011年10期

5 赵娟;;基于Petri网的语义Web服务过程模型匹配算法研究[J];河南科学;2009年02期

6 肖文;张自力;李伟华;;基于QoS的可信Web服务组合研究[J];计算机科学;2011年06期

7 戎玫;陈圣标;张广泉;;基于限界模型检查的Web服务行为失配检测[J];计算机科学;2012年06期

8 邓水光;黄龙涛;尹建伟;李莹;吴健;;Web服务组合技术框架及其研究进展[J];计算机集成制造系统;2011年02期

9 王伟然;范玉顺;;业务服务配置模型与运行机制[J];计算机集成制造系统;2011年12期

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

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

1 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

2 李昌志;付晓东;田强;王威;夏永滢;;一种费用最小化的Veb服务组合可靠性优化分配方法[A];第25届中国控制与决策会议论文集[C];2013年

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

1 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年

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

3 曹虹华;语义编程语言SPROGLE及其实现机制研究[D];武汉大学;2009年

4 刘林源;Web服务组合隐私分析与验证研究[D];南京航空航天大学;2011年

5 卢旭;面向分布式关键任务系统的自愈调控技术研究[D];哈尔滨工程大学;2011年

6 张帅;基于服务组合的跨企业协作关键技术研究[D];浙江大学;2011年

7 刘铁江;组合Web服务选择、部署与执行的关键技术研究[D];复旦大学;2011年

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

9 江志雄;基于动态语义的Web服务描述[D];复旦大学;2008年

10 林宝平;Web服务接口的相容性与调解研究[D];中国科学技术大学;2009年

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

1 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年

2 张祥涛;基于语义Web服务的多层次匹配模型的研究与实现[D];华南理工大学;2010年

3 宋仲凯;大粒度服务组合验证工具的设计与实现[D];浙江大学;2011年

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

5 易学武;基于ASP.Net的在线图书销售系统的设计与实现[D];电子科技大学;2010年

6 张青清;SOA服务特性度量及工具研究[D];合肥工业大学;2011年

7 魏涛;基于.NET的高校科研管理系统的设计与实现[D];南京理工大学;2011年

8 江阳;Web服务组合与验证相关技术研究[D];中南大学;2011年

9 刘静;WEB组合服务框架优化模型的研究及其系统实现[D];中南大学;2011年

10 常斌;基于Pi-演算的Web服务组合的描述和验证[D];南京邮电大学;2011年

【二级参考文献】

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

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

2 韩燕波;王洪翠;王建武;闫淑英;张程;;一种支持最终用户探索式组合服务的方法[J];计算机研究与发展;2006年11期

3 杨书新;王坚;;基于状态的工作流实例迁移方法[J];计算机集成制造系统;2008年02期

4 李喜彤;范玉顺;;Web服务过程建模及其逻辑正确性验证[J];计算机集成制造系统;2008年04期

5 马晓星 ,余萍 ,陶先平 ,吕建;一种面向服务的动态协同架构及其支撑平台[J];计算机学报;2005年04期

6 张文涛;彭泳;陈俊亮;;会话类E-Service的接口兼容和服务组合分析[J];计算机学报;2006年07期

7 钱柱中;陆桑璐;谢立;;基于Petri网的Web服务自动组合研究[J];计算机学报;2006年07期

8 郭玉彬;杜玉越;奚建清;;Web服务组合的有色网模型及运算性质[J];计算机学报;2006年07期

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

10 胡春华;吴敏;刘国平;;Web服务工作流中基于信任关系的QoS调度[J];计算机学报;2009年01期

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

1 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年

2 徐贤;高阶进程演算的互模拟理论和公理化的研究[D];上海交通大学;2008年

【相似文献】

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

1 邓劲生,张银福;面向对象的多媒体信息WEB发布[J];计算机应用研究;1999年09期

2 刁兴春,李赤红;Intranet环境下事务处理的理论研究和实现[J];小型微型计算机系统;1999年06期

3 高昆;基于ASP的WEB站点开发技术分析[J];北华大学学报(社会科学版);1999年05期

4 李晶,朱秋萍;Web页制作中的动态表现技术[J];计算机工程;2000年06期

5 武庄,刘友丹;基于Web的企业内部质量审核系统设计与实现[J];计算机应用研究;2000年05期

6 张少敏,王保义;基于Web的管理信息系统方案及其安全性[J];华北电力大学学报;2001年01期

7 贺文,顾训穰;基于Web的客户端电子邮件系统的实现[J];计算机工程与应用;2001年08期

8 沈祥玖,李作纬,宋义发,尹涛;利用ASP实现对Web数据库的访问[J];济南交通高等专科学校学报;2001年02期

9 何琨,肖德宝;园区网网管分布式对象建模策略及其实现[J];小型微型计算机系统;2002年02期

10 方立,郭明;基于校园网的VOD系统在成人教育中的实现[J];锦州师范学院学报(自然科学版);2002年04期

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

1 李利波;刘明利;;一种改进的无回溯反向Web服务动态组合方法[A];2011年全国通信安全学术会议论文集[C];2011年

2 游争光;刘建勋;唐明董;;分布式Web服务测试系统的设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

3 ;基于广义对话的Web用户的聚类(英文)[A];第十七届全国数据库学术会议论文集（研究报告篇）[C];2000年

4 胡建强;周斌;尹刚;邹鹏;;基于角色的Web服务访问控制技术研究[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年

5 黄建波;丁扬;方芳;;基于代理服务器的Web加速的实现[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集（上册）[C];2010年

6 陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

7 黄胜;彭敦陆;王晓玲;周傲英;;基于与或树搜索的快速Web服务组合方法[A];第二十二届中国数据库学术会议论文集（研究报告篇）[C];2005年

8 刘绍波;胡盈;郑涵;乐嘉锦;;Web站点链接结构的动态调整模型研究[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年

9 胡建强;郭长国;贾焰;邹鹏;;一种可扩展的分布式Web服务发现架构[A];第二十二届中国数据库学术会议论文集（技术报告篇）[C];2005年

10 刘建伟;于守健;乐嘉锦;;基于Web服务资源框架的流数据查询处理系统[A];第二十二届中国数据库学术会议论文集（技术报告篇）[C];2005年

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

1 本报记者 毛江华;安启华联手赛门铁克 掘金Web安全[N];计算机世界;2009年

2 边歆;动态阻断Web2.0威胁[N];网络世界;2009年

3 Anchiva中国区总经理 李松;Web安全选型三个标准[N];网络世界;2008年

4 本报记者 边歆;6步实现Web应用的整体安全[N];网络世界;2009年

5 本报记者 边歆;八大安全威胁预示Web安全新变化[N];网络世界;2010年

6 本报记者 李智鹏;Web安全走下“云”端[N];计算机世界;2010年

7 本报记者 卜娜;Web应用漏洞成数据泄露之门[N];中国计算机报;2010年

8 梭子鱼中国区总经理 何平;大势可为 Web冲关[N];网络世界;2009年

9 ;HTML5[N];人民邮电;2010年

10 ;Web 2.0与电子医疗[N];网络世界;2010年

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

1 张建武;面向Web应用的安全评测技术研究[D];北京邮电大学;2012年

2 李常宝;基于索引的web服务发现研究[D];北京邮电大学;2011年

3 魏登萍;语义Web服务发现中匹配策略的研究与实现[D];国防科学技术大学;2011年

4 黄雪娟;语义Web服务及其合成方法的研究[D];武汉大学;2009年

5 王秀峰;Web导航中用户认知特征及行为研究[D];南京大学;2013年

6 马建斌;中文Web信息作者同一认定技术研究[D];河北农业大学;2010年

7 陈世展;服务网络：基于语义和社会化关系的Web服务计算基础设施[D];天津大学;2010年

8 张帆;认知可重构的高效能Web服务体系结构研究[D];解放军信息工程大学;2013年

9 胡佳;语义Web服务自动组合及验证的研究[D];天津大学;2010年

10 王辉;面向互联网的Web服务基础设施构建和应用[D];天津大学;2010年

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

1 唐黎;Deep Web页面结构分析与核心内容提取研究[D];重庆大学;2011年

2 吴新勇;基于需求群组的Web服务调度模型研究[D];上海交通大学;2011年

3 徐卫;Web新闻热点发现系统的设计与实现[D];华中科技大学;2011年

4 姜本臣;基于嵌入式Web服务器应用技术的研究[D];沈阳工业大学;2012年

5 温梨梨;基于零拷贝的Web服务器技术研究[D];中国海洋大学;2011年

6 焦燕廷;一种基于领域本体的语义Web服务匹配和组合方法[D];山东科技大学;2011年

7 黄亮;Web漏洞扫描系统中的智能爬虫技术研究[D];杭州电子科技大学;2012年

8 赵春娟;Web服务组合方法的研究与实现[D];天津理工大学;2011年

9 张囡;基于概念的语义Web服务匹配算法的研究及其在配送中心系统的应用[D];华南理工大学;2010年

10 张敏;面向Web应用的测试适配技术研究[D];山东师范大学;2010年

，

本文编号：1319379