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

基于OCL的Web服务组合形式化约束研究

宋英杰  
【摘要】: 当前流行的Web服务和Web服务组合真正进入实用阶段还面临着诸多问题。目前,语法层次和语义层次的组合方法仍处于初级阶段,这两种方法都缺乏严格的形式化语义支持,容易出错且不容易检测;这两种方法的组合语言均以WSDL标准为基础,侧重于服务间的消息传递,缺乏对Web服务行为的有效约束,容易导致组合后系统行为与设计阶段的系统行为相偏离,还可能导致系统动态演化过程中的行为不一致。对象约束语言OCL作为UML标准的一部分,是可以用来描写清晰、明确风格的表达式的标准语言。本论文将OCL引入到Web服务组合过程中,为Web服务组合增加语义信息。 本论文首先对目前国内外的研究现状和研究成果进行了分析,在简要介绍Web服务、Web服务组合及OCL的相关理论和相关技术之后,深入研究Web服务组合中可能存在的不匹配和异常情况,将OCL的形式化描述方法应用到Web服务组合中,针对服务间的端口类型、端口个数、分支结构、互斥和互补等情况进行约束,对服务组合进行约束检测以减少这些不匹配和异常情况的发生。根据对象约束语言在Web服务中的形式化描述,设计和实现了对象约束语言在Web服务组合语言可视化编辑器中翻译执行。 对Web服务组合增加的形式化约束有利于提前发现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期
中国重要会议论文全文数据库 前5条
1 刘波;吴家铸;;Web服务组合分布式协调模型研究[A];2006年全国开放式分布与并行计算学术会议论文集(二)[C];2006年
2 党齐民;臧官灵;;高校IT服务管理模型的研究及应用[A];第十届中国科协年会信息化与社会发展学术讨论会分会场论文集[C];2008年
3 仲晶;黄志球;;面向服务质量的Web服务选择方法:研究综述[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
4 郑栋;张育平;;基于语义的动态Web服务组合系统架构[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年
5 王军庄;常鲜戎;;OCL技术在电力系统仿真中的应用[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集(下册)[C];2008年
中国博士学位论文全文数据库 前10条
1 冯名正;Web服务组合关键技术研究[D];东南大学;2006年
2 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
3 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年
4 辜希武;Web服务组合形式化模型研究[D];华中科技大学;2007年
5 梅健;基于Web服务组合的文本分类PSE问题研究[D];上海大学;2008年
6 康辉;基于PI-演算的CPN在移动通信服务建模的研究与应用[D];吉林大学;2008年
7 门鹏;基于Petri网的Web服务组合相关技术研究[D];西安电子科技大学;2009年
8 刘兵;基于Web服务组合的网格工作流研究[D];中国科学技术大学;2007年
9 成睿星;基于范例推理技术的服务组合研究[D];北京邮电大学;2008年
10 童红霞;基于Agent的Web服务组合技术研究[D];上海交通大学;2009年
中国硕士学位论文全文数据库 前10条
1 宋英杰;基于OCL的Web服务组合形式化约束研究[D];大连海事大学;2009年
2 柴艳欣;基于OCL约束的状态图测试方法的研究[D];重庆大学;2010年
3 李晶睿;数据可视化的Web服务及其组合的研究与开发[D];武汉理工大学;2007年
4 朱日学;基于OCL的产品配置引擎研究与实现[D];河北工业大学;2011年
5 陈旭晖;基于规划的语义Web服务组合技术研究[D];福州大学;2006年
6 杨秀丽;基于有色Petri网的Web服务组合[D];吉林大学;2007年
7 贾志淳;基于Pi演算的Web服务组合兼容性验证方法研究[D];大连海事大学;2008年
8 孙长俊;Web服务组合关系的研究与实现[D];河海大学;2007年
9 王赫;基于着色赋时Petri网的Web服务组合流程建模研究[D];大连海事大学;2008年
10 马临萍;基于WS-BPEL的web服务组合技术研究[D];西北大学;2008年
中国重要报纸全文数据库 前4条
1 湖南 姚正喜;OCL功率放大器中偏置电阻的计算(上)[N];电子报;2009年
2 湖南 姚正喜;OCL功率放大器中偏置电阻的计算(下)[N];电子报;2009年
3 刘刚/译;抬高商誉 误导股民[N];中国财经报;2002年
4 本报记者 陈庆春;扫描仪市场:内外兼修破僵局[N];中国电子报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978