收藏本站
《苏州大学》 2011年 硕士论文
收藏 | 手机打开
二维码
手机客户端打开本文

基于谓词抽象与精化技术的Web服务验证研究

任强  
【摘要】:面向服务体系结构(SOA)是继面向对象、基于构件开发之后的一种新型软件开发、部署和集成模式,为软件开发提供了灵活的设计和开发方案。Web服务作为SOA的一种实现方法,突破了传统的分布式计算模型在通信、应用范围等方面的限制,通过服务组合的方式,灵活、快速构建的网络应用已经渗透到国民经济的许多关键行业。 在现有的Web服务验证方法中,模型检测因其自动化程度高、能够提供反例路径等优势,得到了广泛应用。但在模型检测过程中,会因系统规模庞大而导致状态爆炸问题,如何选取合适的方法缓解状态爆炸已成为服务验证领域的一个研究热点。本文在传统的模型检测方法中引入谓词抽象和精化技术,提出一种用于Web服务验证的抽象精化验证框架,用以验证Web服务内部流程逻辑的安全性和组合服务间的兼容性。 主要工作如下:(1)使用Kripke结构对Web服务建模,通过分解待验证性质得到原子命题从而获取谓词公式集合,使用谓词抽象技术建立Web服务的抽象模型,再将各抽象模型组合得到待验证系统的组合抽象模型。(2)给出抽象模型到Promela语言的转换规则,使用模型检测工具Spin验证模型是否满足待验证性质,如果不满足,则给出反例。将得到的反例在Web服务上做投影操作,进行反例确认,对产生伪反例的Web服务抽象模型进行精化,生成新的组合抽象模型,再次对性质进行验证。(3)基于上述两方面工作,提出Web服务抽象精化验证框架,并通过实例说明其在缓解状态爆炸方面的可行性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李方敏;CGI的安全编程[J];计算机工程与应用;1999年06期
2 宋如顺,姜乃松;基于Web的远程考试系统设计与实现[J];计算机工程;1999年06期
3 王红霞,姚家亮;利用ASP构建新型信息系统的方法与实现[J];计算机应用;1999年09期
4 邓劲生,张银福;面向对象的多媒体信息WEB发布[J];计算机应用研究;1999年09期
5 刁兴春,李赤红;Intranet环境下事务处理的理论研究和实现[J];小型微型计算机系统;1999年06期
6 高昆;基于ASP的WEB站点开发技术分析[J];北华大学学报(社会科学版);1999年05期
7 王清心,胡建华;经贸数据库的WEB集成发布[J];昆明理工大学学报;1999年02期
8 李晶,朱秋萍;Web页制作中的动态表现技术[J];计算机工程;2000年06期
9 刘波,代亚非,杜跃进;远程协同教学系统中课程搜索子系统设计[J];计算机应用;2000年06期
10 武庄,刘友丹;基于Web的企业内部质量审核系统设计与实现[J];计算机应用研究;2000年05期
11 梁开健,刘新民;基于ASP的图书馆Web数据库开发[J];高校图书馆工作;2000年04期
12 张睿光,黄玉超;基于ASP技术的气象信息系统软件设计[J];河南气象;2000年01期
13 张少敏,王保义;基于Web的管理信息系统方案及其安全性[J];华北电力大学学报;2001年01期
14 贺文,顾训穰;基于Web的客户端电子邮件系统的实现[J];计算机工程与应用;2001年08期
15 刘国华,包宏,李文超;基于WEB的人工神经网络材料设计系统[J];计算机工程与应用;2001年20期
16 冯晓君,李也白;构建Internet环境下的CAI课件数据库系统[J];计算机应用;2001年03期
17 陈扬枝,张见威;基于Web的机械设计材料库系统[J];现代制造工程;2001年12期
18 沈祥玖,李作纬,宋义发,尹涛;利用ASP实现对Web数据库的访问[J];济南交通高等专科学校学报;2001年02期
19 张静芳,陶跃军;刍议《中文期刊数据库》Web版全文检索系统[J];图书馆学研究;2001年02期
20 曹向东,邓毅华,李斯伟;一种网络化教学信息管理系统的开发与设计[J];中国数据通信;2001年03期
中国重要会议论文全文数据库 前10条
1 石晶;龚震宇;裘杭萍;;基于Web挖掘的个性化服务技术[A];第十九届全国数据库学术会议论文集(技术报告篇)[C];2002年
2 李利波;刘明利;;一种改进的无回溯反向Web服务动态组合方法[A];2011年全国通信安全学术会议论文集[C];2011年
3 游争光;刘建勋;唐明董;;分布式Web服务测试系统的设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
4 殷华蓓;李通;唐常杰;张天庆;左志松;;从Web文件中挖掘个性化导航知识[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
5 ;基于广义对话的Web用户的聚类(英文)[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
6 邓长寿;郭景峰;杨焱林;邓安远;;下一代Web搜索引擎初探[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
7 ;WTCA:A Web Text Clustering Algorithm Based on DFSSM[A];第二十七届中国控制会议论文集[C];2008年
8 胡建强;周斌;尹刚;邹鹏;;基于角色的Web服务访问控制技术研究[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
9 黄建波;丁扬;方芳;;基于代理服务器的Web加速的实现[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
10 陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 张建武;面向Web应用的安全评测技术研究[D];北京邮电大学;2012年
2 朱俊武;基于本体的Web服务语义支撑技术研究[D];南京航空航天大学;2008年
3 李常宝;基于索引的web服务发现研究[D];北京邮电大学;2011年
4 魏登萍;语义Web服务发现中匹配策略的研究与实现[D];国防科学技术大学;2011年
5 许笑;分布式Web信息采集关键技术研究[D];哈尔滨工业大学;2011年
6 杨卉;Web文本观点挖掘及隐含情感倾向的研究[D];吉林大学;2011年
7 黄雪娟;语义Web服务及其合成方法的研究[D];武汉大学;2009年
8 王秀峰;Web导航中用户认知特征及行为研究[D];南京大学;2013年
9 马建斌;中文Web信息作者同一认定技术研究[D];河北农业大学;2010年
10 陈世展;服务网络:基于语义和社会化关系的Web服务计算基础设施[D];天津大学;2010年
中国硕士学位论文全文数据库 前10条
1 任强;基于谓词抽象与精化技术的Web服务验证研究[D];苏州大学;2011年
2 唐黎;Deep Web页面结构分析与核心内容提取研究[D];重庆大学;2011年
3 吴新勇;基于需求群组的Web服务调度模型研究[D];上海交通大学;2011年
4 徐卫;Web新闻热点发现系统的设计与实现[D];华中科技大学;2011年
5 姜本臣;基于嵌入式Web服务器应用技术的研究[D];沈阳工业大学;2012年
6 温梨梨;基于零拷贝的Web服务器技术研究[D];中国海洋大学;2011年
7 焦燕廷;一种基于领域本体的语义Web服务匹配和组合方法[D];山东科技大学;2011年
8 黄亮;Web漏洞扫描系统中的智能爬虫技术研究[D];杭州电子科技大学;2012年
9 赵春娟;Web服务组合方法的研究与实现[D];天津理工大学;2011年
10 侯晓帆;基于云计算的Web教育爬虫[D];东北师范大学;2011年
中国重要报纸全文数据库 前10条
1 赵晓涛;Web安全 服务为王[N];网络世界;2008年
2 本报记者 赵晓涛;Web安全:历史的命题[N];网络世界;2008年
3 彭敏;企业级Web2.0迎来应用高潮[N];电脑商报;2009年
4 本报记者 毛江华;安启华联手赛门铁克 掘金Web安全[N];计算机世界;2009年
5 闫冰;“推”出Web交付新天地[N];网络世界;2009年
6 赵晓涛;中国成全球Web安全新看点[N];网络世界;2009年
7 边歆;动态阻断Web2.0威胁[N];网络世界;2009年
8 泰乐公司首席技术官兼执行副总裁Vikram Saksena;学习Web 3.0 做聪明的“管道工”[N];通信产业报;2009年
9 ;Web2.0工具使用须谨慎[N];网络世界;2009年
10 Anchiva中国区总经理 李松;Web安全选型三个标准[N];网络世界;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978